基础离散数学:集合问题,已知A ⊕ B := (A ∪ B) \ (A ∩ B)……

假设X是一个集合,已知A ⊕ B := (A ∪ B) \ (A ∩ B)
证明∩分布在⊕,也就是证明A∩(B⊕C)=(A∩B)⊕(A∩C)

B⊕C=(B∪C)\(B∩C),
∴A∩(B⊕C)
=A∩[(B∪C)\(B∩C)]
(A∩B)⊕(A∩C)
=[(A∩B)∪(A∩C)]\[(A∩B)∩(A∩C)]
=A∩(B∪C)\(A∩B∩C)
=A∩[(B∪C)\(B∩C)],
∴命题成立。
温馨提示:答案为网友推荐,仅供参考