In conjunctive normal form, exclusive disjunction is

\begin{equation*} (P \lor Q) \land (\lnot P \lor \lnot Q). \end{equation*}