Mister Exam

Expression ¬((X&Y)\/¬Z)→¬(X&Z)

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