Assessment 
Biopsychology 
Comparative 
Cognitive 
Developmental 
Language 
Individual differences 
Personality 
Philosophy 
Social 
Methods 
Statistics 
Clinical 
Educational 
Industrial 
Professional items 
World psychology 
Philosophy Index: Aesthetics · Epistemology · Ethics · Logic · Metaphysics · Consciousness · Philosophy of Language · Philosophy of Mind · Philosophy of Science · Social and Political philosophy · Philosophies · Philosophers · List of lists
Truth tables are a type of mathematical table used in logic to determine whether an expression is true or valid. (Expressions may be arguments; i.e., a conjunction of expressions, each conjunct of which is a premise with the last being the conclusion.)
Truth tables were invented to work on the propositional calculus developed by Gottlob Frege, Bertrand Russell, and others. They were first invented in 1917, by Ludwig Wittgenstein, and later and independently, in 1921, by Emil Post. Wittgenstein's Tractatus LogicoPhilosophicus uses them to place truth functions in a series. The wide influence of this work led to the spread of the use of truth tables.
Truth tables are used to compute the values of truthfunctional expressions (i.e., it is a decision procedure). A truthfunctional expression is either atomic (i.e., a propositional variable (or placeholder) or a propositional function — e.g. Px) or built up from atomic formulas from logical operators (i.e. ∧ (AND), ∨ (OR), ¬ (NOT) — e.g. Fx & Gx).
The column headings on a truth table show (i) the propositional functions and/or variables, and (ii) the truthfunctional expression built up from those propositional functions or variables and operators. The rows show each possible valuation of T or F assignments to (i) and (ii). In other words, each row is a distinct interpretation of (i) and (ii).
Truth tables for classical (i.e., bivalent) logic are limited to Boolean logic systems where only two truth values are possible, true or false, usually denoted simply T and F in the tables (as remarked above).
Logical conjunction[]
For example, take two propositional variables, and , and the logical operator "AND" (∧), signifying the conjunction "A and B" or ∧ . In common English, if both A and B are true, then the conjunction " ∧ " is true; under all other possible assignments of truth values to ∧ , the conjunction is false. This relationship is defined as follows:
∧  
F  F  F 
F  T  F 
T  F  F 
T  T  T 
Logical disjunction[]
The OR (∨) relationship is defined as follows:
∨  
F  F  F 
F  T  T 
T  F  T 
T  T  T 
Negation[]
In a boolean logic system, all the operators can be explicitly defined this way. For example, the NOT (¬) relationship is defined as follows:
¬  
F  T 
T  F 
Logical nand[]
Compound expressions can be constructed, using parenthesis to denote precedence.
The negation of conjunction ¬ ( ∧ ) ≡ ∧ , and the disjunction of negations ¬ ∨ ¬ are depicted as follows:
∧  ∧  ¬  ¬  ¬ ∨ ¬  
F  F  F  T  T  T  T 
F  T  F  T  T  F  T 
T  F  F  T  F  T  T 
T  T  T  F  F  F  F 
Logical nor[]
Truth tables can be used to prove logical equivalence.
The negation of disjunction ¬ ( ∨ ) ≡ ∨ , and the conjunction of negations ¬ ∧ ¬ are depicted as follows:
∨  ∨  ¬  ¬  ¬ ∧ ¬  
F  F  F  T  T  T  T 
F  T  T  F  T  F  F 
T  F  T  F  F  T  F 
T  T  T  F  F  F  F 
Comparing the above two truth tables, since the enumeration of all possible truthvalues for and yields the same truthvalue under both ∧ and ¬ ∨ ¬ ; and both ∨ and ¬ ∧ ¬ , the two and two are logically equivalent correspondingly, and may be substituted for each other. This equivalence is one of DeMorgan's Laws.
Truth table for most commonly used logical operators[]
Here is a truth table giving definitions of the most commonly used 6 of the 16 possible truth functions of 2 binary variables (P,Q are thus boolean variables):
∧  ∨  ∧  ∨  →  ←  
F  F  F  F  F  T  T  T 
F  T  F  T  T  F  T  F 
T  F  F  T  T  F  F  T 
T  T  T  T  F  T  T  T 
Key:
 T = true, F = false
 ∧ = AND (logical conjunction)
 ∨ = OR (logical disjunction)
 ∧ = XOR (exclusive or)
 ∨ = XNOR (exclusive nor)
 → = conditional "ifthen"
 ← = conditional "(then)if"
<↔>: biconditional or "ifandonlyif" is logically equivalent to <∨>: XNOR (exclusive nor).
Johnston diagrams, similar to Venn diagrams and Euler diagrams, provide a way of visualizing truth tables. An interactive Johnston diagram illustrating truth tables is at LogicTutorial.com
Condensed truth tables for binary operators[]
For binary operators, a condensed form of truth table is also used, where the row headings and the column headings specify the operands and the table cells specify the result. For example Boolean Logic uses this condensed truth table notation:


This notation is useful especially if the operations are commutative, although one can additionally specify that the rows are the first operand and the columns are the second operand. This condensed notation is particularly useful in discussing multivalued extensions of logic, as it significantly cuts down on combinatoric explosion of the number of rows otherwise needed. It also provides for quickly recognizable characteristic "shape" of the distribution of the values in the table which can assist the reader in grasping the rules more quickly.
See also[]
 Connective
 Propositional calculus
 List of Boolean algebra topics
 Logical nand
 Logical nor
de:Wahrheitstabelle es:Tabla de valores de verdad fr:Table de vérité he:טבלת אמת nl:Waarheidstabel no:Sannhetstabell pt:Tabela verdade sv:Sanningstabell zh:真值表
This page uses Creative Commons Licensed content from Wikipedia (view authors). 