# Truth table

Jump to: navigation, search
 Related e Wikipedia Wiktionary Shop Featured: Kunstformen der Natur (1904) by Ernst Haeckel

A truth table is a mathematical table used in logicâ€”specifically in connection with Boolean algebra, boolean functions, and propositional calculusâ€”to compute the functional values of logical expressions on each of their functional arguments, that is, on each combination of values taken by their logical variables (Enderton, 2001). In particular, truth tables can be used to tell whether a propositional expression is true for all legitimate input values, that is, logically valid.

Practically, a truth table is composed of one column for each input variable (for example, A and B), and one final column for all of the possible results of the logical operation that the table is meant to represent (for example, A XOR B). Each row of the truth table therefore contains one possible configuration of the input variables (for instance, A=true B=false), and the result of the operation for those values. See the examples below for further clarification. Ludwig Wittgenstein is often credited with their invention in the Tractatus Logico-Philosophicus.

## See also

Unless indicated otherwise, the text in this article is either based on Wikipedia article "Truth table" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on original research by Jahsonic and friends. See Art and Popular Culture's copyright notice.