Фо́рмула по́лной вероя́тности, одна из основных формул элементарной теории вероятностей. Пусть $A_1, A_2, \ldots, A_n$ – попарно несовместные события, объединение которых есть достоверное событие, тогда для любого события $B$ его вероятность можно вычислить по формуле полной вероятности

$$\mathsf{P}(B)=\sum_{k=1}^k \mathsf{P}(B|A_k) \mathsf{P} (A_k),$$где $\mathsf{P}(B|A_k)$ – условная вероятность события $B$ при условии, что произошло событие $A_k$, $k=1, 2, \ldots, n$. Условные вероятности $\mathsf{P}(B|A_k)$ можно рассматривать как обычные вероятности на «уменьшенных» вероятностных пространствах, где роль достоверного события играют события $A_k$, $k=1, 2, \ldots, n$. То есть формула полной вероятности позволяет свести решение сложной задачи (вычисление вероятности события $B$) к решению нескольких более простых задач (вычислению условных вероятностей события $B$ и вероятностей событий $A_k$).