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:

    “A man who can dominate a London dinner table can dominate the world. The future belongs to the dandy. It is the exquisites who are going to rule.”
    —Oscar Wilde (1854–1900)

    “Light is meaningful only in relation to darkness, and truth presupposes error. It is these mingled opposites which people our life, which make it pungent, intoxicating. We only exist in terms of this conflict, in the zone where black and white clash.”
    —Louis Aragon (1897–1982)

    “Mark the babe
    Not long accustomed to this breathing world;
    One that hath barely learned to shape a smile,
    Though yet irrational of soul, to grasp
    With tiny finger—to let fall a tear;
    And, as the heavy cloud of sleep dissolves,
    To stretch his limbs, bemocking, as might seem,
    The outward functions of intelligent man.”
    —William Wordsworth (1770–1850)