Computer science 什么是异或等价

我试图看到XOR表达式的等价性，但我不能。我试图用NAND来表示XOR

 A^B
=AB'+A'B
=(A+B)(AB)'           <= This the transformation I don't understand.
=((A(AB)')'(B(AB)')')'

A^B
=AB'+A'B
=（A+B）（AB）’让我们后退更多步

（A+B）（AB）

A（AB）+B（AB）
（分配性）

A（A'+B'）+B（A'+B'）
（在
（AB）
）上拆下门）

AA'+AB'+BA'+BB'
（分配性）

由于
AA'
和
BB'
的计算结果为false（即T和F或F和T导致false），因此可以将它们从链或条件离开（false或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）
到底是哪个？从2号线到3号线或从3号线到4号线？跟随信号：很棒的解释。基本上是添加了一些术语，以便我们可以分组。：）