自考离散数学 设A1,2,B2,3,则A⊕A

因为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)……