With number 1
An(B\C)=(AnB)\(AnC)
I tried the following
An(B\C) = An(BnC') =(AnB)n(AnC') but this was as far as it seemed to go.
As for the others I think I've worked them out since posting
Greetings all. I was wondering if someone could give me some asistance on a few simple set theory proofs.
1) An(B\C)=(AnB)\(AnC)
2) A+(B+C)=(A+B)+C where + = symmetric difference
3) If A+B = A+C then B=C
and
4) An(B+C) = (AnB)+(AnC)