Every box is a clause and every symbol is a variable. A symbol is red (true) or blue (false). An underlined symbol is the opposite of the plain one.

1. One of you plays ∃, the other ∀. The move order strip shows the variables in the order they are colored. Whoever holds the quantifier of the next variable chooses its color.
2. ∃ wins as soon as every box contains a red symbol. ∀ wins as soon as some box has only blue symbols.
3. After each round both players press Next round; then the roles swap and you play the same level again.
4. Tap a symbol to light up all symbols of the same variable.