Mister Exam

Expression m→((m→n)∧¬(¬n∨¬m))

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