Definition:Truth Table

Definition
A truth table is a tabular array that represents the computation of a truth function, that is, a function of the form:
 * $f : \mathbb B^k \to \mathbb B$

where:
 * $k$ is a non-negative integer
 * $\mathbb B$ is a set of truth values, usually $\set {0, 1}$ or $\set {\T, \F}$.

Structure
Truth tables are constructed of rows and columns.

Also known as
Some sources hyphenate: truth-table.

Some sources refer to this concept as a matrix, but a different meaning has evolved for that word in the context of linear algebra..

Also see

 * Results proved using truth tables can be found here.