Mister Exam

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

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