以下の等式を証明せよ。
x･¬y + y･¬z + z･¬x + x･y･x = x + y + z

(ブール代数の基礎の証明の問題です。双対原理とかって使ってもいいんですか？・・・)