真理値表
真理値表(しんりちひょう、Truth table)は、論理関数(真理関数)の、入力の全てのパターンとそれに対する結果の値を、表にしたものである。
例1:命題Pの否定「 ¬ P {\displaystyle \lnot P} 」の場合、以下のような真理値表になる。
例2:2つの命題P,Qの論理積「 P ∧ Q {\displaystyle P\land Q} 」の場合、以下のような真理値表になる。
例3:2つの命題P,Qの論理和「 P ∨ Q {\displaystyle P\lor Q} 」の場合、以下のような真理値表になる。
なお、この表では「真」「偽」として表記してあるが、「T(=true)」「F(=false)」、「1」「0」の場合もあるし、「1」のみを記述して「0」を記述しない場合もある。
論理包含としてP⇒Qと¬P∨Q、¬P⇒QとP∨Qの真理値が一致していることはしばしば指摘される例である。