SlideShare a Scribd company logo
BOOLEAN ALGEBRA AND SETS
DEFINITION 1: A Boolean algebra is a set B with two binary operations sum (+, ∨, or ∪) and product (∗, ∧, or ∩)
such that:
B0. Closure Law
For any 𝑎, 𝑏 ⋲B, the sum 𝑎 + 𝑏 and the product 𝑎 ∗ 𝑏 exist and are unique elements in B.
B1. Commutative Law
𝑎 + 𝑏 = 𝑏 + 𝑎 and 𝑎 ∗ 𝑏 = 𝑏 ∗ 𝑎
B2. Associative Law
𝑎 + ( 𝑏 + 𝑐) = ( 𝑎 + 𝑏) + 𝑐 and 𝑎 ∗ ( 𝑏 ∗ 𝑐) = ( 𝑎 ∗ 𝑏) ∗ 𝑐
B3. Distributive Law
𝑎 + ( 𝑏 ∗ 𝑐) = ( 𝑎 + 𝑏) ∗ ( 𝑎 + 𝑐) and 𝑎 ∗ ( 𝑏 + 𝑐) = ( 𝑎 ∗ 𝑏) + (𝑎 ∗ 𝑐)
B4. Identity
An additive identity 0 and multiplicative identity 𝑈 exist such that for any 𝑎 ⋲ 𝐵, 𝑎 + 0 = 𝑎 and 𝑎 ∗ 𝑈 = 𝑎
B5. Complement
For any 𝑎 ⋲ 𝐵there exists 𝑎′ ⋲ 𝐵 called the complement of 𝑎 such that 𝑎 + 𝑎′ = 𝑈 and 𝑎 ∗ 𝑎′ = 0.
Examples:
1. Let B = {1, 0} and let two operations + and ∗ be defined as follows:
+ 1 0 ∗ 1 0
1 1 1 1 1 0
0 1 0 0 0 0
Then B, or more precisely the triplet (B, +, ∗), is a Boolean algebra.
2. Let 𝒜 be a family of sets that is closed under operation of union, intersection, and complement. Then ( 𝒜,∪,∩) is
a Boolean algebra.
3. Let 𝓑 the set of propositions generated by variables 𝑝, 𝑞,….Then (𝓑, ∨, ∧) is a Boolean algebra.
Exercise:
Show that Example 2 is a Boolean Algebra using sets A = {a, b, c} and set B = {d, e}.
DUALITY IN BOOLEAN ALGEBRA
By definition, the dual of any statement in a Boolean algebra (B, +, ∗) is the statement that is derived by
interchanging + and ∗, and their identity elements U and 0, in the original statement; for example, the dual of
(𝑈 + 𝑎) ∗ ( 𝑏 + 0) = 𝑏 is (0 ∗ 𝑎) + ( 𝑏 ∗ 𝑈) = 𝑏.
Principle of Duality: The dual of any theorem in a Boolean algebra is also a theorem.
BASIC THEOREMS
THEOREM 1 (Idempotent Law): (𝑖) 𝑎 + 0 = 𝑎 (𝑖𝑖) 𝑎 ∗ 𝑈 = 𝑎.
THEOREM 2: (𝑖)A ∪ A’ = U (𝑖𝑖)A ∩ A’ = ⌀.
THEOREM 3 (Involution Law): ( 𝑎′)′ = 𝑎
THEOREM 4: (𝑖) 𝑈′ = 0 (𝑖𝑖)0′ = 𝑈
THEOREM 5 (DeMorgan’s Law): (𝑖)( 𝑎 + 𝑏)′ = 𝑎′ ∗ 𝑏′(𝑖𝑖)( 𝑎 ∗ 𝑏)′ = 𝑎′ + 𝑏′
Exercise:
1. Prove Theorem 2: (𝑖) 𝑎 + 𝑈 = 𝑈 (𝑖𝑖) 𝑎 ∗ 0 = 0
2. Prove Theorem 4: (𝑖) 𝑈′ = 0 (𝑖𝑖) 0′ = 𝑈
ORDER IN A BOOLEAN ALGEBRA
THEOREM 6: Let 𝑎, 𝑏 ⋲ 𝐵, a Boolean algebra. Then the following conditions are equivalent:
(1) 𝑎 ∗ 𝑏′ = 0 (2)𝑎 + 𝑏 = 𝑏 (3)𝑎′ + 𝑏 = 𝑈 (4)𝑎 ∗ 𝑏 = 𝑎
DEFINITION 2: Let 𝑎, 𝑏 ⋲ 𝐵, a Boolean algebra. Then 𝑎 𝑝𝑟𝑒𝑐𝑒𝑑𝑒 𝑏, denoted by 𝑎 ≲ 𝑏, if one of the properties in
Theorem 6 holds.
Examples:
1. Consider a Boolean algebra of sets ( 𝒜,∪,∩). Then A precedes B means that A⊂B. In other words, Theorem 6
states that if A is a subset of B, then the following conditions hold:
(1) A ∩ B’ = ⌀ (2) A ∪ B = B (3) A’ ∪ B = U (4) A ∩ B = A
2. Consider a Boolean algebra of propositions (𝓑, ∨, ∧). Then p precedes q means that p logically implies q.
THEOREM 7: The relation in a Boolean algebra B defined by 𝑎 ≲ 𝑏 is a partial order in B.
(1) 𝑎 ≲ 𝑎 for every 𝑎 ⋲ 𝐵 (Reflexive Law)
(2) 𝑎 ≲ 𝑏 and 𝑏 ≲ 𝑎 implies 𝑎 = 𝑏 (Anti-symmetric Law)
(3) 𝑎 ≲ 𝑏 and 𝑏 ≲ 𝑐 implies 𝑎 ≲ 𝑐 (Transitive Law)
Exercise:
Prove Theorem 7.
SWITCHING CIRCUITS DESIGNS
Let A, B, … denote electrical switches, and let A and A’ denote switches with the property that if one is on then
the other is off, and vice versa. Two switches, say A and B, can be connected by wire in a series or parallel
combination as follows:
Series combination, A ∧ B Parallel combination, A ∨ B
A Boolean switching circuit design means an arrangement of wires and switches that can be constructed by
repeated use of series and parallel combinations; hence it can be described by the use of connectives ∧ and ∨.
Circuit (1) A ∧ (B ∨ A’) Circuit (2) (A ∧ B’) ∨ [(A ∨ C) ∧ B]
Now let 1 and 0 denote respectively, that a switch or a circuit is on and that a switch or circuit is off.
*The tables describe the behavior of a series circuit A ∧ B, parallel circuit A ∨ B, and the relationship between
switch A and switch A’.
THEOREM 8: The algebra of Boolean switching circuits is a Boolean algebra.
Exercise:
1. Using circuit (1) in the example, when will the circuit be on and when will the circuit be off?
2. Construct s circuit for (A ∨ B) ∧ C ∧ (A’ ∨ B’ ∨ C’)
Reference:
Lipschuts, S. (2005). Schaums outline of theory and problem of set theory and related topics. New York: McGraw-
Hill Publishing Inc.
Raymund T. de la Cruz
MAEd – Mathematics
A B A ∧ B A B A ∨ B A A'
1 1 1 1 1 1 1 0
1 0 0 1 0 1 0 1
0 1 0 0 1 1
0 0 0 0 0 0
A B
A
B
A
B
A’
C
A
B
A’
B’

