Mister Exam

Expression ¬¬a+b+c⇒¬b

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