Mister Exam

Expression z->(not(y->x))

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