Turn the statement 'either $X$ or $Y$' into an iterated composition.
I'm not sure if my answer is correct, can someone please check for me? :
$$\text{either }X\text{ or }Y \equiv (X\vee Y)\wedge (X\rightarrow (\sim Y))\wedge (Y\rightarrow (\sim X))$$
($\sim$ is negation)
EDIT: Also, can my answer be simplified?
EDIT2: This is now solved, but please feel free to post other solutions.
Thanks!
Hint Use set theory's $$A\triangle B=(A\setminus B)\cup (B\setminus A),$$ which is the same as $$A\triangle B=(A\cup B)\setminus(A\cap B).$$