Mister Exam

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

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