邏輯代數中，若A·B=A+B，則有A=B。