More Related Content

What's hot

Problems on Coulmbs law
Problems on Coulmbs lawProblems on Coulmbs law
Problems on Coulmbs law
ABC CLASSES
 
Powder
PowderPowder
Sets
SetsSets
Chapter 12 vectors and the geometry of space merged
Chapter 12 vectors and the geometry of space mergedChapter 12 vectors and the geometry of space merged
Chapter 12 vectors and the geometry of space merged
EasyStudy3
 
Common fixed point theorems using faintly compatible
Common fixed point theorems using faintly compatibleCommon fixed point theorems using faintly compatible
Common fixed point theorems using faintly compatible
Alexander Decker
 
Lesson 2: Vectors and the Dot Product
Lesson 2: Vectors and the Dot ProductLesson 2: Vectors and the Dot Product
Lesson 2: Vectors and the Dot Product
Matthew Leingang
 
Toc chapter 1 srg
Toc chapter 1 srgToc chapter 1 srg
Toc chapter 1 srg
Shayak Giri
 
Jee advanced 2015 paper 2 code 3 answer key v1
Jee advanced 2015 paper 2 code 3 answer key v1Jee advanced 2015 paper 2 code 3 answer key v1
Jee advanced 2015 paper 2 code 3 answer key v1
Pradeep Kumar
 
A some basic rules of tensor calculus
A some basic rules of tensor calculusA some basic rules of tensor calculus
A some basic rules of tensor calculus
Tarun Gehlot
 
Sets (1)
Sets (1)Sets (1)
Sets (1)
MeghanaGhodake1
 
Ppt geo-d3-set operations
Ppt geo-d3-set operationsPpt geo-d3-set operations
Ppt geo-d3-set operations
Jay Vaughn Pelonio
 
Jee advanced 2015 paper 1 code 1 final
Jee advanced 2015 paper 1 code 1 final Jee advanced 2015 paper 1 code 1 final
Jee advanced 2015 paper 1 code 1 final
Pradeep Kumar
 
Week 6
Week 6Week 6
Week 6
EasyStudy3
 
Lec03
Lec03Lec03
Bound State Solution of the Klein–Gordon Equation for the Modified Screened C...
Bound State Solution of the Klein–Gordon Equation for the Modified Screened C...Bound State Solution of the Klein–Gordon Equation for the Modified Screened C...
Bound State Solution of the Klein–Gordon Equation for the Modified Screened C...
BRNSS Publication Hub
 
04 - Sets
04 - Sets04 - Sets
04 - Sets
Tudor Girba
 
Digital text book 11
Digital text book 11Digital text book 11
Digital text book 11
valsakumarpj
 
Week 7
Week 7Week 7
Week 7
EasyStudy3
 

What's hot (18)

Problems on Coulmbs law
Problems on Coulmbs lawProblems on Coulmbs law
Problems on Coulmbs law
 
Powder
PowderPowder
Powder
 
Sets
SetsSets
Sets
 
Chapter 12 vectors and the geometry of space merged
Chapter 12 vectors and the geometry of space mergedChapter 12 vectors and the geometry of space merged
Chapter 12 vectors and the geometry of space merged
 
Common fixed point theorems using faintly compatible
Common fixed point theorems using faintly compatibleCommon fixed point theorems using faintly compatible
Common fixed point theorems using faintly compatible
 
Lesson 2: Vectors and the Dot Product
Lesson 2: Vectors and the Dot ProductLesson 2: Vectors and the Dot Product
Lesson 2: Vectors and the Dot Product
 
