Mister Exam

Expression (A∨B)∨C↔(~A∨B)∧(A∨C)

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