
"Вы натолкнули меня на мысль". Я уже и забыл про булеву алгебру.
Решил!
1. записал

2. по приводимой выше формуле сложения вероятностей записал выражение п.1:

3. переставил местами слагаемые.
Ну а с 2) будет разобраться теперь не сложно.
Спасибо, за столь простой совет!
(Оффтоп)
Я недавно тоже очень помог одному человеку очень простой сменой 3-х знаков в его SQL-запросе в Delphi-коде. Он возился неделю. В данном случае я тоже совершил не одну попытку