Toc chapter 1 srg
Toc chapter 1 srgToc chapter 1 srg
Toc chapter 1 srg
 
Jee advanced 2015 paper 2 code 3 answer key v1
Jee advanced 2015 paper 2 code 3 answer key v1Jee advanced 2015 paper 2 code 3 answer key v1
Jee advanced 2015 paper 2 code 3 answer key v1
 
A some basic rules of tensor calculus
A some basic rules of tensor calculusA some basic rules of tensor calculus
A some basic rules of tensor calculus
 
Sets (1)
Sets (1)Sets (1)
Sets (1)
 
Ppt geo-d3-set operations
Ppt geo-d3-set operationsPpt geo-d3-set operations
Ppt geo-d3-set operations
 
Jee advanced 2015 paper 1 code 1 final
Jee advanced 2015 paper 1 code 1 final Jee advanced 2015 paper 1 code 1 final
Jee advanced 2015 paper 1 code 1 final
 
Week 6
Week 6Week 6
Week 6
 
Lec03
Lec03Lec03
Lec03
 
Bound State Solution of the Klein–Gordon Equation for the Modified Screened C...
Bound State Solution of the Klein–Gordon Equation for the Modified Screened C...Bound State Solution of the Klein–Gordon Equation for the Modified Screened C...
Bound State Solution of the Klein–Gordon Equation for the Modified Screened C...
 
04 - Sets
04 - Sets04 - Sets
04 - Sets
 
Digital text book 11
Digital text book 11Digital text book 11
Digital text book 11
 
Week 7
Week 7Week 7
Week 7
 

Viewers also liked

Set Algebra for Service Behavior
Set Algebra for Service BehaviorSet Algebra for Service Behavior
Set Algebra for Service Behavior
Universität Rostock
 
Complement of a set
Complement of a setComplement of a set
Complement of a set
Sarah Bumanglag
 
Mulleres e homes no mercado laboral
Mulleres e homes no mercado laboralMulleres e homes no mercado laboral
Mulleres e homes no mercado laboral
BertaLema
 
Php guvenlik
Php guvenlikPhp guvenlik
Php guvenlik
merve_p
 
CaSt 28102014 Bullies & Whipping Boys Korean School Amsterdam
CaSt 28102014 Bullies & Whipping Boys Korean School AmsterdamCaSt 28102014 Bullies & Whipping Boys Korean School Amsterdam
CaSt 28102014 Bullies & Whipping Boys Korean School Amsterdam
Dr. Carl H.D. Steinmetz
 
Identifying variables
Identifying variablesIdentifying variables
Identifying variables
Kiefer Sison
 
Education POG GGZ for InHolland
Education POG GGZ for InHollandEducation POG GGZ for InHolland
Education POG GGZ for InHolland
Dr. Carl H.D. Steinmetz
 
Trastornos por deterioro cognitivo griselda
Trastornos por deterioro cognitivo griseldaTrastornos por deterioro cognitivo griselda
Trastornos por deterioro cognitivo griselda
Griselda Muñoz Hernandez
 
CaSt 01122015 Een kijkje in de nieuwe wereld
CaSt 01122015 Een kijkje in de nieuwe wereldCaSt 01122015 Een kijkje in de nieuwe wereld
CaSt 01122015 Een kijkje in de nieuwe wereldDr. Carl H.D. Steinmetz
 
Sandalwood in Niue - An Overview
Sandalwood in Niue - An OverviewSandalwood in Niue - An Overview
Sandalwood in Niue - An Overview
YourAgri
 
Γιορτή 4ης Οκτωβριου1919
Γιορτή 4ης Οκτωβριου1919Γιορτή 4ης Οκτωβριου1919
Γιορτή 4ης Οκτωβριου1919
Ilias Koulalis
 
Pembuktian HHHC9801 Kemahiran Kreatif dan Inovatif
Pembuktian HHHC9801 Kemahiran Kreatif dan InovatifPembuktian HHHC9801 Kemahiran Kreatif dan Inovatif
Pembuktian HHHC9801 Kemahiran Kreatif dan Inovatif
Aleya Lokman
 
εργασια 1
εργασια 1εργασια 1
εργασια 1
Ilias Koulalis
 
Graph of linear equations
Graph of linear equationsGraph of linear equations
Graph of linear equations
Raymundo Raymund
 
Slachtofferhulp: ethnisch divers?
Slachtofferhulp: ethnisch divers?Slachtofferhulp: ethnisch divers?
Slachtofferhulp: ethnisch divers?
Dr. Carl H.D. Steinmetz
 
Math Analysis I
Math Analysis I Math Analysis I
Math Analysis I
Raymundo Raymund
 
Παγκόσμια Ημέρα Ασφαλούς Πλοήγησης στο Διαδίκτυο 2015
Παγκόσμια Ημέρα Ασφαλούς Πλοήγησης στο Διαδίκτυο 2015Παγκόσμια Ημέρα Ασφαλούς Πλοήγησης στο Διαδίκτυο 2015
Παγκόσμια Ημέρα Ασφαλούς Πλοήγησης στο Διαδίκτυο 2015
Ilias Koulalis
 
CaSt 30092015 Utrecht Opvoeden en Radicaliseren versie2
CaSt 30092015 Utrecht Opvoeden en Radicaliseren versie2CaSt 30092015 Utrecht Opvoeden en Radicaliseren versie2
CaSt 30092015 Utrecht Opvoeden en Radicaliseren versie2Dr. Carl H.D. Steinmetz
 
