Mister Exam

Expression ¬(¬avb)→(avb→a)

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