Mister Exam

Expression ((x∨y)&¬x)v((xvy)&¬¬x)

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