Definition from Wiktionary, the free dictionary
- (logic) a table showing all possible truth-values for an expression, derived from the truth-values of its components
- Each row of a truth table corresponds to a distinct interpretation. The columns on the left side assign truth values to the letters (of the truth table's given formula), and the column on the right side shows the truth value for the entire formula, which computably depends on the truth values of its letters.
table showing all possible truth-values for an expression