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

Question

谁能解释布尔表达式在最后一步是如何简化的？

原始问题：

使用最少数量的 2 输入 NAND 门实现 X=a´b´d´+b´cd´+a´b´c+a´cd´+abc´+abd+bc´d+ac´d。假设双轨输入可用。没有门可以用作NOT。

Answer 1

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

要是我们能在不使用 NAND 的情况下实现 XNOR 就好了……伤心

Answer 2

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

方法一：

使用分配律和共识定理。

方法二：

使用上面的简化版本：

xy + ~xz = (x+z)(~x + y)