因为A⊕B⇔(A-B)∪(B-A) ①所以(A⊕B)-C⇔((A-B)∪(B-A)-C) 根据①⇔(A-B-C)∪(B-A-C) ②C-(A⊕B)⇔C-(A-B)∪(B-A) 根据①⇔C-(A-B)-(B-A)⇔C∩(¬A∪B)∩(¬B∪A)⇔((C∩¬A)∪(C∩B))∩(¬B∪A)⇔((C∩¬A)∪(C∩B))∩¬B)∪(((C∩¬A)∪(C∩B))∩A)⇔(C∩¬A∩¬B)∪(C∩B∩A)⇔(C-A-B)∪(A∩B∩C) ③