Truth Table Formula

The Formula

n variables \Rightarrow 2^n rows in the truth table

When to use: List every possible combination of T/F for inputs, and compute the output.

Quick Example

P \wedge Q: rows are (T,T)→T, (T,F)→F, (F,T)→F, (F,F)→F. Two variables require exactly 2^2 = 4 rows.

Notation

Rows list all combinations of T/F for input variables; the final column gives the output truth value

What This Formula Means

A table that systematically lists every possible combination of truth values for the input variables and the resulting truth value of the expression.

List every possible combination of T/F for inputs, and compute the output.

Formal View

n propositional variables yield a truth table with 2^n rows; a compound proposition is a function f : \{\top,\bot\}^n \to \{\top,\bot\}

Worked Examples

Example 1

easy
Construct the truth table for p \Rightarrow q.

Solution

  1. 1
    List all combinations: (T,T), (T,F), (F,T), (F,F).
  2. 2
    Apply the rule: p \Rightarrow q is false only when p is true and q is false.
  3. 3
    Results: (T,T) \to T, (T,F) \to F, (F,T) \to T, (F,F) \to T.

Answer

\begin{array}{cc|c} p & q & p \Rightarrow q \\ \hline T & T & T \\ T & F & F \\ F & T & T \\ F & F & T \end{array}
A truth table systematically lists every possible combination of truth values for the variables and evaluates the compound statement for each.

Example 2

medium
Build a truth table to verify that p \Rightarrow q is logically equivalent to \neg p \lor q.

Common Mistakes

  • Missing rows — for n variables you need exactly 2^n rows; forgetting any combination gives an incomplete analysis
  • Not listing input combinations systematically — skipping or duplicating rows leads to wrong conclusions
  • Reading the output column and concluding a tautology or contradiction without checking ALL rows

Why This Formula Matters

Truth tables provide a mechanical, error-free method to analyze any logical expression, check equivalence, or identify tautologies.

Frequently Asked Questions

What is the Truth Table formula?

A table that systematically lists every possible combination of truth values for the input variables and the resulting truth value of the expression.

How do you use the Truth Table formula?

List every possible combination of T/F for inputs, and compute the output.

What do the symbols mean in the Truth Table formula?

Rows list all combinations of T/F for input variables; the final column gives the output truth value

Why is the Truth Table formula important in Math?

Truth tables provide a mechanical, error-free method to analyze any logical expression, check equivalence, or identify tautologies.

What do students get wrong about Truth Table?

With n variables, you need exactly 2^n rows — forgetting any row can lead to wrong conclusions about tautologies or contradictions.

What should I learn before the Truth Table formula?

Before studying the Truth Table formula, you should understand: logical statement.

← Back to Truth Table See All Examples Practice Problems

Related Concepts

Logical Statement

Related Formulas

Logical Statement Formula