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:

    “The table kills more people than war does.”
    —Catalan proverb, quoted in Colman Andrews, Catalan Cuisine.

    “But nothing is better than a truth which appears not to have the semblance of truth. There is always something incomprehensible about the great heroic deeds performed by humanity because they rise so far beyond the mediocre measure of mere mortals; but it is always only because of the incredible feats that human beings have accomplished that humanity recovers its faith in itself.”
    —Stefan Zweig (18811942)

    “Nobody is so constituted as to be able to live everywhere and anywhere; and he who has great duties to perform, which lay claim to all his strength, has, in this respect, a very limited choice. The influence of climate upon the bodily functions ... extends so far, that a blunder in the choice of locality and climate is able not only to alienate a man from his actual duty, but also to withhold it from him altogether, so that he never even comes face to face with it.”
    —Friedrich Nietzsche (1844–1900)