Mister Exam

Expression z->not(y->z)

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