德·摩根定律优化不起作用

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

2017-02-25 aretas_pau

我检查你的电路并未能发现错误。什么不起作用？

替代的解决方案是：

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

通过Logic Friday 1产生的解决方案是：

更新：

我进入下面的表达式来Logic Friday 1：

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

所得18最小项是：

X5以作为最显著和X0作为最低显著位，这可以被解释为最小项列表：2, 6, 8, 12, 17, 18, 22, 24, 28, 40, 44, 49, 51, 55, 56, 59, 60, 63。

您可以快速说服自己（minterm 63）所有六个输入设置为1导致输出1。小项2：比X10其他所有输入导致输出1为好。有些东西可能与您的位排序有所不同。

2017-02-26 20:20:32

它应该输出1，如果所有六个输入是数字F =（4，5，6，7，12，13，14，15，16，18，24，26，34，35，49，53，57， 61）是二进制的，但是当我运行一个测试时，输出是错误的，甚至没有接近那些数字。 –

de Morgan的简化之前的表达式输出正确的数字。 –

@aretas_pau，我阿克塞尔同意你有一些错误的地方。所有僖= 1（63）满足明显，因为它使X0 * X1 * X4 * X5该表达式=真，其足够用于整个。但事实上，你有完全相同数量的令人满意的解决方案表明你犯了一个错误的地方。 – SergGr

回答