Professional Documents
Culture Documents
b) C × B × A -
{(x,0,a),(x,0,b),(x,0,c),(x,1,a),(x,1,b),(x,1,c),(y,0,a),(y,0,b),(y,0,c),(y,1,a),(y,1,b),(y,1,c)}
c) C × A × B -
{(0,a,x),(0,a,y),(0,b,x),(0,b,y),(0,c,x),(0,c,y),(1,a,x),(1,a,y),(1,b,x),(1,b,y),(1,c,x),(1,c,y)}
d) B × B × B - {(x,x,x),(x,x,y),(x,y,x),(x,y,y),(y,x,x),(y,x,y),(y,y,x),(y,y,y)}
7. A, B, and C are subsets of a set S. Prove the following set identities using the basic set
identities listed in this section. Give a reason for each step. State the dual of each of these
identities.
a. (A ∪ B) ∩ (A ∪ B′) = A – (A ∩ (B∪B’) = [using De Morgan’s Law]
- A ∩ S = [S is universal set B∪B’ = S]
- A = [ A ∴ A ⊆ S]
b. ([(A ∩ C ) ∩ B] ∪ [(A ∩ C ) ∩ B′]) ∪ (A ∩ C )′ = S – [(A∩)∩B] ∪ [B’ ∩(A∩C)] ∪ (A∩C)’
- [(A∩C) ∩ (B∪B’)] ∪ (A∩C)’ = [Apply De Morgan’s Law]
- [(A∩C) ∩ S] ∪ (A∩C)’
- [(A∩C) ∪ (A∩C)’] = [ ∴ A∩C ⊆ S]
- S = [S is universal set]
c. (A ∪ C ) ∩ [(A ∩ B) ∪ (C′ ∩ B)] = A ∩ B – (A ∪ C) ∩ (B ∩(A ∪ C’) = [Using De Morgan’s Law]
- (A ∪ C) ∩ B ∩ (A ∪ C’) = [By Commutative Property of Intersection of Sets]
- B ∩ (A ∪ C)∩(A ∪ C’) = [By Associativity]
- B ∩ [A ∪ (C∩C’)] = [De Morgan’s Law]
- B ∩ [A ∪ ϕ]
-B∩A=A∩B
d. A ∩ (B ∪ A′) = B ∩ A - A ∩ (B ∪ A′)
- (A ∩ B) ∪ (A ∩ A) = [Distributive Law]
- (A ∩ B) ∪ (ϕ) = [Intersection of A & A is empty since A ∪ A’ = S]
-A∩B
- B ∩ A = [Commutative Law]
- RHS = B ∩ A
e. (A ∪ B) − C = (A − C ) ∪ ( B − C ) – RHS = (A-C) ∪ (B-C)
- (A∩C’) ∪ (B∩C’) = [Get difference (A-B) = A∩B’
- (A∪B)∩C’ = [Distributive]
- RHS = (A∪B) – C = [Get difference]
- LHS = (A∪B) – C
f. (A − B) − C = (A − C ) – B – LHS = (A-B) – C
- LHS = (A∩B’) – C = [Get difference]
- LHS = (A∩B’) ∩ C’ = [Get difference]
- LHS = A∩(B’∩C’) = [Associative Law]
- LHS = A∩(C’∩B’) = [Commutative Law]
- LHS = (A∩C’)∩B’ = [Associative Law] - i
- RHS = (A-C)-B
- RHS = (A∩C’)-B = [Get difference]
- RHS = (A∩C’)∩B’ = [Get difference] - ii