a friend of mine asked me to look over some questions he was working on for practice, and I came across the question.
Prove the following Boolean expression:
$(X\lor(Y\leftrightarrow Z))\leftrightarrow((X \lor Y) \leftrightarrow (X \lor Z))$
I can't make head nor tail of it unfortunately, there were some minor typos earlier in the paper so I suspected this was the case, but replacing ($Y\leftrightarrow Z$) in the expression solves nothing, as writing the truth table for $X \lor Y$ and $X \lor Z$ show they are not equivalent regardless. At a loss so any help would be appreciated.
Apologies for not using MathJax, for some reason the logical operators were not converting properly.