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) ③
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
富港检测东莞有限公司
2025-03-03 广告
ASTM D4169标准是运用实际物流案例中具有代表性的和经过实践证明的一种试验方法，ASTM D4169有18个物流分配周期、10个危险因素和3个等级测试强度。做ASTM D4169就找富港检测，富港工业检测技术有限公司是一家专业的第三方...
点击进入详情页
本回答由富港检测东莞有限公司提供
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
