什么是异或等价
What is XOR Equivalence
我试图查看 XOR 表达式的等价性，但我看不到。我试图用 NAND
表达异或
A^B
=AB'+A'B
=(A+B)(AB)' <= This the transformation I don't understand.
=((A(AB)')'(B(AB)')')'
非常感谢您的帮助:)
让我们向后退一步
(A+B)(AB)'
<=>A(AB)' + B(AB)'（分配率）
<=>A(A'+B') + B(A'+B')（(AB)' 上的 demorgan）
<=>AA' + AB' + BA' + BB'（分配率）
由于 AA' 和 BB' 计算结果为假（即 T AND F 或 F AND T 结果为 False），它们可以从链式 or 条件中移除，留下 (False OR X < => X)
AB' + A'B
于是回到原来的样子。 . .
1) 他们以 AB' + A'B
开头
2) 添加术语 AA' 和 BB' 给出 AA' + AB' + BA' + BB'
3) 分解出 (A'+B') 留下 A(A' + B') + B(A' + B')
4) 重新排列为 (A+B)(A'+B')
4) 最后 demogran 法导致 (A+B)(AB)'
我试图查看 XOR 表达式的等价性，但我看不到。我试图用 NAND
表达异或 A^B
=AB'+A'B
=(A+B)(AB)' <= This the transformation I don't understand.
=((A(AB)')'(B(AB)')')'
非常感谢您的帮助:)
让我们向后退一步
(A+B)(AB)'
<=>A(AB)' + B(AB)'（分配率）
<=>A(A'+B') + B(A'+B')（(AB)' 上的 demorgan）
<=>AA' + AB' + BA' + BB'（分配率）
由于 AA' 和 BB' 计算结果为假（即 T AND F 或 F AND T 结果为 False），它们可以从链式 or 条件中移除，留下 (False OR X < => X)
AB' + A'B
于是回到原来的样子。 . .
1) 他们以 AB' + A'B
2) 添加术语 AA' 和 BB' 给出 AA' + AB' + BA' + BB'
3) 分解出 (A'+B') 留下 A(A' + B') + B(A' + B')
4) 重新排列为 (A+B)(A'+B')
4) 最后 demogran 法导致 (A+B)(AB)'