TeX source:

(A\wedge B)\wedge(A\wedge B^{c})=\phi \text{~and~} (A\wedge B)\vee (A\wedge B^{c})=A