这个从定义上就能证明了。。。
先画个图,A-B就是A中去除同样存在在B中的元素。。。
然后我觉得已经够了。。。结果就是A
化简((A-B)-C)∪((A-B)∩c)∪((A∩B)-C)∪(A∩B∩C)
((A∩~B)∩~C)∪((A∩~B)∩C)∪((A∩B)∩~C)∪(A∩B∩C)
= (A∩(~B∩~C))∪(A∩(~B∩C))∪(A∩(B∩~C))∪(A∩B∩C)
= A∩((~B∩~C)∪(~B∩C)∪(B∩~C)∪(B∩C))
= A∩((~B∩(~C∪C))∪(B∩(~C∪C)))
= A∩(~B∪B)
= A
A-B = A-A∩B,
(A-B)∪(A∩B) = [A-A∩B]∪(A∩B) = A