Truth Table

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A tabular method that lists all possible assignments of truth values to the propositional variables appearing in a formula (or set of formulas) and records the resulting truth value of the formula(s) under each assignment.