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 ...

Abstract: Logical equivalences or as commonly known logical identities have always been applied in logical reasoning and propositional simplification. Investigating additional logical identities can ...