Источник TeX:

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