真理値表作成ツールの使い方
真理値表作成ツールは、命題論理の論理式を入力するだけで、瞬時に完全な真理値表を自動作成できる無料ウェブツールです。入力欄に論理式を直接入力するか、記号入力ボタンを活用することで、真理値（真 True / 偽 False）のすべての組み合わせと評価結果を一覧表示します。
- 論理式を入力する - 変数（
p,q,rなど）と論理演算子（¬,∧,∨,→,↔,XORなど）を用いて論理式を入力します。 - 記号ボタンを活用する - 入力欄下の演算子ボタンをクリックすると、特殊文字を直接打ち込まずに簡単に挿入できます。
- 真理値表を確認する - 変数の数に応じた 2ⁿ 通りの組み合わせが一覧表示され、結果列が真（T/緑）か偽（F/赤）で強調表示されます。
- 式の分類（恒真式・矛盾式）を判定する - 入力された論理式が恒真式（トートロジー）、矛盾式（コントラディクション）、または充足可能のどれに該当するかを自動で判定します。
Unicodeの論理記号（¬, ∧, ∨, →, ↔）だけでなく、テキスト入力（NOT, AND, OR, IMPLIES, BICONDITIONAL, XOR）や一般キーボード記号（!, &, |, >, =, ^）にも対応しています。括弧 ( ) を使って演算の優先順位を自由に指定できます。
計算式と論理の理論 - 真理値表の作成原理
真理値表作成ツールは、古典命題論理の標準的なセマンティクスに基づいて論理式を計算・評価します。
行数 = 2^n (n = 異なる命題変数の個数)
¬P = NOT P (否定)
P ∧ Q = P AND Q (連言)
P ∨ Q = P OR Q (選言)
P → Q = ¬P ∨ Q (含意: Pが真かつQが偽の場合のみ偽)
P ↔ Q = (P → Q) ∧ (Q → P) (同値: PとQの真理値が一致するとき真)
P XOR Q = P ≠ Q (排他的論理和: PとQのどちらか一方のみが真のとき真)| 記号 | 演算子名 | 真（True）となる条件 |
|---|---|---|
| ¬P | 否定 (NOT) | P が偽 (False) のとき |
| P ∧ Q | 連言 (AND) | P と Q がともに真のとき |
| P ∨ Q | 選言 (OR) | P または Q の少なくとも一方が真のとき |
| P → Q | 含意 (IMPLIES) | P が偽、または Q が真のとき |
| P ↔ Q | 同値 (BICONDITIONAL) | P と Q の真理値が等しいとき |
| P XOR Q | 排他的論理和 (XOR) | P と Q のうち、いずれか一方のみが真のとき |
前提条件と計算上限
本ツールは二値論理（真または偽のいずれかをとる論理体系）に基づいています。変数は最大8個（256行）までサポートしています。演算子の優先順位は「否定 (NOT) > 連言 (AND) > 排他的論理和 (XOR) > 選言 (OR) > 含意 (IMPLIES) > 同値 (BICONDITIONAL)」の順で処理されます。優先順位を変更したい場合は括弧 ( ) を使用してください。
真理値表作成ツールの活用シーン
真理値表作成ツールは、命題論理や論理回路を体系的に分析・検証したいさまざまなシーンで役立ちます。
- 離散数学や数理論理学の学習・課題 - 論理的同値の検証や、対偶・裏・逆の真理値の比較、課題の答え合わせに活用できます。
- 論理回路・ブール代数の設計とシミュレーション - 論理ゲートの挙動確認や、回路出力が期待通りになるかの動作検証を行えます。
- 情報科学・プログラミングの条件分岐チェック - 複雑な
if文の条件式が意図通りに機能するか、論理矛盾がないかをテストできます。 - 哲学・形式論理学の論証検証 - 前提と結論からなる命題の妥当性を、真理値表を作成して反例の有無を確認することで検証できます。
真理値表作成ツールの自動判定機能により、論理式が恒真式（常に真）なのか、矛盾式（常に偽）なのか、あるいは条件によって真となる充足可能な式なのかがひと目で分かり、手計算での転記ミスを防ぎながら効率的に学習・実務を進められます。