Mister Exam

Expression (P↔R)∧(Q↔S)∧(R∧~(~S))→(P∧Q)

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