Mister Exam

Expression (¬x∨z)∧(y→(u→x))

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