Mister Exam

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

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