Thread: De Morgan's laws

The set (A\B)\C is equal for all sets A,B and C to one of the following sets:

i). A\(B C)
ii). A\(B\C)
iii). A\(B C)

Which one?

This question can be done using truth tables, but it would take a really long time!

I was wondering if there was a way to do it using De Morgan's laws. This is what i've done so far:

(A\B)\C=(A\B) =

I'm not sure where to go from here. I tried expanding the other expressions to see if I could get to this, but it hasn't worked.

Looks familiar, doesn't it?

lol, it does (and is):

=A\(B C)

So when you have an expression with all 's or 's you can change around the brackets? (ie. It's associative?)

Originally Posted by Showcase_22

So when you have an expression with all 's or 's you can change around the brackets? (ie. It's associative?)

Yes, it's associative.