Logic and truth tables

Build truth tables, and spot tautologies, contradictions and equivalent statements. About 8 minutes, University.

What you will do

1. Statements that are true or false. Logic combines true/false statements with not (¬), and (∧), or (∨) and if…then (→).
2. A truth table. List every combination of true and false and work the formula out for each.
3. A tautology. A statement that is true in every row is a tautology.
4. Equivalent statements. If "A if and only if B" is a tautology, A and B always agree: they are equivalent.