クワイン・マクラスキー法
必須項だけでは全ての最小項をカバーできていないので、更なる作業が必要になる。最もシンプルな方法は、試行錯誤して最簡形を見つけることであるが、より系統的な方法として、ペトリック法(en:Petrick's method)がある。このケースでは、次の最簡形を得る。
f = B C ̄ D ̄ + A D ̄ + A C = B C ̄ D ̄ + A B ̄ + A C {\displaystyle {\begin{aligned}f&=B{\overline {C}}{\overline {D}}+A{\overline {D}}+AC\\&=B{\overline {C}}{\overline {D}}+A{\overline {B}}+AC\end{aligned}}}
ぺトリック法では、得られた表の横の列に真理値の変数を割り当て、先程とは逆に、同じ最小項をカバーする主項2つのすべての組み合わせの和を作り、それらすべての積を作り、多項式の展開で変形、同じ真理値の積がそれ自身であることを利用して簡単にし、すべての必須項を含む最も短い積の項を選ぶことで最簡項を見つける。この場合は、2つ見つかる。