Mister Exam

Expression (x↔y)→¬(x∧y)

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