ブール式の最小化

Question

ブール式w.r.tを最小限に抑えるアルゴリズムまたはプログラムを探しています。結果の式で使用される文字数私は、Quine-McCluskeyやEspressoのような通常の最小化アルゴリズムを認識していますが、常に賢明なブラケッティングを含む表現よりはるかに長い離接的な通常の形を生成します。

アイデア？

Answer 1

基本的に論理ゲート数の最小化を求めています。結果として生じる論理ゲートのネットワークは、複数のレベルおよび異なるゲートタイプ（NAND,NOR,XOR、...）を有することができる。

多レベル論理の合成は、過去50年間の研究の対象となっているかなり難しい問題です。この分野で普及しているシステムは、カリフォルニア大学で1988-1993年に開発されたmisIIです（sic！）。

はLogic Friday 1、素敵なGUI周りmisIIとEspressoを提示Windowsツールをお試しください。