![]() |
VOOZH | about |
Solution:
To prove:
Aβ β Bβ = B β A
Firstly show that
Aβ β Bβ β B β A
Let, x β Aβ β Bβ
β x β Aβ and x β Bβ
β x β A and x β B (since, A β© Aβ = Ο)
β x β B β A
It is true for all x β Aβ β Bβ
Therefore,
Aβ β Bβ = B β A
Hence, Proved.
Solution:
(i) A β© (Aβ βͺ B) = A β© B
Here, LHS A β© (Aβ βͺ B)
Upon expanding
(A β© Aβ) βͺ (A β© B)
We know, (A β© Aβ) =Ο
β Ο βͺ (Aβ© B)
β (A β© B)
Therefore,
LHS = RHS
Hence, proved.
(ii) A β (A β B) = A β© B
For any sets A and B we have De-Morganβs law
(A βͺ B)β = Aβ β© Bβ, (A β© B) β = Aβ βͺ Bβ
Take LHS
= A β (AβB)
= A β© (AβB)β
= A β© (Aβ©Bβ)β
= A β© (Aβ βͺ Bβ)β) (since, (Bβ)β = B)
= A β© (Aβ βͺ B)
= (A β© Aβ) βͺ (A β© B)
= Ο βͺ (A β© B) (since, A β© Aβ = Ο)
= (A β© B) (since, Ο βͺ x = x, for any set)
= RHS
Therefore,
LHS = RHS
Hence, proved.
(iii) A β© (A βͺ Bβ) = Ο
Here, LHS A β© (A βͺ Bβ)
= A β© (A βͺ Bβ)
= A β© (Aββ© Bβ) {By DeβMorganβs law}
= (A β© Aβ) β© Bβ (since, A β© Aβ = Ο)
= Ο β© Bβ
= Ο (since, Ο β© Bβ = Ο)
= RHS
Therefore,
LHS = RHS
Hence, proved.
(iv) A β B = A Ξ (A β© B)
Here, RHS A Ξ (A β© B)
A Ξ (A β© B) (since, E Ξ F = (EβF) βͺ (FβE))
= (A β (A β© B)) βͺ (A β© B βA) (since, E β F = E β© Fβ)
= (A β© (A β© B)β) βͺ (A β© B β© Aβ)
= (A β© (Aβ βͺ Bβ)) βͺ (A β© Aβ β© B) {by using De-Morganβs law and associative law}
= (A β© Aβ) βͺ (A β© Bβ) βͺ (Ο β© B) (by using distributive law)
= Ο βͺ (A β© Bβ) βͺ Ο
= A β© Bβ (since, A β© Bβ = A β B)
= A β B
= LHS
Therefore,
LHS = RHS
Hence, Proved
Solution:
Given: A β B
To prove: C β B β C β A
Let's assume, x β C β B
β x β C and x β B
β x β C and x β A
β x β C β A
Thus, x β CβB β x β C β A
This is true for all x β C β B
Therefore,
C β B β C β A
Hence, proved.
Solution:
(i) (A βͺ B) β B = A β B
Let's assume LHS (A βͺ B) β B
= (AβB) βͺ (BβB)
= (AβB) βͺ Ο (since, BβB = Ο)
= AβB (since, x βͺ Ο = x for any set)
= RHS
Hence, proved.
(ii) A β (A β© B) = A β B
Let's assume LHS A β (A β© B)
= (AβA) β© (AβB)
= Ο β© (A β B) (since, A-A = Ο)
= A β B
= RHS
Hence, proved.
(iii) A β (A β B) = A β© B
Let's assume LHS A β (A β B)
Let, x β A β (AβB) = x β A and x β (AβB)
x β A and x β (A β© B)
= x β A β© (A β© B)
= x β (A β© B)
= (A β© B)
= RHS
Hence, proved.
(iv) A βͺ (B β A) = A βͺ B
Let's assume LHS A βͺ (B β A)
Let, x β A βͺ (B βA) β x β A or x β (B β A)
β x β A or x β B and x β A
β x β B
β x β (A βͺ B) (since, B β (A βͺ B))
This is true for all x β A βͺ (BβA)
β΄ A βͺ (BβA) β (A βͺ B) ---(equation 1)
Contrarily,
Let x β (A βͺ B) β x β A or x β B
β x β A or x β (BβA) (since, B β (A βͺ B))
β x β A βͺ (BβA)
β΄ (A βͺ B) β A βͺ (BβA) ---(equation 2)
From equation 1 and 2 we get,
A βͺ (B β A) = A βͺ B
Hence, proved.
(v) (A β B) βͺ (A β© B) = A
Let's assume LHS (A β B) βͺ (A β© B)
Let, x β A
Then either x β (AβB) or x β (A β© B)
β x β (AβB) βͺ (A β© B)
β΄ A β (A β B) βͺ (A β© B) ---(equation 1)
Contrarily,
Let x β (AβB) βͺ (A β© B)
β x β (AβB) or x β (A β© B)
β x β A and x β B or x β B
β x β A
(AβB) βͺ (A β© B) β A ---(equation 2)
β΄ From equation (1) and (2), We get
(AβB) βͺ (A β© B) = A
Hence, proved