クワイン・マクラスキー法自動計算・簡単化ツール【ステップ解説付き】

' + s.modeExprLabel + ': ' + fill(s.modeExprBody) + '
' + s.modeTruthLabel + ': ' + fill(s.modeTruthBody) + '

変数

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

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

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

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

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

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