奎因-麦克拉斯基法 (QM法) 求解与化简工具 | 分步图解

入力から1となる最小項と、Don't care (X) の項を抽出します。

1の数でグループ分けし、1ビットだけ異なる項同士を結合（圧縮）していきます。結合されなかった項（✓がつかない項）が主項です。

行に主項、列に最小項（Don't careは除く）を配置します。1つの主項でしかカバーできない列を持つ主項が必須主項です。

必須主項と、残りの最小項をカバーする主項の組み合わせから最終式を導出します。