クワイン・マクラスキー法
以下の真理値表で表されるブール関数を簡単化する。
X は Don't care を表す。 この関数の選言標準形は、最小項の和をとって(Don't care は無視する)
f = A ̄ B C ̄ D ̄ + A B ̄ C ̄ D ̄ + A B ̄ C D ̄ + A B ̄ C D + A B C ̄ D ̄ + A B C D {\displaystyle f={\overline {A}}B{\overline {C}}{\overline {D}}+A{\overline {B}}{\overline {C}}{\overline {D}}+A{\overline {B}}C{\overline {D}}+A{\overline {B}}CD+AB{\overline {C}}{\overline {D}}+ABCD}
となる。 もちろんこれはまだ最簡形ではない。まず、すべての1となる最小項をビット列中の1の数(ハミング重み)ごとに表に列挙する。これはすべての組み合わせを作り、ハミング距離が1のものだけ残すのと等価である。このとき Don't care の項も加える。

これで最初の準備が整った。1ビットのみが異なっている(ハミング距離が1となる)最小項の組を見つけて、その2つをまとめる。これをすべての最小項の組み合わせについて確かめる。こうしてできた項を再び1の数ごとにまとめ、同じ操作を再帰的に適用する。それ以上まとめることができない項(もうハミング距離が1となる組み合わせがない項)にしるし(*)をつける。この印を付けた項が主項となる。