Mister Exam

Expression ¬(a∨¬b⇒(c∧b))⇒¬avc

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