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