logic - 将逻辑门转换为纯 NAND 实现，这怎么行？

Question

所以我做了一些练习，提供了转换为纯与非门实现的答案。

我了解 2 个与门和连接它们的或门是如何通过双重否定转换的，但是连接b和c的或门如何可以转换为与非门？（你怎么能在不双重否定的情况下对 b 和 c 进行否定？）我不明白它如何仍然等于以前的实现。

Answer 1

你是对的。所示的(b + c)或门变换是一个错误。

的正确转换(b + c)如下：

(b + c)    Given
(b + c)''  Apply double negative.
(b'c')'    Apply De Morgan's Law.

这与所示的不一样(b' + c')。

中间图将最有建设性地显示添加到b+cOR 门的输出和a(b+c)AND 门的输入的消除反转气泡（如在后面阶段所做的那样）。这对应于上述推导中双重否定的应用。然后，最终的图表应该如图所示加上b倒置和c倒置。

b如果和的反转c不可用，它们可以通过连接在 NOT 配置中的 NAND 来实现。