Mister Exam

Expression ¬(xvyv¬(xvy))&¬(xvy)

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