Mister Exam

Expression ¬(y→(x≡w))∧(z→x)

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