This is the final year project of my undergraduate study. It's about an Automatic question generation for propositional logical equivalences, which can generate unique questions for different students ...