从右边化到左边.
(A-B)U(B-A)UAB = (A-B) + (B-A) + AB - (A-B)∩(B-A) - (B-A)∩AB - (A-B)∩AB + (A-B)∩(B-A)∩AB = A-AB + B-AB + AB + Φ + Φ + Φ = A + B - AB = AUB
从右边化到左边.
(A-B)U(B-A)UAB = (A-B) + (B-A) + AB - (A-B)∩(B-A) - (B-A)∩AB - (A-B)∩AB + (A-B)∩(B-A)∩AB = A-AB + B-AB + AB + Φ + Φ + Φ = A + B - AB = AUB