There's a property (I don't know the name...) that says :
You can see it on a Venn diagram. If you add A and B, you'll add twice
This is why
denotes the complement - see here : Complement (set theory - Wikipedia, the free encyclopedia)
And we have
So :
...