Mister Exam

Expression A∧(A→B)→B

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