Верно ли равенство:
`P(A|B) + P(A|not(B)) = 1`?

Какие идеи есть?