TeX source:
P(A\;or\;B) = P(A) + P(B) - P(A\;and\;B)