Thread: set property help

Am I correct in assuming:

using A-B = AnB'

(A-B)-C = (A-C)-B
(AnB') - C
(AnB')nC'
AnB'nC'
AnC'nB' <- is this legal?
(A-C)nB'
= (A-C)-B

Thanks for any help.

Originally Posted by dunsta

Am I correct in assuming:

using A-B = AnB'

(A-B)-C = (A-C)-B
(AnB') - C
(AnB')nC'
AnB'nC'
AnC'nB' <- is this legal?
(A-C)nB'
= (A-C)-B

Thanks for any help.

Yes, that's legal because is commutative ( ) and associative ( ).

Thus, you're correct in saying that



from which the desired result follows.

Does this make sense?

Thanks, i like to know I am doing things correctly and not just assuming I am.
I really appreciate your help and this forum!