布尔逻辑 - 可以B＆＃39;（AD）＆＃39; + A＆＃39; C＆＃39; D + AC是否会进一步简化？

Question

我想我遇到了困难。

可以进一步B'(AD)' + A'C'D + AC吗？

让我们说它已经足够简化了 - 我想通过deMorgan的法律摆脱这一点。可以两次使用相同的变量吗？使用A'B' = (A+B)'法律和(AB)' = A' + B'法律。

我觉得它会变得混乱，但我想摆脱添加（OR运算符）

Answer 1

如果您的目标是简化程序逻辑，那么此函数的二元决策图（BDD）可能对您有所帮助。这是（使用最优变量排序）：