用~A表示非A,省去“∩”,
(A-B)∪(B-A)
=(A∩~B)∪(B∩~A)
=(A∪(B∩~A))∩(~B∪(B∩~A))
=(A∪B)∩(~B∪~A)
=(A∪B)∩~(A∩B)
=(A∪B)-(B∩A).