Quine-McCluskey (QM) Solver & Simplifier | Step-by-Step

Automatically generate step-by-step reduction processes and prime implicant charts from logic expressions or truth tables.

変数

OUT列の各セルをタップして 0 → 1 → X (Don't care) を切り替えます。

⚙️ 詳細設定（表記スタイル・記号のカスタマイズ）

表記スタイル情報流数学流テキスト

真偽値表記 0 / 1 T / F

真理値の並び順昇順降順

Don't care記号 X φ

0セル表示 0を空白表示

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

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

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

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

A quick article and video to review before using the tool.