Wire up a working logic circuit using a single building block, the humble NAND gate, and prove it matches the spec.
Each level hands you a set of inputs and a target Boolean specification. Your job is to assemble a circuit that produces the correct output for every possible combination of inputs, using only NAND gates.
Truthgate turns digital logic design into a build-and-verify puzzle, showing how every gate can be built from NAND.
A target Boolean specification and a set of inputs is the standard form of a circuit-design problem, stated in Boolean algebra and checked against a truth table.
Requiring the correct output for every input combination, not just the ones you thought of, is the original discipline here.
That exhaustiveness is what separates logic from intuition. A circuit that works on the cases you tried is the commonest bug in hardware and software alike, and the only cure is a specification that enumerates everything — which for n inputs means 2ⁿ rows, and is why the tables grow so fast.
Truthgate turns digital logic design into a build-and-verify puzzle: NAND is functionally complete, so every Boolean function can be made from it alone. It's an original, free browser game with a date-seeded daily level and an endless practice campaign.