Truth Table Method

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A semantic, brute-force technique for propositional formulas that enumerates all possible truth-value assignments to atomic propositions and evaluates the formula under each assignment to determine validity, satisfiability, or equivalence.