Mister Exam

Expression p→((p→q)∧¬(¬q∨¬p))

The teacher will be very surprised to see your correct solution 😉