[(a-b) u b] - [(a-b) u a] ......
We know that
and we also know that
using only the following laws: DeMorgan's, Complement, Distributive, Absorption... basically the main set theory laws.
I have attempted to do this but I'm running into some trouble trying to figure out how to move from the union of the two to the difference of the two.
Reply to dwsmith:
If you're in ZF set theory, set complements aren't allowed. In naive set theory, they are. Just a side note.
[EDIT]: Spelling of "complements", as per dwsmith's post below. What a nice set!