Mister Exam

Expression ¬(¬(x&z)v(¬(xvy)&zvx&y))

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