クワイン・マクラスキー法

クワイン・マクラスキー法（—ほう; Quine–McCluskey algorithm/略:QM法）はブール関数を簡単化するための方法である。カルノー図と同様の目的で使われるが、コンピュータによる自動化に適しており、またブール関数が最簡形かどうか決定的に求めることができる。

この神経はここで途切れています。