Logic Lockworks
A logic operator is defined by its complete output pattern: inclusive OR means at least one including both, AND requires every condition, NOT flips one named condition, and expressions are equivalent only when every possible input row matches.
ComputingAges 9-13~11 min🎙️ Voice tutor
Play freeNo account needed
What your child will figure out
- Distinguish inclusive OR from exclusive OR by observing that the both-true row produces true.
- Contrast AND and OR in a safety rule by testing all four two-input cases.
- Apply NOT to one explicitly named condition, then build and test a three-input compound expression.
- Prove equivalence by comparing two expressions across the complete input space rather than by appearance or one example.
The levels
- Either key—or both
Run all four OR cases and identify the both-true row as true.
- Every condition must hold
Choose AND for a badge-plus-supervisor safety rule and verify all four cases.
- Switch day into night
Cycle both values of one day input through NOT and explain the scoped flip.
- Access without alarm
Build (badge OR code) AND NOT alarm and run all eight possible cases.
- Prove the simpler machine
Compare (A AND B) OR (A AND NOT B) with A across all four rows.
Ready when they are.
Play Logic Lockworks free — no account, no card.
Play Logic Lockworks free