Mister Exam

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

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