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

式1

式2（任意・等価チェック）

表示オプション真理値表を表示「計算の過程」を表示完全DNFを表示完全CNFを表示（任意）簡約（SOP）を表示短絡評価を有効にする

構文の解釈

式1: —

演算子の優先順位（高→低）

利用可能な演算子: ! / ~（否定）、& / ∧（論理積）、^（排他的論理和）、| / ∨（論理和）、->、<->、定数 0・1・T・F。変数は自動でアルファベット順に並びます。上のキーパッドから記号をタップ入力できます。

結果概要

表示行数

利用できる演算子は？

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

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

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