Mister Exam

Expression ¬(x∨y)∨(¬z∧y(x∨y))

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