うまく機能するQuine-McCluskeyを使用してブール単純化を行っています。
ただし、いくつかの既知の用語の組み合わせを使用して簡略化を実行する必要があります。
たとえば、次のように単純化します。
(A+B)C
私がそれを知っていれば：
A+B == 真
次に、これは次のように単純化されます。
ハ
または、私がそれを知っている場合:
紀元前 == 偽
次に、それは次のように単純化されます
交流
既知の用語のリストが与えられたブール式を単純化できるアルゴリズムはありますか?
1 に答える
2
この問題に対する優れた解決策を発見しました。
Quine-McCluskey は、項の一部が"don't care"としてマークされている真理値表を処理できます。これは、項が発生しないことを意味するため、最小化された式は true または false を返すことができます。
例えば：
AB結果 0 0 0 0 1 気にしない 1 0 気にしない 1 1 コントケア
上記の関数を最小化して、'false' を返すだけにできることは明らかです。
したがって、既知の項を処理するには、既知の項が false と評価される真理値表の項について、結果を「don't care」に設定するだけです。Quine-McCluskey アルゴリズムは、既知の項を考慮して最小化された関数を生成します。
たとえば、A と B の関数があり、 がわかっているA == false場合、A が真である真理値表の任意の行は、決して発生しないことがわかっているため、 「ドント ケア」としてマークできます。
于 2012-02-28T15:49:57.293 に答える