$(P \implies Q) \lor (Q \implies R)$

$(P \land Q) \implies (P \oplus R)$

$(P \iff R) \lor (P \oplus R)$

$(P \implies Q) \land (Q \implies R) \implies (P \implies R)$