真理値表

真理値表（しんりちひょう、Truth table）は、論理関数(真理関数)の、入力の全てのパターンとそれに対する結果の値を、表にしたものである。

例1：命題Pの否定「」の場合、以下のような真理値表になる。
 命題 P  ¬P      

例2：2つの命題P,Qの論理積「」の場合、以下のような真理値表になる。
 命題 P  命題 Q  P ∧ Q                    

例3：2つの命題P,Qの論理和「」の場合、以下のような真理値表になる。
 命題 P  命題 Q  P ∨ Q                    

例4：2つの命題P,Qの論理包含「」の場合、以下のような真理値表になる。論理包含としてP⇒Qと¬P∨Q、¬P⇒Qと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  ¬P⇒Q                                                                                                            

 関連項目 
真理値
カルノー図法
ブール代数
ブール関数
ベン図
選言標準形
連言標準形
論理回路
論理記号の一覧

category:表
Category:命題論理
Category:概念モデル
Category:ブール代数
Category:数学に関する記事
Category:意味論 (論理学)