Xác suất toàn phần. Công thức Bayes