Mister Exam

Expression F=¬(X\/(Y→Z))→¬Y

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