最小化布爾表達式

Question

的我要尋找的算法或程序，可以最大限度地減少布爾表達式w.r.t.在結果表達式中使用的字符數。我知道通常的最小化算法，如奎因 - 麥克羅斯基和咖啡，但他們總是產生析取形式可能比涉及巧妙包圍表情長得多。

任何想法？

Answer 1

你基本上要求的邏輯門數的最小化。將得到的邏輯門的網絡可以具有多個級別和不同類型的門（NAND，NOR，XOR，...）。

的多級邏輯的合成是一個相當困難的問題已受到的研究在過去的五個十年。在這方面的一個流行的系統是misII，在加州大學開發的1988 - 1993年（原文如此！）。

嘗試Logic Friday 1，一個Windows工具，它提出了一個很好的GUI周圍misII和Espresso。