Mister Exam

Expression ¬xy->x¬y

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