Mister Exam

Expression ¬cv(a^c)v¬(avcv¬b)

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