Mister Exam

Expression ¬((x⊕¬x)∧y)⇒y⇔(x∨¬x)

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