逻辑代数中，若A·B=A+B，则有A=B。