AB+(A的逆)B=(A+A的逆)B=UB=B (这里U代表必然事件)
(AB)[A(B的逆)]=(AB)[(B的逆)A]=A[B(B的逆)]A=AOA=O (这里O代表必然事件)
从而 (AB)与[A(B的逆)]不相容.