Mister Exam

Expression (¬x∨1)∨(x→y)(¬x∨1)∨(x→y)

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