Mister Exam

Expression ¬y⇒(z⇔w)

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