Источник TeX:

P(A\cdot \overline{A}) = 1