$P \lor \neg P$

$(P \land Q) \iff (Q \land P)$

$P \implies (Q \implies P)$

$P \oplus \neg P$