Mister Exam

Expression (¬x∨(yz))⇒((¬zw)∨y)

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