Title does not display the proof because the formula would break the character limit.
Presently working on proving the following identity:
$(\lnot P \lor Q)\land(\lnot Q \lor R) \equiv (\lnot P \lor R) \land[(P \leftrightarrow Q) \lor (R \leftrightarrow Q)]$
I tried applying the distributivity of the disjunction over the two biconditional statements on the RHS hoping it would lead somewhere, but after a lot of writing it seemed I'd only needlessly complicated the problem. I'm working off the assumption that most of the work needs to be done to the RHS.