真理値表

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

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

命題 P¬P

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

命題 P命題 QPQ

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

命題 P命題 QPQ

なお、この表では「真」「偽」として表記してあるが、「T(=true)」「F(=false)」、「1」「0」の場合もあるし、「1」のみを記述して「0」を記述しない場合もある。

PQP∧QP∨QP⇒Q¬P∧QP∨¬Q¬(P∧Q)¬P∨¬Q¬(P∨Q)¬P∧¬Q¬P⇒QP∧¬Q
TTTTTFTFFFFTF
TFFTFFTTTFFTT
FTFTTTFTTFFTF
FFFFTFTTTTTFF

関連項目

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.