Boolean 德摩根'；s定律优化不'；行不通

我有一个布尔表达式，它是用卡诺图（第一行）简化的。然后我用德摩根定律使表达式只适用于与非门（第二行）。但是，当我创建一个逻辑门电路时，它不能正常工作，无论我怎么看这个电路，我都看不出我在哪里犯了错误。很抱歉在图片中发布了表达式，我不知道如何将此表达式从纸张传输到计算机

---

我检查了您的电路，没有发现错误。 什么不起作用

另一种解决办法是：

NAND4(
  NAND3(!X0, !X1, X3), 
  NAND4(X0, X1, X4, X5), 
  NAND4(!X0, X1, !X3, !X5), 
  NAND5(X0, !X1, !X2, X3, X4))

Logic Friday 1

生成的解决方案是：

[][1]

---

更新：

我将以下表达式输入到

逻辑1

：

INORDER = x5 x4 x3 x2 x1 x0;
F = !(!(!x0 & !(!(!x1 x3) & !(x1 !x3 !x5))) & !(x0 & !(!(x1 x4 x5) & !(!x1 !x2 !x3 x4))));

产生的

18

minterms为：

将

X5

作为最高有效位，将

X0

作为最低有效位，这可以解释为最小项列表：

2,6,8,12,17,18,22,24,28,40,44,49,51,55,56,59,60,63

---

您可以很快说服自己（minterm

63

），所有设置为

1

的六个输入都会导致输出

1

。Minterm

2

：除

X1

0

之外的所有输入也会导致输出

1

。您的位顺序可能有所不同。

如果所有六个输入都是二进制数字f=（4、5、6、7、12、13、14、15、16、18、24、26、34、35、49、53、57、61），它应该输出1，但当我运行测试时，输出是错误的，甚至不接近这些数字。而德·摩根简化之前的表达式输出的是正确的数字。@aretas_pau，我同意阿克塞尔的说法，你在某些地方有错误。所有的席＝1（63）显然满足这个表达式，因为它使得x0*x1*x4*x5= true，这对于整个来说是足够的。但事实上，你有完全相同数量的令人满意的解决方案，这表明你在某个地方犯了一个错误。