最小化布尔表达式

Question

我正在寻找可以最小化布尔表达式w.r.t的算法或程序。结果表达式中使用的字符数。我知道通常的最小化算法，如Quine-McCluskey和Espresso，但它们总是产生析取的正常形式，可能比涉及巧妙包围的表达长得多。

有什么想法吗？

Answer 1

您基本上要求最小化逻辑门数。由此产生的逻辑门网络可以具有多个级别和不同的门类型（NAND，NOR，XOR，...）。

多级逻辑的合成是一个相当棘手的问题，在过去的五十年中一直是研究的主题。该领域的一个流行系统是misII，于1988-1993（原文如此！）在加州大学开发。

尝试使用Logic Friday 1 Windows工具，该工具在GUI和misII周围显示一个不错的Espresso。