真理値表（しんりちひょう、Truth table）は、論理関数(真理関数)の、入力の全てのパターンとそれに対する結果の値を、表にしたものである。
例1：命題Pの否定「
」の場合、以下のような真理値表になる。
例2：2つの命題P,Qの論理和「
」の場合、以下のような真理値表になる。
| 命題 P |
命題 Q |
P ∨ Q
|
| 真 |
真 |
真
|
| 真 |
偽 |
真
|
| 偽 |
真 |
真
|
| 偽 |
偽 |
偽
|
例3：2つの命題P,Qの論理積「
」の場合、以下のような真理値表になる。
| 命題 P |
命題 Q |
P ∧ Q
|
| 真 |
真 |
真
|
| 真 |
偽 |
偽
|
| 偽 |
真 |
偽
|
| 偽 |
偽 |
偽
|
なお、この表では「真」「偽」として表記してあるが、「T(=true)」「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
|
関連項目[編集]
