algorithm - 多数の入力変数で真理値表を減らす方法

Question

入力変数の数が 6 を超える真理値表によって生成される式を削減するアルゴリズム。

---

より一般的な質問は次のとおりです:: 入力変数 n の数を持つ真理値表によって生成された式を削減するアルゴリズム :n > 6

Answer 1

その数の入力を超えると、分析的に行う良い方法はないと思います。おそらく、ヒューリスティックな方法に頼る必要があります。

エスプレッソを試したことはありますか？私の経験から、それは非常にうまく機能します。http: //en.wikipedia.org/wiki/Espresso_heuristic_logic_minimizer

式でブール代数を実行できる場合もありますが、変数が多く、最も単純な形式であるかどうかを判断するのはおそらく難しいでしょう。