Tautology: always true regardless of component truth values. Example: p OR ~p, (p => q) OR (q => p). Contradiction: always false. Example: p AND ~p. Contingency: neither tautology nor contradiction (depends on values). To verify, construct the truth table and check all rows.