Current formula
Set each variable — tap to flip true/false
A satisfying assignment makes the whole formula true. Try P ∧ ¬P — no setting of P ever turns it green, so it is unsatisfiable.