求证:(A异或B)异或C=A异或(B异或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)⊕C
⇔((A⊕B)-C)∪(C-(A⊕B)) 根据①做代换
⇔(A-B-C)∪(B-A-C)∪(C-A-B)∪(A∩B∩C)


A⊕(B⊕C)
⇔(A-B⊕C)∪(B⊕C-A) 根据①做代换
⇔(A-B-C)∪(A∩B∩C)∪(¬A∩B-C)∪(C-A-B) 分别根据③②做代换

显然两式等价
即(A⊕B)⊕C=A⊕(B⊕C)结合律成立
温馨提示:答案为网友推荐,仅供参考
第1个回答  2015-04-25
不是异或,是对称差。 看你写成A B C 这明显是集合的符号。

逻辑的符号通常用 p q r 表示。追问

哦对,不好意思,描述出问题了

相关了解……

你可能感兴趣的内容

本站内容来自于网友发表,不代表本站立场,仅表示其个人看法,不对其真实性、正确性、有效性作任何的担保
相关事宜请发邮件给我们
© 非常风气网