Cho $A$ và $B$ là hai biến cố bất kỳ. Khẳng định nào dưới đây đúng?

(AI giải đề cho tôi)
A sai vì chỉ đúng khi A, B độc lập. B sai vì chỉ đúng khi A, B xung khắc; tổng quát $P(A\cup B)=P(A)+P(B)-P(AB)$. C sai vì $P(A|B)=\frac{P(AB)}{P(B)}$ (khi $P(B)>0$), không phải nghịch. D đúng theo công thức xác suất toàn phần: chia trường hợp $B$ và $\overline{B}$, ta có $P(A)=P(AB)+P(A\overline{B})=P(A|B)P(B)+P(A|\overline{B})P(\overline{B})$.