真理値表
出典: フリー百科事典『ウィキペディア（Wikipedia）』
真理値表（しんりちひょう、Truth table）とは論理式および論理回路において、すべての入出力の結果を表にしたものである（あるいは真偽値表とも真偽表ともいうテンプレート:要出典）。
例1：命題Pの否定「<math>\lnot P</math>」の場合、以下のような真理値表になる。
| 命題 P | ¬P |
|---|---|
| 真 | 偽 |
| 偽 | 真 |
例2：2つの命題P,Qの論理和「<math>P \lor Q</math>」の場合、以下のような真理値表になる。
| 命題 P | 命題 Q | P ∨ Q |
|---|---|---|
| 真 | 真 | 真 |
| 真 | 偽 | 真 |
| 偽 | 真 | 真 |
| 偽 | 偽 | 偽 |
例3：2つの命題P,Qの論理積「<math>P \land Q</math>」の場合、以下のような真理値表になる。
| 命題 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 |
