
Select some entities from a group. Some are IN, some are OUT.
Setup: Two columns: IN and OUT. List all entities.
Rules are almost always conditional:
"If A is selected, B is not selected" → A → not B. Contrapositive: B → not A.
"If C is not selected, D must be selected" → not C → D. Contrapositive: not D → C.
Key deduction method: Chain all conditionals together and find forced placements.
If A → not B, and not B → C, then A → not B → C. So selecting A forces C in and B out.
Minimum/Maximum questions: "What is the maximum number that can be selected?" Test the upper bound by trying to include as many as possible without violating rules.
These games are 90% conditional logic. If your contrapositives are solid, these games are straightforward.
Reference:
TaskLoco™ — The Sticky Note GOAT