カルノー図ソルバー

2〜4変数のブール関数を最簡SOP形式に簡単化。ドントケア条件にも対応し、使用された主項を表示します。

無料登録不要クライアントサイドプライバシーに配慮 Updated 6月 11, 2026

変数：

F

最簡SOP

F =

最小項：

ドントケア：

F列のセルをクリックして値を切り替えます 0 → 1 → X （ドントケア）。

使い方

最簡化されたブールsum-of-products（SOP）式です。真理値表を正しく再現しつつ、項と literal の数を可能な限り少なくします。

クワイン・マクラスキー法を実行してすべての主項を求め、その中から必要な最小項をカバーする最小の集合を選び出します。

出力値がどちらでもよい入力の組み合わせのことです。ツールはより単純な式になる方に応じて、これを0または1として扱います。

プライム記号（例：A′）は補元、つまりその変数がこの項において0であることを示します。プライムのない文字は、その変数が1であることを意味します。

カルノー図ソルバーは、真理値表からブール関数を簡単化し、クワイン・マクラスキー法を用いて最も単純なsum-of-products式を導き出すツールです。

概要

カルノー図ソルバーは Zerethon Tools が提供する無料の数学ユーティリティです。2〜4変数のブール関数を最簡SOP形式に簡単化。ドントケア条件にも対応し、使用された主項を表示します。. ブラウザ上で完全に動作します — 登録不要、アップロード不要。

明記されない限り、データがブラウザの外に送信されることはありません。カルノー図ソルバーは完全にクライアント側で動作します — サーバーへのアップロードなし、ログなし、入力内容のトラッキングなし。