3 g by pasha
3 g by pasha3 g by pasha
3 g by pasha
Meraj Ahmad
 

Viewers also liked (20)

Set Algebra for Service Behavior
Set Algebra for Service BehaviorSet Algebra for Service Behavior
Set Algebra for Service Behavior
 
Complement of a set
Complement of a setComplement of a set
Complement of a set
 
Mulleres e homes no mercado laboral
Mulleres e homes no mercado laboralMulleres e homes no mercado laboral
Mulleres e homes no mercado laboral
 
Php guvenlik
Php guvenlikPhp guvenlik
Php guvenlik
 
CaSt 28102014 Bullies & Whipping Boys Korean School Amsterdam
CaSt 28102014 Bullies & Whipping Boys Korean School AmsterdamCaSt 28102014 Bullies & Whipping Boys Korean School Amsterdam
CaSt 28102014 Bullies & Whipping Boys Korean School Amsterdam
 
Identifying variables
Identifying variablesIdentifying variables
Identifying variables
 
Education POG GGZ for InHolland
Education POG GGZ for InHollandEducation POG GGZ for InHolland
Education POG GGZ for InHolland
 
Trastornos por deterioro cognitivo griselda
Trastornos por deterioro cognitivo griseldaTrastornos por deterioro cognitivo griselda
Trastornos por deterioro cognitivo griselda
 
CaSt 01122015 Een kijkje in de nieuwe wereld
CaSt 01122015 Een kijkje in de nieuwe wereldCaSt 01122015 Een kijkje in de nieuwe wereld
CaSt 01122015 Een kijkje in de nieuwe wereld
 
Sandalwood in Niue - An Overview
Sandalwood in Niue - An OverviewSandalwood in Niue - An Overview
Sandalwood in Niue - An Overview
 
Γιορτή 4ης Οκτωβριου1919
Γιορτή 4ης Οκτωβριου1919Γιορτή 4ης Οκτωβριου1919
Γιορτή 4ης Οκτωβριου1919
 
Pembuktian HHHC9801 Kemahiran Kreatif dan Inovatif
Pembuktian HHHC9801 Kemahiran Kreatif dan InovatifPembuktian HHHC9801 Kemahiran Kreatif dan Inovatif
Pembuktian HHHC9801 Kemahiran Kreatif dan Inovatif
 
εργασια 1
εργασια 1εργασια 1
εργασια 1
 
Graph of linear equations
Graph of linear equationsGraph of linear equations
Graph of linear equations
 
Slachtofferhulp: ethnisch divers?
Slachtofferhulp: ethnisch divers?Slachtofferhulp: ethnisch divers?
Slachtofferhulp: ethnisch divers?
 
Math Analysis I
Math Analysis I Math Analysis I
Math Analysis I
 
Παγκόσμια Ημέρα Ασφαλούς Πλοήγησης στο Διαδίκτυο 2015
Παγκόσμια Ημέρα Ασφαλούς Πλοήγησης στο Διαδίκτυο 2015Παγκόσμια Ημέρα Ασφαλούς Πλοήγησης στο Διαδίκτυο 2015
Παγκόσμια Ημέρα Ασφαλούς Πλοήγησης στο Διαδίκτυο 2015
 
CaSt 24012016 CvB Regio College
CaSt 24012016 CvB Regio CollegeCaSt 24012016 CvB Regio College
CaSt 24012016 CvB Regio College
 
CaSt 30092015 Utrecht Opvoeden en Radicaliseren versie2
CaSt 30092015 Utrecht Opvoeden en Radicaliseren versie2CaSt 30092015 Utrecht Opvoeden en Radicaliseren versie2
CaSt 30092015 Utrecht Opvoeden en Radicaliseren versie2
 
3 g by pasha
3 g by pasha3 g by pasha
3 g by pasha
 

Similar to Report on set theory

International Journal of Humanities and Social Science Invention (IJHSSI)
International Journal of Humanities and Social Science Invention (IJHSSI)International Journal of Humanities and Social Science Invention (IJHSSI)
International Journal of Humanities and Social Science Invention (IJHSSI)
inventionjournals
 
schaums-probability.pdf
schaums-probability.pdfschaums-probability.pdf
schaums-probability.pdf
Sahat Hutajulu
 
Set theory and Venn Diagram.docx
Set theory and Venn Diagram.docxSet theory and Venn Diagram.docx
Set theory and Venn Diagram.docx
RenierXanderUy
 
20200911-XI-Maths-Sets-2 of 2-Ppt.pdf
20200911-XI-Maths-Sets-2 of 2-Ppt.pdf20200911-XI-Maths-Sets-2 of 2-Ppt.pdf
20200911-XI-Maths-Sets-2 of 2-Ppt.pdf
MridulDhamija
 
Congruence Lattices of A Finite Uniform Lattices
Congruence Lattices of A Finite Uniform LatticesCongruence Lattices of A Finite Uniform Lattices
Congruence Lattices of A Finite Uniform Lattices
inventionjournals
 
Chapter2 (1).pptx
Chapter2 (1).pptxChapter2 (1).pptx
Chapter2 (1).pptx
MitKumar2
 
Top school in india
Top school in indiaTop school in india
Top school in india
Edhole.com
 
