作业帮 > 数学 > 作业

如何证明异或的结合律 AXOR (B XOR C)= (A XOR B)XOR C 要逻辑代数的证明

来源:学生作业帮 编辑:神马作文网作业帮 分类:数学作业 时间:2024/11/06 03:18:10
如何证明异或的结合律 AXOR (B XOR C)= (A XOR B)XOR C 要逻辑代数的证明
如何证明异或的结合律 AXOR (B XOR C)= (A XOR B)XOR C 要逻辑代数的证明
证明方法:将两式分别转化为同一种形式,比如:卡诺图、真值表、标准与或式等.
(a♁b)♁c
= (a'b + ab')♁c
= (a'b + ab')'c + (a'b + ab')c'
= (a'b)' (ab')' c + a'bc' + ab'c'
= (a + b')(a' + b) c + a'bc' + ab'c'
= abc + a'b'c + a'bc' + ab'c'
a♁(b♁c)
= a'(b♁c) + a(b♁c)'
= a'(b'c + bc') + a(b'c + bc')'
= a'b'c + a'bc' + a(b'c)'(bc')'
= a'b'c + a'bc' + a(b + c')(b' + c)
= a'b'c + a'bc' + abc + ab'c'
显然,这二者是相等的,证毕.