真理値表や論理式からカルノー図を瞬時に自動生成。主項や必須主項の判定、最適な囲み方と簡単化結果をステップ表示します。テストの答え合わせに最適です。
AB + C や A AND B のように入力すると、自動でカルノー図を作成します。0 / 1 / X (Don't care) を切り替えます。情報流・数学流・テキスト表記のどれで入力しても自動認識します。AND記号は省略（例: AB, A(B+C)）も可能です。
| 演算（論理積など） | 情報流 | 数学流 | テキスト表記 |
|---|---|---|---|
| AND (論理積) | & * ・ | ∧ | AND |
| OR (論理和) | + | | ∨ | OR |
| NOT (否定) | ! ~ | ¬ | NOT |
| XOR (排他的論理和) | ^ ⊕ | ⊕ | XOR |
これ以上大きく囲むことができない最大のグループです。
1つの主項の枠でしか囲めない「ぼっちの1」です。
特異最小項を含んでおり、最終式に必ず含める必要がある主項です。
0でも1でも都合が良い方として扱えるセルです。Xを使って大きく囲めます。