Solution Strategies for Equations that Arise in Geometric (Cliff ord) Algebra
Solution Strategies for Equations that Arise in Geometric (Clifford) AlgebraSolution Strategies for Equations that Arise in Geometric (Clifford) Algebra
Solution Strategies for Equations that Arise in Geometric (Cliff ord) Algebra
James Smith
 
Chpt 2-sets v.3
Chpt 2-sets v.3Chpt 2-sets v.3
Chpt 2-sets v.3
ShahidAkbar22
 
Sets.pdf
Sets.pdfSets.pdf
Sets.pdf
ahmadariyan977
 
SETS
SETSSETS
Set and Set operations, UITM KPPIM DUNGUN
Set and Set operations, UITM KPPIM DUNGUNSet and Set operations, UITM KPPIM DUNGUN
Set and Set operations, UITM KPPIM DUNGUN
baberexha
 
Mathematics Sets and Logic Week 1
Mathematics Sets and Logic Week 1Mathematics Sets and Logic Week 1
Mathematics Sets and Logic Week 1
Jasmine Jesse
 
Admission for mba
Admission for mbaAdmission for mba
Admission for mba
Edhole.com
 
BCA_Semester-II-Discrete Mathematics_unit-iii_Lattices and boolean algebra
BCA_Semester-II-Discrete Mathematics_unit-iii_Lattices and boolean algebraBCA_Semester-II-Discrete Mathematics_unit-iii_Lattices and boolean algebra
BCA_Semester-II-Discrete Mathematics_unit-iii_Lattices and boolean algebra
Rai University
 
Boolean alg1a
Boolean alg1aBoolean alg1a
Boolean alg1a
Rahul Sharma
 
Discrete mathematics notes
Discrete mathematics notesDiscrete mathematics notes
Discrete mathematics notes
josephndengeyingoma
 
discrete_BOOLEAN ALGEBRA
discrete_BOOLEAN ALGEBRAdiscrete_BOOLEAN ALGEBRA
discrete_BOOLEAN ALGEBRA
ZULFIQ RASHID
 
2.2 Set Operations
2.2 Set Operations2.2 Set Operations
2.2 Set Operations
showslidedump
 
Probability theory
Probability theoryProbability theory
Probability theory
warwickmorsesociety
 

Similar to Report on set theory (20)

International Journal of Humanities and Social Science Invention (IJHSSI)
International Journal of Humanities and Social Science Invention (IJHSSI)International Journal of Humanities and Social Science Invention (IJHSSI)
International Journal of Humanities and Social Science Invention (IJHSSI)
 
schaums-probability.pdf
schaums-probability.pdfschaums-probability.pdf
schaums-probability.pdf
 
Set theory and Venn Diagram.docx
Set theory and Venn Diagram.docxSet theory and Venn Diagram.docx
Set theory and Venn Diagram.docx
 
20200911-XI-Maths-Sets-2 of 2-Ppt.pdf
20200911-XI-Maths-Sets-2 of 2-Ppt.pdf20200911-XI-Maths-Sets-2 of 2-Ppt.pdf
20200911-XI-Maths-Sets-2 of 2-Ppt.pdf
 
Congruence Lattices of A Finite Uniform Lattices
Congruence Lattices of A Finite Uniform LatticesCongruence Lattices of A Finite Uniform Lattices
Congruence Lattices of A Finite Uniform Lattices
 
Chapter2 (1).pptx
Chapter2 (1).pptxChapter2 (1).pptx
Chapter2 (1).pptx
 
Top school in india
Top school in indiaTop school in india
Top school in india
 
Solution Strategies for Equations that Arise in Geometric (Cliff ord) Algebra
Solution Strategies for Equations that Arise in Geometric (Clifford) AlgebraSolution Strategies for Equations that Arise in Geometric (Clifford) Algebra
Solution Strategies for Equations that Arise in Geometric (Cliff ord) Algebra
 
Chpt 2-sets v.3
Chpt 2-sets v.3Chpt 2-sets v.3
Chpt 2-sets v.3
 
Sets.pdf
Sets.pdfSets.pdf
Sets.pdf
 
SETS
SETSSETS
SETS
 
Set and Set operations, UITM KPPIM DUNGUN
Set and Set operations, UITM KPPIM DUNGUNSet and Set operations, UITM KPPIM DUNGUN
Set and Set operations, UITM KPPIM DUNGUN
 
Mathematics Sets and Logic Week 1
Mathematics Sets and Logic Week 1Mathematics Sets and Logic Week 1
Mathematics Sets and Logic Week 1
 
Admission for mba
Admission for mbaAdmission for mba
Admission for mba
 
BCA_Semester-II-Discrete Mathematics_unit-iii_Lattices and boolean algebra
BCA_Semester-II-Discrete Mathematics_unit-iii_Lattices and boolean algebraBCA_Semester-II-Discrete Mathematics_unit-iii_Lattices and boolean algebra
BCA_Semester-II-Discrete Mathematics_unit-iii_Lattices and boolean algebra
 
Boolean alg1a
Boolean alg1aBoolean alg1a
Boolean alg1a
 
Discrete mathematics notes
Discrete mathematics notesDiscrete mathematics notes
Discrete mathematics notes
 
discrete_BOOLEAN ALGEBRA
discrete_BOOLEAN ALGEBRAdiscrete_BOOLEAN ALGEBRA
discrete_BOOLEAN ALGEBRA
 
2.2 Set Operations
2.2 Set Operations2.2 Set Operations
2.2 Set Operations
 
