A∩(B⊕C)=(A∩B)⊕(A∩C)怎么证明（离散数学）
展开全部
因为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) ③
⇔(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) ③
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
