← 数学・統計

真理値表&論理式評価(DNF/CNF・簡約付き)

論理式を解析し、最大10変数の真理値表・完全DNF/CNF・カルノー図/クワイン・マクラスキー簡約・How it’s calculatedを1ページで確認。共有URLとCSVもワンクリックです。

他の言語 ja | en | zh-CN | zh-TW | zh-HK | es | es-419 | es-MX | pt-BR | pt-PT | id | vi | ko | fr | de | it | ru-RU | hi-IN | ar | bn-BD | th-TH | fil-PH | fa-IR | nl-NL | he-IL | cs-CZ
表示オプション
構文の解釈

式1:

演算子の優先順位(高→低)

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

結果概要

FAQ

利用できる演算子は?

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

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

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

関連電卓