真理値表ジェネレーター

真理値表とは何ですか？

真理値表とは、論理式のすべての可能な真理値をリスト化するための体系的な方法です。入力変数値（真または偽）の各組み合わせに対して、表には式の最終的な出力結果が表示されます。真理値表は以下の分野で基礎となります：

• デジタル論理設計 — AND、OR、NOTゲートを使用した回路の設計
• コンピュータサイエンス — 条件式やブール代数の評価
• 哲学・数学 — 命題論理における形式的な証明
• ソフトウェアエンジニアリング — 条件付きロジックの全分岐のテスト

この真理値表ジェネレーターの使い方

変数（A-H）と論理演算子を使用してブール式を入力してください。ツールは自動的に変数を検出し、すべての可能な入力/出力の組み合わせを示す完全な真理値表を生成します。

• 変数として1文字の大文字（A, B, C, ..., H）を使用してください。最大8つの変数まで対応しています。
• 演算子の優先順位を制御するには括弧 ( ) を使用します。
• 演算子ボタンをクリックするか、直接演算子を入力してください。
• 「中間式を表示」を切り替えると、計算の中間ステップを確認できます。

演算子の優先順位（高い順）

括弧を使用しない場合、演算子は以下の順序で評価されます：

• NOT (!, ~, ¬) — 最初に評価（最高優先順位）
• AND (&&, &, ∧) — 2番目に評価
• NAND — 3番目に評価
• XOR, XNOR (^, ⊕, ⊙) — 4番目に評価
• OR (||, |, ∨) — 5番目に評価
• NOR — 6番目に評価
• IMPLIES (→, =>) — 7番目に評価
• BICONDITIONAL / IFF (↔, <=>) — 最後に評価（最低優先順位）

サポートされている演算子の構文

最小項（Minterms）と最大項（Maxterms）の理解

最小項（Minterms）は、出力が1（真）になる行です。最小項の和（SOP）は、関数をAND項のORとして表現します。最大項（Maxterms）は、出力が0（偽）になる行です。最大項の積（POS）は、関数をOR項のANDとして表現します。どちらの形式も、デジタル論理の簡略化やカルノー図分析において不可欠です。