Tautology and contradiction

The three things a final column can look like, how to settle which by trying to falsify a formula, and why substitution preserves the answer.