Mister Exam

Expression ¬¬xy∨(x→y)x

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