令 C=A-B ,D =B-A ,E = AB
则 C,D,E两两互斥
且A∪B =C∪D∪E,A=C∪E,B=D∪E
原等式等价于证 P(C∪D∪E)P(E)