Источник TeX:

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