TeX source:
P(A\wedge B) = P(A) + P(B) - P(A\vee B)