Mister Exam

Expression ¬(x≡y)∧(y≡z)

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