The truth value of a compound statement can be determined from the truth values of its components. A table that gives, for all possible truth values of the components, the resulting truth values of the compound statement is a truth table. The truth table for ¬p is
and combined truth tables for p ∧ q, p ∨ q, and p⇒q are as follows:
From these, any other truth table can be completed. For example, the final column below, gives the truth table for the compound statement (p ∧ q) ∨ (¬r), and is found by first completing columns for p ∧ q and ¬r: