Five kinds of exercise. Answers are checked by meaning — a truth table, the negation rules, or evaluation on a graph — not by matching a stored string, so any correct answer is accepted.