TeX source:

P(A\wedge A^{c})=0