Logic, tables and constraints

Illustrated ideas and a checked route from understanding to independent problem-solving.

Translate each statement into a precise constraint or implication.

Test every condition using a table, cases or a contradiction.

Separate a possible arrangement from a conclusion that must hold.