Truth Function - Table of Binary Truth Functions

Table of Binary Truth Functions

There are sixteen Boolean functions associating the inputs P and Q with four-digit binary outputs. Any of these functions is identified as a truth table of a certain logical connective in classical logic, including several degenerate cases such as a function not depending on one or both of its arguments.

Contradiction/False
Notation Equivalent
formulas		 Truth table Venn diagram

"bottom"		 P ¬P
Opq
Q
0 1
P 0 0 0
1 0 0


Tautology/True
Notation Equivalent
formulas		 Truth table Venn diagram

"top"		 P ¬P
Vpq
Q
0 1
P 0 1 1
1 1 1


Proposition P
Notation Equivalent
formulas		 Truth table Venn diagram
P p
Ipq
Q
0 1
P 0 0 0
1 1 1


Negation of P
Notation Equivalent
formulas		 Truth table Venn diagram
¬P
~P		 Np
Fpq
Q
0 1
P 0 1 1
1 0 0


Proposition Q
Notation Equivalent
formulas		 Truth table Venn diagram
Q q
Hpq
Q
0 1
P 0 0 1
1 0 1


Negation of Q
Notation Equivalent
formulas		 Truth table Venn diagram
¬Q
~Q		 Nq
Gpq
Q
0 1
P 0 1 0
1 1 0


Conjunction
Notation Equivalent
formulas		 Truth table Venn diagram
P Q
P & Q
P · Q
P AND Q		 P ¬Q
¬P Q
¬P ¬Q
Kpq
Q
0 1
P 0 0 0
1 0 1


Alternative denial
Notation Equivalent
formulas		 Truth table Venn diagram
P ↑ Q
P | Q
P NAND Q		 P → ¬Q
¬P ← Q
¬P ¬Q
Dpq
Q
0 1
P 0 1 1
1 1 0


Disjunction
Notation Equivalent
formulas		 Truth table Venn diagram
P Q
P OR Q		 P ¬Q
¬P → Q
¬P ↑ ¬Q
¬(¬P ¬Q)
Apq
Q
0 1
P 0 0 1
1 1 1


Joint denial
Notation Equivalent
formulas		 Truth table Venn diagram
P ↓ Q
P NOR Q		 P ¬Q
¬P Q
¬P ¬Q
Xpq
Q
0 1
P 0 1 0
1 0 0


Material nonimplication
Notation Equivalent
formulas		 Truth table Venn diagram
P Q
P Q		 P ¬Q
¬P ↓ Q
¬P ¬Q
Lpq
Q
0 1
P 0 0 0
1 1 0


Material implication
Notation Equivalent
formulas		 Truth table Venn diagram
P → Q
P Q		 P ↑ ¬Q
¬P Q
¬P ← ¬Q
Cpq
Q
0 1
P 0 1 1
1 0 1


Converse nonimplication
Notation Equivalent
formulas		 Truth table Venn diagram
P Q
P Q		 P ↓ ¬Q
¬P Q
¬P ¬Q
Mpq
Q
0 1
P 0 0 1
1 0 0


Converse implication
Notation Equivalent
formulas		 Truth table Venn diagram
P Q
P Q		 P ¬Q
¬P ↑ Q
¬P → ¬Q
Bpq
Q
0 1
P 0 1 0
1 1 1


Exclusive disjunction
Notation Equivalent
formulas		 Truth table Venn diagram
P Q
P Q
P Q
P XOR Q		 P ¬Q
¬P Q
¬P ¬Q
Jpq
Q
0 1
P 0 0 1
1 1 0


Biconditional
Notation Equivalent
formulas		 Truth table Venn diagram
P Q
P ≡ Q
P XNOR Q
P IFF Q		 P ¬Q
¬P Q
¬P ¬Q
Epq
Q
0 1
P 0 1 0
1 0 1


Read more about this topic:  Truth Function

Famous quotes containing the words table, truth and/or functions:

    “When he was at the table with them, he took bread, blessed and broke it, and gave it to them. Then their eyes were opened, and they recognized him; and he vanished from their sight.”
    —Bible: New Testament, Luke 24:30,31.

    The Emmaus story.

    “They say that in the end truth will triumph, but it’s a lie.”
    —Anton Pavlovich Chekhov (1860–1904)

    “The English masses are lovable: they are kind, decent, tolerant, practical and not stupid. The tragedy is that there are too many of them, and that they are aimless, having outgrown the servile functions for which they were encouraged to multiply. One day these huge crowds will have to seize power because there will be nothing else for them to do, and yet they neither demand power nor are ready to make use of it; they will learn only to be bored in a new way.”
    —Cyril Connolly (1903–1974)