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