真理値表＆論理式評価 — DNF/CNF・簡約電卓

! と ~ が否定、& と ∧ が論理積、^ が排他的論理和、| と ∨ が論理和、-> が含意、 が同値、定数 0・1・T・F に対応します。

4変数以下はカルノー図のグループ化、5〜6変数はクワイン・マクラスキー法（Petrick法で選択）、7変数以上は完全DNFにフォールバックします。

結果概要

表示行数

利用できる演算子は？

! / ~ が否定、& / ∧ が論理積、^ が排他的論理和、| / ∨ が論理和、-> が含意、<-> が同値、定数 0・1・T・F に対応します。

カルノー図とクワイン・マクラスキーの使い分けは？

4変数以下はカルノー図のグルーピング、5〜6変数はクワイン・マクラスキー法（Petrick法で選択）、7変数以上は完全DNFにフォールバックします。