Click on the truth value assignment to the propositions (not the connectives), toggling them T F, to make the whole formula True. The default assigns values randomly. There need not be a unique answer. (Aim: 100% right, 10 seconds each. The clock stops 15 seconds while corrections are displayed.)