TeX source:

P(A) = P(A\wedge B) + P(A\wedge B^{c})