Mister Exam

Expression y(xvy)⇔(((xy)⊕¬(xvy))vxy)

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