Probability theory
Probability theoryProbability theory
Probability theory
 

Recently uploaded

RPMS TEMPLATE FOR SCHOOL YEAR 2023-2024 FOR TEACHER 1 TO TEACHER 3
RPMS TEMPLATE FOR SCHOOL YEAR 2023-2024 FOR TEACHER 1 TO TEACHER 3RPMS TEMPLATE FOR SCHOOL YEAR 2023-2024 FOR TEACHER 1 TO TEACHER 3
RPMS TEMPLATE FOR SCHOOL YEAR 2023-2024 FOR TEACHER 1 TO TEACHER 3
IreneSebastianRueco1
 
The basics of sentences session 5pptx.pptx
The basics of sentences session 5pptx.pptxThe basics of sentences session 5pptx.pptx
The basics of sentences session 5pptx.pptx
heathfieldcps1
 
PIMS Job Advertisement 2024.pdf Islamabad
PIMS Job Advertisement 2024.pdf IslamabadPIMS Job Advertisement 2024.pdf Islamabad
PIMS Job Advertisement 2024.pdf Islamabad
AyyanKhan40
 
Main Java[All of the Base Concepts}.docx
Main Java[All of the Base Concepts}.docxMain Java[All of the Base Concepts}.docx
Main Java[All of the Base Concepts}.docx
adhitya5119
 
South African Journal of Science: Writing with integrity workshop (2024)
South African Journal of Science: Writing with integrity workshop (2024)South African Journal of Science: Writing with integrity workshop (2024)
South African Journal of Science: Writing with integrity workshop (2024)
Academy of Science of South Africa
 
PCOS corelations and management through Ayurveda.
PCOS corelations and management through Ayurveda.PCOS corelations and management through Ayurveda.
PCOS corelations and management through Ayurveda.
Dr. Shivangi Singh Parihar
 
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdfবাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
eBook.com.bd (প্রয়োজনীয় বাংলা বই)
 
Advanced Java[Extra Concepts, Not Difficult].docx
Advanced Java[Extra Concepts, Not Difficult].docxAdvanced Java[Extra Concepts, Not Difficult].docx
Advanced Java[Extra Concepts, Not Difficult].docx
adhitya5119
 
Hindi varnamala | hindi alphabet PPT.pdf
Hindi varnamala | hindi alphabet PPT.pdfHindi varnamala | hindi alphabet PPT.pdf
Hindi varnamala | hindi alphabet PPT.pdf
Dr. Mulla Adam Ali
 
writing about opinions about Australia the movie
writing about opinions about Australia the moviewriting about opinions about Australia the movie
writing about opinions about Australia the movie
Nicholas Montgomery
 
CACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdfCACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdf
camakaiclarkmusic
 
World environment day ppt For 5 June 2024
World environment day ppt For 5 June 2024World environment day ppt For 5 June 2024
World environment day ppt For 5 June 2024
ak6969907
 
How to Add Chatter in the odoo 17 ERP Module
How to Add Chatter in the odoo 17 ERP ModuleHow to Add Chatter in the odoo 17 ERP Module
How to Add Chatter in the odoo 17 ERP Module
Celine George
 
Your Skill Boost Masterclass: Strategies for Effective Upskilling
Your Skill Boost Masterclass: Strategies for Effective UpskillingYour Skill Boost Masterclass: Strategies for Effective Upskilling
Your Skill Boost Masterclass: Strategies for Effective Upskilling
Excellence Foundation for South Sudan
 
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Dr. Vinod Kumar Kanvaria
 
Digital Artifact 1 - 10VCD Environments Unit
Digital Artifact 1 - 10VCD Environments UnitDigital Artifact 1 - 10VCD Environments Unit
Digital Artifact 1 - 10VCD Environments Unit
chanes7
 
Smart-Money for SMC traders good time and ICT
Smart-Money for SMC traders good time and ICTSmart-Money for SMC traders good time and ICT
Smart-Money for SMC traders good time and ICT
simonomuemu
 
Life upper-Intermediate B2 Workbook for student
Life upper-Intermediate B2 Workbook for studentLife upper-Intermediate B2 Workbook for student
Life upper-Intermediate B2 Workbook for student
NgcHiNguyn25
 
ISO/IEC 27001, ISO/IEC 42001, and GDPR: Best Practices for Implementation and...
ISO/IEC 27001, ISO/IEC 42001, and GDPR: Best Practices for Implementation and...ISO/IEC 27001, ISO/IEC 42001, and GDPR: Best Practices for Implementation and...
ISO/IEC 27001, ISO/IEC 42001, and GDPR: Best Practices for Implementation and...
PECB
 
The History of Stoke Newington Street Names
The History of Stoke Newington Street NamesThe History of Stoke Newington Street Names
The History of Stoke Newington Street Names
History of Stoke Newington
 

Recently uploaded (20)

RPMS TEMPLATE FOR SCHOOL YEAR 2023-2024 FOR TEACHER 1 TO TEACHER 3
RPMS TEMPLATE FOR SCHOOL YEAR 2023-2024 FOR TEACHER 1 TO TEACHER 3RPMS TEMPLATE FOR SCHOOL YEAR 2023-2024 FOR TEACHER 1 TO TEACHER 3
RPMS TEMPLATE FOR SCHOOL YEAR 2023-2024 FOR TEACHER 1 TO TEACHER 3
 
The basics of sentences session 5pptx.pptx
The basics of sentences session 5pptx.pptxThe basics of sentences session 5pptx.pptx
The basics of sentences session 5pptx.pptx
 
