У меня другая идея. Обозначим отрицание события через n.
P(A) = p1
P(B|A) = p2
P(nA nB) = p3
Так как P(B|A) = P(AB)/P(A) => P(AB) = p1 * p2
P(A) = P(AB) + P(A nB) => P(A nB) = P(A) - P(AB) = p1 - p1 * p2
P(AB) + P(A nB) + P(nA B ) + P(nA nB) = 1 =>
P(nA B ) = 1 - p1 * p2 - p1 + p1 * p2 - p3 = 1 - p1 - p3
Тогда
P(B ) = P(AB ) + P(nA B ) = p1 * p2 + 1 - p1 - p3 = 1 - p1 - p3 + p1 * p2

Насчет независимости:
P(AB) = P(A) * P(B )
p1 * p2 = p1 * (1 - p1 - p3 + p1 * p2)
p2 = 1 - p1 - p3 + p1 * p2
p1 + p2 + p3 - p1 * p2 = 1.
Вроде бы так.