Hint to do Qn b and c. Note A-B = AnB'
Prove the following identities , for any sets A , B and C .
(a) (A u B) n ( B u C) N ( C u A )=( A n B ) u ( A n C ) u ( B n C )
(b) A n ( B - C) = ( A n B ) - ( A n C )
(c) ( A-B ) u B = A if and only if
Is there a way to prove all these besides illustrating them with a venn diagram or use examples .
Hello mathaddict
I've posted some notes on the Laws of Sets, with some worked examples on using them on Wikibooks (where I'm known as nigeltn35). You'll find them at Discrete mathematics/Set theory/Page 2 - Wikibooks, collection of open-content textbooks
Have a read through. If you still need some help with these examples, let me know.
Grandad
Thanks Grandad , i have read through the notes but i am still having some problems with these questions .
Prove :
(a) (A u B) n ( B u C) n ( C u A )=( A n B ) u ( A n C ) u ( B n C )
which laws can be applied to prove it ?
(b)Prove :
(A' n B n C) u {A' u (B n C')}' = (A n B') u (B n C)
My working :
(A' n B n C) u {A n (B n C')' } ------ De Morgan's law
= (A' n B n C) u {A n (B' u C) } ------ De Morgan's law
From here onwards , I am not sure what to do .
Hello mathaddict
These are really quite tricky, aren't they?
For the first one, begin by proving that , as follows:
, Identity Law
, Distributive Law
, Identity Law
, Identity Law. Call this equation (1).
Then:
, Commutative Law
, Distributive Law
, Distributive Law
, Distributive and Associative Laws
, from equation (1)
For the second one, look at the RHS: .
You'll see that it doesn't contain a term in , which the LHS does. So you must 'create' one, by using the fact that
I'll do the first two or three lines for you (but you supply the name of the Laws I'm using) - then you see if you can finish it. Your two uses of De Morgan's Law are correct - it's just that it's easier to finish with them, rather than starting with them. So:
You'll see that this gives us the term we want at the beginning, , so leave this alone! Now use the Distributive Law on the rest a couple of times, and with care you should be able to complete the proof.
I hope you can do it from here.
Grandad