PIMS Job Advertisement 2024.pdf Islamabad
PIMS Job Advertisement 2024.pdf IslamabadPIMS Job Advertisement 2024.pdf Islamabad
PIMS Job Advertisement 2024.pdf Islamabad
 
Main Java[All of the Base Concepts}.docx
Main Java[All of the Base Concepts}.docxMain Java[All of the Base Concepts}.docx
Main Java[All of the Base Concepts}.docx
 
South African Journal of Science: Writing with integrity workshop (2024)
South African Journal of Science: Writing with integrity workshop (2024)South African Journal of Science: Writing with integrity workshop (2024)
South African Journal of Science: Writing with integrity workshop (2024)
 
PCOS corelations and management through Ayurveda.
PCOS corelations and management through Ayurveda.PCOS corelations and management through Ayurveda.
PCOS corelations and management through Ayurveda.
 
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdfবাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
বাংলাদেশ অর্থনৈতিক সমীক্ষা (Economic Review) ২০২৪ UJS App.pdf
 
Advanced Java[Extra Concepts, Not Difficult].docx
Advanced Java[Extra Concepts, Not Difficult].docxAdvanced Java[Extra Concepts, Not Difficult].docx
Advanced Java[Extra Concepts, Not Difficult].docx
 
Hindi varnamala | hindi alphabet PPT.pdf
Hindi varnamala | hindi alphabet PPT.pdfHindi varnamala | hindi alphabet PPT.pdf
Hindi varnamala | hindi alphabet PPT.pdf
 
writing about opinions about Australia the movie
writing about opinions about Australia the moviewriting about opinions about Australia the movie
writing about opinions about Australia the movie
 
CACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdfCACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdf
 
World environment day ppt For 5 June 2024
World environment day ppt For 5 June 2024World environment day ppt For 5 June 2024
World environment day ppt For 5 June 2024
 
How to Add Chatter in the odoo 17 ERP Module
How to Add Chatter in the odoo 17 ERP ModuleHow to Add Chatter in the odoo 17 ERP Module
How to Add Chatter in the odoo 17 ERP Module
 
Your Skill Boost Masterclass: Strategies for Effective Upskilling
Your Skill Boost Masterclass: Strategies for Effective UpskillingYour Skill Boost Masterclass: Strategies for Effective Upskilling
Your Skill Boost Masterclass: Strategies for Effective Upskilling
 
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
 
Digital Artifact 1 - 10VCD Environments Unit
Digital Artifact 1 - 10VCD Environments UnitDigital Artifact 1 - 10VCD Environments Unit
Digital Artifact 1 - 10VCD Environments Unit
 
Smart-Money for SMC traders good time and ICT
Smart-Money for SMC traders good time and ICTSmart-Money for SMC traders good time and ICT
Smart-Money for SMC traders good time and ICT
 
Life upper-Intermediate B2 Workbook for student
Life upper-Intermediate B2 Workbook for studentLife upper-Intermediate B2 Workbook for student
Life upper-Intermediate B2 Workbook for student
 
ISO/IEC 27001, ISO/IEC 42001, and GDPR: Best Practices for Implementation and...
ISO/IEC 27001, ISO/IEC 42001, and GDPR: Best Practices for Implementation and...ISO/IEC 27001, ISO/IEC 42001, and GDPR: Best Practices for Implementation and...
ISO/IEC 27001, ISO/IEC 42001, and GDPR: Best Practices for Implementation and...
 
The History of Stoke Newington Street Names
The History of Stoke Newington Street NamesThe History of Stoke Newington Street Names
The History of Stoke Newington Street Names
 

