Mister Exam

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

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