TeX source:
P(A|B)+P(A^{c}|B)=1