命題論理の質問です。
解説書の例題を読んで理解できませんでした。

例題の論理式が恒真式であることを証明するものですが
この論理式が

(p∩q)∪(¬p∪¬q)＝(p∪¬p∪¬q)∩(q∪¬p∪¬q)

のように書かれていましたが、なぜこんな式に変形できるかがわかりません。
これは分配の法則をしようしたと考えていいのでしょうか？
どなたかご教示願います。