Mister Exam

Expression ¬((1↔¬1)/\1)→1=

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