QBF Dungeon — Doors & Pressure Plates

2×

How to play

Move with arrow keys / WASD.
+n/−n pressure plates open / close every door numbered n when stepped on.
n doors are only passable while open.
Reach the ★ goal in the lower-left corner.
Z undo · R restart · M mute.

The reduction

Each variable owns just two door numbers — one for "true", one for "false" — reused directly at every clause where it appears. Walk right through the quantifier gadgets, choosing each ∃-variable (top branch = true, bottom = false) — ∀-gadgets force you to try both values. Then pass every clause gadget (one open literal door needed per clause), turn around, and walk back through the return corridors. The exit only becomes reachable once every required assignment has been verified.