Automatic question generation for propositional logical equivalences