Let A and B be sets. Show that the following equality holds: $$(A-B) \cup (B-A)=(A \cup B)-(A \cap B)$$
So, if one want to show that this equality holds via the tabluea method, one needs to translate the above into propositional logic.
Is the following translation correct? $$(A \wedge \neg B) \vee (B \wedge \neg A) \Leftrightarrow (A \vee B) \wedge (\neg A \wedge \neg B) $$