Формула полной вероятности Теорема. Вероятность события А, которое может наступить лишь при условии появления одного из несовместных событий, образующих полную группу, равна сумме произведений вероятностей каждого из этих событий на соответствующую условную вероятность события А: Эту формулу называют «формулой полной вероятности». Доказательство.

Условной вероятностью P A (B) = P (B | A) (два обозначения) называют вероятность события. В, вычисленную в предположении, что событие А уже наступило. Вероятность совместного появления двух зависимых событий равна произведению вероятности одного из них на условную вероятность второго, вычисленную при условии, что первое событие произошло, т.е. P (A B)= P (B) ⋅ P (A| B)= P (A) ⋅ P (B| A).