Report on set theory

  • 1. BOOLEAN ALGEBRA AND SETS DEFINITION 1: A Boolean algebra is a set B with two binary operations sum (+, ∨, or ∪) and product (∗, ∧, or ∩) such that: B0. Closure Law For any 𝑎, 𝑏 ⋲B, the sum 𝑎 + 𝑏 and the product 𝑎 ∗ 𝑏 exist and are unique elements in B. B1. Commutative Law 𝑎 + 𝑏 = 𝑏 + 𝑎 and 𝑎 ∗ 𝑏 = 𝑏 ∗ 𝑎 B2. Associative Law 𝑎 + ( 𝑏 + 𝑐) = ( 𝑎 + 𝑏) + 𝑐 and 𝑎 ∗ ( 𝑏 ∗ 𝑐) = ( 𝑎 ∗ 𝑏) ∗ 𝑐 B3. Distributive Law 𝑎 + ( 𝑏 ∗ 𝑐) = ( 𝑎 + 𝑏) ∗ ( 𝑎 + 𝑐) and 𝑎 ∗ ( 𝑏 + 𝑐) = ( 𝑎 ∗ 𝑏) + (𝑎 ∗ 𝑐) B4. Identity An additive identity 0 and multiplicative identity 𝑈 exist such that for any 𝑎 ⋲ 𝐵, 𝑎 + 0 = 𝑎 and 𝑎 ∗ 𝑈 = 𝑎 B5. Complement For any 𝑎 ⋲ 𝐵there exists 𝑎′ ⋲ 𝐵 called the complement of 𝑎 such that 𝑎 + 𝑎′ = 𝑈 and 𝑎 ∗ 𝑎′ = 0. Examples: 1. Let B = {1, 0} and let two operations + and ∗ be defined as follows: + 1 0 ∗ 1 0 1 1 1 1 1 0 0 1 0 0 0 0 Then B, or more precisely the triplet (B, +, ∗), is a Boolean algebra. 2. Let 𝒜 be a family of sets that is closed under operation of union, intersection, and complement. Then ( 𝒜,∪,∩) is a Boolean algebra. 3. Let 𝓑 the set of propositions generated by variables 𝑝, 𝑞,….Then (𝓑, ∨, ∧) is a Boolean algebra. Exercise: Show that Example 2 is a Boolean Algebra using sets A = {a, b, c} and set B = {d, e}. DUALITY IN BOOLEAN ALGEBRA By definition, the dual of any statement in a Boolean algebra (B, +, ∗) is the statement that is derived by interchanging + and ∗, and their identity elements U and 0, in the original statement; for example, the dual of (𝑈 + 𝑎) ∗ ( 𝑏 + 0) = 𝑏 is (0 ∗ 𝑎) + ( 𝑏 ∗ 𝑈) = 𝑏. Principle of Duality: The dual of any theorem in a Boolean algebra is also a theorem.
  • 2. BASIC THEOREMS THEOREM 1 (Idempotent Law): (𝑖) 𝑎 + 0 = 𝑎 (𝑖𝑖) 𝑎 ∗ 𝑈 = 𝑎. THEOREM 2: (𝑖)A ∪ A’ = U (𝑖𝑖)A ∩ A’ = ⌀. THEOREM 3 (Involution Law): ( 𝑎′)′ = 𝑎 THEOREM 4: (𝑖) 𝑈′ = 0 (𝑖𝑖)0′ = 𝑈 THEOREM 5 (DeMorgan’s Law): (𝑖)( 𝑎 + 𝑏)′ = 𝑎′ ∗ 𝑏′(𝑖𝑖)( 𝑎 ∗ 𝑏)′ = 𝑎′ + 𝑏′ Exercise: 1. Prove Theorem 2: (𝑖) 𝑎 + 𝑈 = 𝑈 (𝑖𝑖) 𝑎 ∗ 0 = 0 2. Prove Theorem 4: (𝑖) 𝑈′ = 0 (𝑖𝑖) 0′ = 𝑈 ORDER IN A BOOLEAN ALGEBRA THEOREM 6: Let 𝑎, 𝑏 ⋲ 𝐵, a Boolean algebra. Then the following conditions are equivalent: (1) 𝑎 ∗ 𝑏′ = 0 (2)𝑎 + 𝑏 = 𝑏 (3)𝑎′ + 𝑏 = 𝑈 (4)𝑎 ∗ 𝑏 = 𝑎 DEFINITION 2: Let 𝑎, 𝑏 ⋲ 𝐵, a Boolean algebra. Then 𝑎 𝑝𝑟𝑒𝑐𝑒𝑑𝑒 𝑏, denoted by 𝑎 ≲ 𝑏, if one of the properties in Theorem 6 holds. Examples: 1. Consider a Boolean algebra of sets ( 𝒜,∪,∩). Then A precedes B means that A⊂B. In other words, Theorem 6 states that if A is a subset of B, then the following conditions hold: (1) A ∩ B’ = ⌀ (2) A ∪ B = B (3) A’ ∪ B = U (4) A ∩ B = A 2. Consider a Boolean algebra of propositions (𝓑, ∨, ∧). Then p precedes q means that p logically implies q. THEOREM 7: The relation in a Boolean algebra B defined by 𝑎 ≲ 𝑏 is a partial order in B. (1) 𝑎 ≲ 𝑎 for every 𝑎 ⋲ 𝐵 (Reflexive Law) (2) 𝑎 ≲ 𝑏 and 𝑏 ≲ 𝑎 implies 𝑎 = 𝑏 (Anti-symmetric Law) (3) 𝑎 ≲ 𝑏 and 𝑏 ≲ 𝑐 implies 𝑎 ≲ 𝑐 (Transitive Law) Exercise: Prove Theorem 7.
  • 3. SWITCHING CIRCUITS DESIGNS Let A, B, … denote electrical switches, and let A and A’ denote switches with the property that if one is on then the other is off, and vice versa. Two switches, say A and B, can be connected by wire in a series or parallel combination as follows: Series combination, A ∧ B Parallel combination, A ∨ B A Boolean switching circuit design means an arrangement of wires and switches that can be constructed by repeated use of series and parallel combinations; hence it can be described by the use of connectives ∧ and ∨. Circuit (1) A ∧ (B ∨ A’) Circuit (2) (A ∧ B’) ∨ [(A ∨ C) ∧ B] Now let 1 and 0 denote respectively, that a switch or a circuit is on and that a switch or circuit is off. *The tables describe the behavior of a series circuit A ∧ B, parallel circuit A ∨ B, and the relationship between switch A and switch A’. THEOREM 8: The algebra of Boolean switching circuits is a Boolean algebra. Exercise: 1. Using circuit (1) in the example, when will the circuit be on and when will the circuit be off? 2. Construct s circuit for (A ∨ B) ∧ C ∧ (A’ ∨ B’ ∨ C’) Reference: Lipschuts, S. (2005). Schaums outline of theory and problem of set theory and related topics. New York: McGraw- Hill Publishing Inc. Raymund T. de la Cruz MAEd – Mathematics A B A ∧ B A B A ∨ B A A' 1 1 1 1 1 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 A B A B A B A’ C A B A’ B’