真理値表ジェネレーター — あらゆるブール式を評価
この真理値表ジェネレーターは、A、B、Cなどの変数とAND、OR、NOT、XOR、NAND、NOR、含意（->）、双条件（<->）演算子を使用して入力した任意のブール式を解析し、最大6変数まで、可能なすべての真/偽の入力の組み合わせで評価します。結果は完全で正しく順序付けされた真理値表であり、あなたの式がトートロジー（常に真）、矛盾（常に偽）、または本当の条件文であるかを自動検出します。
クイック回答
変数と演算子（AND、OR、NOT、XOR、NAND、NOR、->、<->）を使用してブール式を入力すると、このジェネレーターはあなたの変数（最大6個）のすべての真/偽の組み合わせでそれを評価し、完全な真理値表を生成し、トートロジーや矛盾を自動的にフラグ付けします。
AND、OR、NOT、XOR、NAND、NOR、->（含意）、<->（双条件）、括弧をサポートしています。
真理値表ジェネレーター — オンラインでブール論理式をの使い方
- 1
変数（A、B、C、...）とAND、OR、NOT、XOR、NAND、NOR、->、<->などの演算子を使用してブール式を入力します。
- 2
代数と同じように括弧を使用して評価順序を制御します。
- 3
「生成」をクリックして、変数のすべての組み合わせに対する完全な真理値表を構築します。
- 4
トートロジー/矛盾のバナーを確認して、あなたの式が常に真か常に偽かを即座に確認します。
なぜ真理値表ジェネレーター — オンラインでブール論理式をを使うのか？
真理値表は、ブール式の動作を検証する決定的な方法です — 手作業での簡略化とは異なり、真理値表はすべての可能な入力の組み合わせを文字通りチェックするため、微妙な論理エラーを隠すことができません。これはデジタル論理設計、条件文の正しいプログラミング、形式論理のコースにとって不可欠です。私たちのジェネレーターは、多くのシンプルなツールが省略している条件（含意）と双条件演算子を含む、標準演算子の完全なセットをサポートし、実際のコードにおける冗長または欠陥のある条件を示す正確なパターンであるトートロジーと矛盾を自動的にフラグ付けします。