仅使用NAND的布尔代数最小化

Question

任何人都可以解释在最后一步中如何简化布尔表达式吗？

原始问题：

实现X = a'b'd'+ b'cd'+ a'b'c + a'cd'+ abc'+ abd + bc'd + ac'd using 最小数量的2输入与非门。假设双轨输入 可用。没有门可以用作NOT。

Answer 1

所以最后我在朋友的帮助下找到了答案背后的答案/逻辑。

方法1：

使用分配法，然后使用共识定理。

方法2：

使用上面的简化版本：

xy + ~xz =（x + z）（~x + y）

Answer 2

[{(a+b) ⊕ (c+d')}' {(a'+b') ⊕ (c'+d)}']'

如果我们能够在不使用NAND的情况下实现XNOR，那么...