P(A|~B）=P(A~B）/P(~B),P(A|B）=P(AB）/P(B),得到P(A~B）/P(~B)=P(AB）/P(B),P(A~B)P(B)=P(AB)P(~B),将P(A~B)=P(A)-P(AB),P(~B)=1-P(B)代入后即可得到P(AB)=P(A)P(B),A与B相互独立。
