真理値表
真理値表（しんりちひょう、Truth table）は、論理関数の、入力の全てのパターンとそれに対する結果の値を、表にしたものである。
例1：命題Pの否定「」の場合、以下のような真理値表になる。
| 命題 P | ¬P |
|---|---|
| 真 | 偽 |
| 偽 | 真 |
例2：2つの命題P,Qの論理和「」の場合、以下のような真理値表になる。
| 命題 P | 命題 Q | P ∨ Q |
|---|---|---|
| 真 | 真 | 真 |
| 真 | 偽 | 真 |
| 偽 | 真 | 真 |
| 偽 | 偽 | 偽 |
例3：2つの命題P,Qの論理積「」の場合、以下のような真理値表になる。
| 命題 P | 命題 Q | P ∧ Q |
|---|---|---|
| 真 | 真 | 真 |
| 真 | 偽 | 偽 |
| 偽 | 真 | 偽 |
| 偽 | 偽 | 偽 |
なお、この表では「真」「偽」として表記してあるが、「T(=truth)」「F(=false)」、「1」「0」の場合もあるし、「1」のみを記述して「0」を記述しない場合もある。
| P | Q | P∧Q | P∨Q | P⇒Q | ¬P∧Q | P∨¬Q | ¬(P∧Q) | ¬P∨¬Q | ¬(P∨Q) | ¬P∧¬Q | ¬P⇒Q | P∧¬Q |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| T | T | T | T | T | F | T | F | F | F | F | T | F |
| T | F | F | T | F | F | T | T | T | F | F | T | T |
| F | T | F | T | T | T | F | T | T | F | F | T | F |
| F | F | F | F | T | F | T | T | T | T | T | F | F |
