TeX source:

P(A)+P(A^{c})=1