Mister Exam

Expression T→(((P→Q)→Q)∧(~P∧(~Q∨P)))

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