Mister Exam

Expression ¬z&¬(x⇔y)⇒¬(y∨w)

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