Mister Exam

Expression yv¬x⇒(yvz∨¬x)

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