Mister Exam

Expression ¬(x→(y↓z))→((x→y)≡(x→z))

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