事件 $A,B$ 不相容意味着 $A\cap B=\varnothing$，于是 $A-B=A$，从而 $P(A-B)=P(A)$，D 必然正确。

由于 $P(A),P(B)>0$，有 $P(AB)=0\ne P(A)P(B)$。而 $\overline{A}\cap \overline{B}=\overline{A\cup B}$ 是否为空取决于 $A\cup B$ 是否为全集，故 A、B 均非必然结论。