SlideShare a Scribd company logo
Top school in India
By:
school.edhole.com
Lattice
and
Boolean Algebra
school.edhole.com
Lattice and Boolean Algebra Slide 3
Algebra
• An algebraic system is defined by the tuple
〈A,o1, …, ok; R1, …, Rm; c1, … ck〉, where, A is a
non-empty set, oi is a function Api →A, pi is a
positive integer, Rj is a relation on A, and ci is
an element of A.
school.edhole.com
Lattice and Boolean Algebra Slide 4
Lattice
• The lattice is an algebraic system 〈A, ∨, ⋅〉,
given a,b,c in A, the following axioms are
satisfied:
1. Idempotent laws: a ∨ a = a, a ⋅ a = a;
2. Commutative laws: a ∨ b = b ∨ a, a ⋅ b = b ⋅ a
3. Associative laws: a ∨ (b ∨ c) = (a ∨ b) ∨ c,
a ⋅ (b ⋅ c) = (a ⋅ b) ⋅ c
4. Absorption laws: a ∨ (a ⋅ b) = a, a ⋅ (a ∨ b) = a
school.edhole.com
Lattice and Boolean Algebra Slide 5
Lattice - Example
• Let A={1,2,3,6}.
• Let a ∨ b be the least common multiple
• Let a ∧ b be the greatest common divisor
• Then, the algebraic system 〈A, ∨, ∧〉 satisfies
the axioms of the lattice.
school.edhole.com
Lattice and Boolean Algebra Slide 6
Distributive Lattice
• The lattice 〈A, ∨, ⋅〉 satisfying the following
axiom is a distributive lattice
5. Distributive laws: a ∨ (b ⋅ c) = (a ∨ b) ⋅ (a ∨ c),
a ⋅ (b ∨ c) = (a ⋅ b) ∨ (a ⋅ c)
school.edhole.com
Lattice and Boolean Algebra Slide 7
Examples
distributive
non-distributive
a⋅(b∨c)≠a⋅b∨a⋅c
school.edhole.com
Lattice and Boolean Algebra Slide 8
Complemented Lattice
• Let a lattice 〈A, ∨, ⋅〉 have a maximum
element 1 and a minimum element 0. For any
element a in A, if there exists an element xa
such that a ∨ xa = 1 and a ⋅ xa = 0, then the
lattice is a complemented lattice.
• Find complements in the previous example
school.edhole.com
Lattice and Boolean Algebra Slide 9
Boolean Algebra
• Let B be a set with at least two elements 0 and 1.
Let two binary operations ∨ and ⋅, and a unary
operation  are defined on B. The algebraic system
〈B, ∨, ⋅ , , 0,1〉 is a Boolean algebra, if the
following postulates are satisfied:
1. Idempotent laws: a ∨ a = a, a ⋅ a = a;
2. Commutative laws: a ∨ b = b ∨ a, a ⋅ b = b ⋅ a
3. Associative laws: a ∨ (b ∨ c) = (a ∨ b) ∨ c,
a ⋅ (b ⋅ c) = (a ⋅ b) ⋅ c
4. Absorption laws: a ∨ (a ⋅ b) = a, a ⋅ (a ∨ b) = a
5. Distributive laws: a ∨ (b ⋅ c) = (a ∨ b) ⋅ (a ∨ c),
a ⋅ (b ∨ c) = (a ⋅ b) ∨ (a ⋅ c)
school.edhole.com
Lattice and Boolean Algebra Slide 10
Boolean Algebra
6. Involution:
7. Complements: a ∨ a = 1, a ⋅ a = 0;
8. Identities: a ∨ 0 = a, a ⋅ 1 = a;
9. a ∨ 1 = 1, a ⋅ 0 = 0;
10.De Morgan’s laws:
a=a
a∨b=a⋅b
a⋅b=a∨b
school.edhole.com
Lattice and Boolean Algebra Slide 11
Huntington’s Postulates
• To verify whether a given algebra is a
Boolean algebra we only need to check 4
postulates:
1. Identities
2. Commutative laws
3. Distributive laws
4. Complements
school.edhole.com
Lattice and Boolean Algebra Slide 12
Example
• prove the idempotent laws given
Huntington’s postulates:
a = a ∨ 0
= a ∨ a⋅a
= (a ∨ a) ⋅ (a ∨ a)
= (a ∨ a) ⋅ 1
= a ∨ a
school.edhole.com
Lattice and Boolean Algebra Slide 13
Models of Boolean Algebra
• Boolean Algebra over {0,1}
B={0,1}. 〈B, ∨, ⋅ , , 0,1〉
• Boolean Algebra over Boolean Vectors
Bn
= {(a1, a2, … , an) | ai ∈ {0,1}}
Let a=(a1, a2, … , an) and b = (b1, b2, … , bn) ∈ Bn
define
a ∨ b = (a1 ∨ b1, a2 ∨ b2, … , an ∨ bn)
a ⋅ b = (a1 ⋅ b1, a2 ⋅ b2, … , an ⋅ bn)
a=(a1, a2, … , an)
then 〈Bn
, ∨, ⋅ , , 0,1〉 is a Boolean algebra, where,
0 = (0,0, …, 0) and 1 = (1,1, …, 1)
• Boolean Algebra over Power Set
school.edhole.com
Lattice and Boolean Algebra Slide 14
Examples
B3 P({a,b,c}) {n ∈ Ν| n|30}
school.edhole.com
Lattice and Boolean Algebra Slide 15
Isomorphic Boolean Algebra
• Two Boolean algebras 〈A, ∨, ⋅ , , 0A,1A〉 and
〈B, ∨, ⋅ , , 0B,1B〉 are isomorphic iff there is
a mapping f:A→B, such that
1. for arbitrary a,b ∈ A, f(a∨b) = f(a)∨f(b),
f(a ⋅ b) = f(a) ⋅ f(b), and f(a) = f(a)
2. f(0A ) = 0B and f(1A ) = 1B
An arbitrary finite Boolean algebra is
isomorphic to the Boolean algebra
〈Bn
, ∨, ⋅ , , 0,1〉
Question: define the mappings for the previous
slide.school.edhole.com
Lattice and Boolean Algebra Slide 16
De Morgan’s Theorem
• De Morgan’s Laws hold
• These equations can be generalized
a∨b=a⋅b
a⋅b=a∨b
x1∨x2∨K∨xn=x1⋅x2⋅K⋅xn
x1⋅x2⋅K⋅xn=x1∨x2∨K∨xn
school.edhole.com
Lattice and Boolean Algebra Slide 17
Definition
• Let 〈Bn
, ∨, ⋅ , , 0,1〉 be a Boolean algebra.
The variable that takes arbitrary values in the
set B is a Boolean variable. The expression
that is obtained from the Boolean variables
and constants by combining with the
operators ∨, ⋅ , and parenthesis is a
Boolean expression. If a mapping f:Bn
→B is
represented by a Boolean expression, then f
is a Boolean function. However, not all
mappings f:Bn
→B are Boolean functions.
school.edhole.com
Lattice and Boolean Algebra Slide 18
Theorem
• Let F(x1, x2, …, xn) be a Boolean expression.
Then the complement of the complement of
the Boolean expression F(x1, x2, …, xn) is
obtained from F as follows
1. Add parenthesis according to the order of
operations
2. Interchange ∨ with ⋅
3. Interchange xi with xi
4. Interchange 0 with 1
Example
x∨(y⋅z)=x⋅(y∨z)
school.edhole.com
Lattice and Boolean Algebra Slide 19
Principle of Duality
• In the axioms of Boolean algebra, in an
equation that contains ∨, ⋅, 0, or 1, if we
interchange ∨ with ⋅ , and/or 0 with 1, then
the other equation holds.
school.edhole.com
Lattice and Boolean Algebra Slide 20
Dual Boolean Expressions
• Let A be a Boolean expression. The dual AD
is defined recursively as follows:
1. 0D
= 1
2. 1D
= 0
3. if xi is a variable, then xi
D
= xi
4. if A, B, and C are Boolean expressions, and
A = B ∨ C, then AD
= BD
⋅ CD
5. if A, B, and C are Boolean expressions, and
A = B ⋅ C, then AD
= BD
∨ CD
6. if A and B are Boolean expressions, and
A = B, then AD
=(BD
)
school.edhole.com
Lattice and Boolean Algebra Slide 21
Examples
1. Given xy ∨ yz = xy ∨ yz ∨ xz
the dual (x ∨ y)(y ∨ z) = (x ∨ y)(y ∨ z)(x ∨
z)
2. Consider the Boolean algebra B={0,1,a,a}
check if f is a Boolean function.
f(x) = xf(0) ∨ xf(1)
f(x) = x ⋅ a ∨ x ⋅ 1
f(a) = a ⋅ a ∨ a ⋅ 1 = a
x f(x)
0 a
1 1
a a
a 1school.edhole.com
Lattice and Boolean Algebra Slide 22
Logic Functions
• Let B = {0,1}. A mapping Bn
→B is always represented
by a Boolean expression–a two-valued logic
function.
f ∨ g = h ⇔ f(x1,x2,…,xn) ∨ g(x1,x2,…,xn) =
h(x1,x2,…,xn)
f = g ⇔ f(x1,x2,…,xn) = g(x1,x2,…,xn)
x y f g f∨g f⋅g f g
0 0 0 0 0 0 1 1
0 1 1 0 1 0 0 1
1 0 1 0 1 0 0 1
1 1 0 1 1 0 1 0
Example
school.edhole.com
Lattice and Boolean Algebra Slide 23
Logical Expressions
1. Constants 0 and 1 are logical expressions
2. Variables x1,x2,…,xn are logical expressions
3. If E is a logical expression, then E is one
4. If E1 and E2 are logical expressions, then
(E1 ∨ E2) and (E1 ⋅ E2) are also logical
expressions
5. The logical expressions are obtained by
finite application of 1 - 4
school.edhole.com
Lattice and Boolean Algebra Slide 24
Evaluation of logical Expressions
• An assignment mapping α:{xi} →{0,1} (i = 1, … , n)
• The valuation mapping |F|α of a logical expression is
obtained:
1. |0|α = 0 and |1|α = 1
2. If xi is a variable, then | xi |α = α(xi)
3. If F is a logical expression, then |F|α = 1⇔ |F|α = 0
4. If F and G are logical expressions, then
|F ∨ G|α = 1⇔ (|F|α = 1 or |G|α = 1)
5. If F and G are logical expressions, then
|F ⋅ G|α = 1⇔ (|F|α = 1 and |G|α = 1)
Example: F:x ∨ y ⋅ z
α(x) = 0, α(y) = 0, α(z) = 1
school.edhole.com
Lattice and Boolean Algebra Slide 25
Equivalence of Logic Expressions
• Let F and G be logical expressions. If
|F|α = |G|α hold for every assignment α,
then F and G are equivalent ==> F ≡ G
• Logical expressions can be classified into 22
n
equivalence classes by the equivalence
relation (≡)
school.edhole.com

More Related Content

What's hot

Linear Algebra
Linear AlgebraLinear Algebra
Linear Algebra
melvincabatuan
 
Discrete mathematics notes
Discrete mathematics notesDiscrete mathematics notes
Discrete mathematics notes
josephndengeyingoma
 
2.5 conic sections circles-x
2.5 conic sections circles-x2.5 conic sections circles-x
2.5 conic sections circles-x
math260
 
5. Linear Algebra for Machine Learning: Singular Value Decomposition and Prin...
5. Linear Algebra for Machine Learning: Singular Value Decomposition and Prin...5. Linear Algebra for Machine Learning: Singular Value Decomposition and Prin...
5. Linear Algebra for Machine Learning: Singular Value Decomposition and Prin...
Ceni Babaoglu, PhD
 
Chpt 2-sets v.3
Chpt 2-sets v.3Chpt 2-sets v.3
Chpt 2-sets v.3
ShahidAkbar22
 
SET THEORY
SET THEORYSET THEORY
SET THEORY
shahzadebaujiti
 
Linear Algebra and Matrix
Linear Algebra and MatrixLinear Algebra and Matrix
Linear Algebra and Matrixitutor
 
3. Linear Algebra for Machine Learning: Factorization and Linear Transformations
3. Linear Algebra for Machine Learning: Factorization and Linear Transformations3. Linear Algebra for Machine Learning: Factorization and Linear Transformations
3. Linear Algebra for Machine Learning: Factorization and Linear Transformations
Ceni Babaoglu, PhD
 
Class xii practice questions
Class xii practice questionsClass xii practice questions
Class xii practice questions
indu psthakur
 
Imc2016 day1-solutions
Imc2016 day1-solutionsImc2016 day1-solutions
Imc2016 day1-solutions
Christos Loizos
 
Ejercicios sobre Teoría de conjuntos
Ejercicios sobre Teoría de conjuntosEjercicios sobre Teoría de conjuntos
Ejercicios sobre Teoría de conjuntos
Valentina
 
19 more parabolas a& hyperbolas (optional) x
19 more parabolas a& hyperbolas (optional) x19 more parabolas a& hyperbolas (optional) x
19 more parabolas a& hyperbolas (optional) x
math260
 
Algebras for programming languages
Algebras for programming languagesAlgebras for programming languages
Algebras for programming languages
Yoshihiro Mizoguchi
 
18 ellipses x
18 ellipses x18 ellipses x
18 ellipses x
math260
 
Set Operations
Set OperationsSet Operations
Set Operations
Bilal Amjad
 
Theory of Relational Calculus and its Formalization
Theory of Relational Calculus and its FormalizationTheory of Relational Calculus and its Formalization
Theory of Relational Calculus and its Formalization
Yoshihiro Mizoguchi
 
2.7 more parabolas a& hyperbolas (optional) x
2.7 more parabolas a& hyperbolas (optional) x2.7 more parabolas a& hyperbolas (optional) x
2.7 more parabolas a& hyperbolas (optional) x
math260
 
Imo2011 sl
Imo2011 slImo2011 sl
Imo2011 sl
Christos Loizos
 
4. Linear Algebra for Machine Learning: Eigenvalues, Eigenvectors and Diagona...
4. Linear Algebra for Machine Learning: Eigenvalues, Eigenvectors and Diagona...4. Linear Algebra for Machine Learning: Eigenvalues, Eigenvectors and Diagona...
4. Linear Algebra for Machine Learning: Eigenvalues, Eigenvectors and Diagona...
Ceni Babaoglu, PhD
 

What's hot (20)

Linear Algebra
Linear AlgebraLinear Algebra
Linear Algebra
 
Probability theory
Probability theoryProbability theory
Probability theory
 
Discrete mathematics notes
Discrete mathematics notesDiscrete mathematics notes
Discrete mathematics notes
 
2.5 conic sections circles-x
2.5 conic sections circles-x2.5 conic sections circles-x
2.5 conic sections circles-x
 
5. Linear Algebra for Machine Learning: Singular Value Decomposition and Prin...
5. Linear Algebra for Machine Learning: Singular Value Decomposition and Prin...5. Linear Algebra for Machine Learning: Singular Value Decomposition and Prin...
5. Linear Algebra for Machine Learning: Singular Value Decomposition and Prin...
 
Chpt 2-sets v.3
Chpt 2-sets v.3Chpt 2-sets v.3
Chpt 2-sets v.3
 
SET THEORY
SET THEORYSET THEORY
SET THEORY
 
Linear Algebra and Matrix
Linear Algebra and MatrixLinear Algebra and Matrix
Linear Algebra and Matrix
 
3. Linear Algebra for Machine Learning: Factorization and Linear Transformations
3. Linear Algebra for Machine Learning: Factorization and Linear Transformations3. Linear Algebra for Machine Learning: Factorization and Linear Transformations
3. Linear Algebra for Machine Learning: Factorization and Linear Transformations
 
Class xii practice questions
Class xii practice questionsClass xii practice questions
Class xii practice questions
 
Imc2016 day1-solutions
Imc2016 day1-solutionsImc2016 day1-solutions
Imc2016 day1-solutions
 
Ejercicios sobre Teoría de conjuntos
Ejercicios sobre Teoría de conjuntosEjercicios sobre Teoría de conjuntos
Ejercicios sobre Teoría de conjuntos
 
19 more parabolas a& hyperbolas (optional) x
19 more parabolas a& hyperbolas (optional) x19 more parabolas a& hyperbolas (optional) x
19 more parabolas a& hyperbolas (optional) x
 
Algebras for programming languages
Algebras for programming languagesAlgebras for programming languages
Algebras for programming languages
 
18 ellipses x
18 ellipses x18 ellipses x
18 ellipses x
 
Set Operations
Set OperationsSet Operations
Set Operations
 
Theory of Relational Calculus and its Formalization
Theory of Relational Calculus and its FormalizationTheory of Relational Calculus and its Formalization
Theory of Relational Calculus and its Formalization
 
2.7 more parabolas a& hyperbolas (optional) x
2.7 more parabolas a& hyperbolas (optional) x2.7 more parabolas a& hyperbolas (optional) x
2.7 more parabolas a& hyperbolas (optional) x
 
Imo2011 sl
Imo2011 slImo2011 sl
Imo2011 sl
 
4. Linear Algebra for Machine Learning: Eigenvalues, Eigenvectors and Diagona...
4. Linear Algebra for Machine Learning: Eigenvalues, Eigenvectors and Diagona...4. Linear Algebra for Machine Learning: Eigenvalues, Eigenvectors and Diagona...
4. Linear Algebra for Machine Learning: Eigenvalues, Eigenvectors and Diagona...
 

Viewers also liked

Application of Boolean pre-algebras to the foundations of Computer Science
Application of Boolean pre-algebras to the foundations of Computer ScienceApplication of Boolean pre-algebras to the foundations of Computer Science
Application of Boolean pre-algebras to the foundations of Computer Science
Marcelo Novaes
 
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
 
Ch 2 lattice & boolean algebra
Ch 2 lattice & boolean algebraCh 2 lattice & boolean algebra
Ch 2 lattice & boolean algebra
Rupali Rana
 
Digital logic gates and Boolean algebra
Digital logic gates and Boolean algebraDigital logic gates and Boolean algebra
Digital logic gates and Boolean algebra
SARITHA REDDY
 
Boolean algebra
Boolean algebraBoolean algebra
Boolean algebraGagan Deep
 
Ch4 Boolean Algebra And Logic Simplication1
Ch4 Boolean Algebra And Logic Simplication1Ch4 Boolean Algebra And Logic Simplication1
Ch4 Boolean Algebra And Logic Simplication1Qundeel
 
CBSE XII Boolean Algebra
CBSE XII Boolean AlgebraCBSE XII Boolean Algebra
CBSE XII Boolean Algebra
Guru Ji
 

Viewers also liked (7)

Application of Boolean pre-algebras to the foundations of Computer Science
Application of Boolean pre-algebras to the foundations of Computer ScienceApplication of Boolean pre-algebras to the foundations of Computer Science
Application of Boolean pre-algebras to the foundations of Computer Science
 
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
 
Ch 2 lattice & boolean algebra
Ch 2 lattice & boolean algebraCh 2 lattice & boolean algebra
Ch 2 lattice & boolean algebra
 
Digital logic gates and Boolean algebra
Digital logic gates and Boolean algebraDigital logic gates and Boolean algebra
Digital logic gates and Boolean algebra
 
Boolean algebra
Boolean algebraBoolean algebra
Boolean algebra
 
Ch4 Boolean Algebra And Logic Simplication1
Ch4 Boolean Algebra And Logic Simplication1Ch4 Boolean Algebra And Logic Simplication1
Ch4 Boolean Algebra And Logic Simplication1
 
CBSE XII Boolean Algebra
CBSE XII Boolean AlgebraCBSE XII Boolean Algebra
CBSE XII Boolean Algebra
 

Similar to Top school in india

Admission for mba
Admission for mbaAdmission for mba
Admission for mba
Edhole.com
 
Boolean Algebra SOP POS_Computer Architecture.pdf
Boolean Algebra SOP POS_Computer Architecture.pdfBoolean Algebra SOP POS_Computer Architecture.pdf
Boolean Algebra SOP POS_Computer Architecture.pdf
SangitaBose2
 
Report on set theory
Report on set theoryReport on set theory
Report on set theory
Raymundo Raymund
 
Boolean Algebra DLD
Boolean Algebra DLDBoolean Algebra DLD
Boolean Algebra DLD
Rokonuzzaman Rony
 
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
 
Logarithm
LogarithmLogarithm
Logarithm
Febri Arianti
 
Maths Assignment Help
Maths Assignment HelpMaths Assignment Help
Maths Assignment Help
Math Homework Solver
 
Maths Assignment Help
Maths Assignment HelpMaths Assignment Help
Maths Assignment Help
Maths Assignment Help
 
boolean_algebra.pdf for discrete mathematics
boolean_algebra.pdf for discrete mathematicsboolean_algebra.pdf for discrete mathematics
boolean_algebra.pdf for discrete mathematics
somnathmule3
 
Chapter2 (1).pptx
Chapter2 (1).pptxChapter2 (1).pptx
Chapter2 (1).pptx
MitKumar2
 
Linear Programming
Linear ProgrammingLinear Programming
Linear Programming
knspavan
 
Graph of a linear equation vertical lines
Graph of a linear equation   vertical linesGraph of a linear equation   vertical lines
Graph of a linear equation vertical lines
julienorman80065
 
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
 
Report on set theory
Report on set theoryReport on set theory
Report on set theory
Raymundo Raymund
 
NOTA TOPIK 2_SSK20152 (3).pptx
NOTA TOPIK 2_SSK20152 (3).pptxNOTA TOPIK 2_SSK20152 (3).pptx
NOTA TOPIK 2_SSK20152 (3).pptx
eedayaya1
 
Chapter 2.pptx
Chapter 2.pptxChapter 2.pptx
Chapter 2.pptx
AliaaTarek5
 
Chapter 4 logic design
Chapter 4   logic designChapter 4   logic design
Chapter 4 logic design
Burhanuddin Mohammad
 
9402730.ppt
9402730.ppt9402730.ppt
9402730.ppt
qquwandiq19
 
Boolean Algebra - R.D.Sivakumar
Boolean Algebra - R.D.SivakumarBoolean Algebra - R.D.Sivakumar
Boolean Algebra - R.D.Sivakumar
Sivakumar R D .
 
Mkk1013 chapter 2.1
Mkk1013 chapter 2.1Mkk1013 chapter 2.1
Mkk1013 chapter 2.1
ramlahmailok
 

Similar to Top school in india (20)

Admission for mba
Admission for mbaAdmission for mba
Admission for mba
 
Boolean Algebra SOP POS_Computer Architecture.pdf
Boolean Algebra SOP POS_Computer Architecture.pdfBoolean Algebra SOP POS_Computer Architecture.pdf
Boolean Algebra SOP POS_Computer Architecture.pdf
 
Report on set theory
Report on set theoryReport on set theory
Report on set theory
 
Boolean Algebra DLD
Boolean Algebra DLDBoolean Algebra DLD
Boolean Algebra DLD
 
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)
 
Logarithm
LogarithmLogarithm
Logarithm
 
Maths Assignment Help
Maths Assignment HelpMaths Assignment Help
Maths Assignment Help
 
Maths Assignment Help
Maths Assignment HelpMaths Assignment Help
Maths Assignment Help
 
boolean_algebra.pdf for discrete mathematics
boolean_algebra.pdf for discrete mathematicsboolean_algebra.pdf for discrete mathematics
boolean_algebra.pdf for discrete mathematics
 
Chapter2 (1).pptx
Chapter2 (1).pptxChapter2 (1).pptx
Chapter2 (1).pptx
 
Linear Programming
Linear ProgrammingLinear Programming
Linear Programming
 
Graph of a linear equation vertical lines
Graph of a linear equation   vertical linesGraph of a linear equation   vertical lines
Graph of a linear equation vertical lines
 
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
 
Report on set theory
Report on set theoryReport on set theory
Report on set theory
 
NOTA TOPIK 2_SSK20152 (3).pptx
NOTA TOPIK 2_SSK20152 (3).pptxNOTA TOPIK 2_SSK20152 (3).pptx
NOTA TOPIK 2_SSK20152 (3).pptx
 
Chapter 2.pptx
Chapter 2.pptxChapter 2.pptx
Chapter 2.pptx
 
Chapter 4 logic design
Chapter 4   logic designChapter 4   logic design
Chapter 4 logic design
 
9402730.ppt
9402730.ppt9402730.ppt
9402730.ppt
 
Boolean Algebra - R.D.Sivakumar
Boolean Algebra - R.D.SivakumarBoolean Algebra - R.D.Sivakumar
Boolean Algebra - R.D.Sivakumar
 
Mkk1013 chapter 2.1
Mkk1013 chapter 2.1Mkk1013 chapter 2.1
Mkk1013 chapter 2.1
 

More from Edhole.com

Ca in patna
Ca in patnaCa in patna
Ca in patna
Edhole.com
 
Chartered accountant in dwarka
Chartered accountant in dwarkaChartered accountant in dwarka
Chartered accountant in dwarka
Edhole.com
 
Ca in dwarka
Ca in dwarkaCa in dwarka
Ca in dwarka
Edhole.com
 
Ca firm in dwarka
Ca firm in dwarkaCa firm in dwarka
Ca firm in dwarka
Edhole.com
 
Website development company surat
Website development company suratWebsite development company surat
Website development company surat
Edhole.com
 
Website designing company in surat
Website designing company in suratWebsite designing company in surat
Website designing company in surat
Edhole.com
 
Website dsigning company in india
Website dsigning company in indiaWebsite dsigning company in india
Website dsigning company in india
Edhole.com
 
Website designing company in delhi
Website designing company in delhiWebsite designing company in delhi
Website designing company in delhi
Edhole.com
 
Ca in patna
Ca in patnaCa in patna
Ca in patna
Edhole.com
 
Chartered accountant in dwarka
Chartered accountant in dwarkaChartered accountant in dwarka
Chartered accountant in dwarka
Edhole.com
 
Ca firm in dwarka
Ca firm in dwarkaCa firm in dwarka
Ca firm in dwarka
Edhole.com
 
Ca in dwarka
Ca in dwarkaCa in dwarka
Ca in dwarka
Edhole.com
 
Website development company surat
Website development company suratWebsite development company surat
Website development company surat
Edhole.com
 
Website designing company in surat
Website designing company in suratWebsite designing company in surat
Website designing company in surat
Edhole.com
 
Website designing company in india
Website designing company in indiaWebsite designing company in india
Website designing company in india
Edhole.com
 
Website designing company in delhi
Website designing company in delhiWebsite designing company in delhi
Website designing company in delhi
Edhole.com
 
Website designing company in mumbai
Website designing company in mumbaiWebsite designing company in mumbai
Website designing company in mumbai
Edhole.com
 
Website development company surat
Website development company suratWebsite development company surat
Website development company surat
Edhole.com
 
Website desinging company in surat
Website desinging company in suratWebsite desinging company in surat
Website desinging company in surat
Edhole.com
 
Website designing company in india
Website designing company in indiaWebsite designing company in india
Website designing company in india
Edhole.com
 

More from Edhole.com (20)

Ca in patna
Ca in patnaCa in patna
Ca in patna
 
Chartered accountant in dwarka
Chartered accountant in dwarkaChartered accountant in dwarka
Chartered accountant in dwarka
 
Ca in dwarka
Ca in dwarkaCa in dwarka
Ca in dwarka
 
Ca firm in dwarka
Ca firm in dwarkaCa firm in dwarka
Ca firm in dwarka
 
Website development company surat
Website development company suratWebsite development company surat
Website development company surat
 
Website designing company in surat
Website designing company in suratWebsite designing company in surat
Website designing company in surat
 
Website dsigning company in india
Website dsigning company in indiaWebsite dsigning company in india
Website dsigning company in india
 
Website designing company in delhi
Website designing company in delhiWebsite designing company in delhi
Website designing company in delhi
 
Ca in patna
Ca in patnaCa in patna
Ca in patna
 
Chartered accountant in dwarka
Chartered accountant in dwarkaChartered accountant in dwarka
Chartered accountant in dwarka
 
Ca firm in dwarka
Ca firm in dwarkaCa firm in dwarka
Ca firm in dwarka
 
Ca in dwarka
Ca in dwarkaCa in dwarka
Ca in dwarka
 
Website development company surat
Website development company suratWebsite development company surat
Website development company surat
 
Website designing company in surat
Website designing company in suratWebsite designing company in surat
Website designing company in surat
 
Website designing company in india
Website designing company in indiaWebsite designing company in india
Website designing company in india
 
Website designing company in delhi
Website designing company in delhiWebsite designing company in delhi
Website designing company in delhi
 
Website designing company in mumbai
Website designing company in mumbaiWebsite designing company in mumbai
Website designing company in mumbai
 
Website development company surat
Website development company suratWebsite development company surat
Website development company surat
 
Website desinging company in surat
Website desinging company in suratWebsite desinging company in surat
Website desinging company in surat
 
Website designing company in india
Website designing company in indiaWebsite designing company in india
Website designing company in india
 

Recently uploaded

The Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptxThe Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptx
DhatriParmar
 
Marketing internship report file for MBA
Marketing internship report file for MBAMarketing internship report file for MBA
Marketing internship report file for MBA
gb193092
 
Chapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptxChapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptx
Mohd Adib Abd Muin, Senior Lecturer at Universiti Utara Malaysia
 
The French Revolution Class 9 Study Material pdf free download
The French Revolution Class 9 Study Material pdf free downloadThe French Revolution Class 9 Study Material pdf free download
The French Revolution Class 9 Study Material pdf free download
Vivekanand Anglo Vedic Academy
 
"Protectable subject matters, Protection in biotechnology, Protection of othe...
"Protectable subject matters, Protection in biotechnology, Protection of othe..."Protectable subject matters, Protection in biotechnology, Protection of othe...
"Protectable subject matters, Protection in biotechnology, Protection of othe...
SACHIN R KONDAGURI
 
Unit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdfUnit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdf
Thiyagu K
 
Embracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic ImperativeEmbracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic Imperative
Peter Windle
 
special B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdfspecial B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdf
Special education needs
 
How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...
Jisc
 
BÀI TẬP BỔ TRỢ TIẾNG ANH GLOBAL SUCCESS LỚP 3 - CẢ NĂM (CÓ FILE NGHE VÀ ĐÁP Á...
BÀI TẬP BỔ TRỢ TIẾNG ANH GLOBAL SUCCESS LỚP 3 - CẢ NĂM (CÓ FILE NGHE VÀ ĐÁP Á...BÀI TẬP BỔ TRỢ TIẾNG ANH GLOBAL SUCCESS LỚP 3 - CẢ NĂM (CÓ FILE NGHE VÀ ĐÁP Á...
BÀI TẬP BỔ TRỢ TIẾNG ANH GLOBAL SUCCESS LỚP 3 - CẢ NĂM (CÓ FILE NGHE VÀ ĐÁP Á...
Nguyen Thanh Tu Collection
 
Multithreading_in_C++ - std::thread, race condition
Multithreading_in_C++ - std::thread, race conditionMultithreading_in_C++ - std::thread, race condition
Multithreading_in_C++ - std::thread, race condition
Mohammed Sikander
 
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
MysoreMuleSoftMeetup
 
Guidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th SemesterGuidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th Semester
Atul Kumar Singh
 
Chapter -12, Antibiotics (One Page Notes).pdf
Chapter -12, Antibiotics (One Page Notes).pdfChapter -12, Antibiotics (One Page Notes).pdf
Chapter -12, Antibiotics (One Page Notes).pdf
Kartik Tiwari
 
Supporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptxSupporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptx
Jisc
 
Best Digital Marketing Institute In NOIDA
Best Digital Marketing Institute In NOIDABest Digital Marketing Institute In NOIDA
Best Digital Marketing Institute In NOIDA
deeptiverma2406
 
Acetabularia Information For Class 9 .docx
Acetabularia Information For Class 9  .docxAcetabularia Information For Class 9  .docx
Acetabularia Information For Class 9 .docx
vaibhavrinwa19
 
Digital Tools and AI for Teaching Learning and Research
Digital Tools and AI for Teaching Learning and ResearchDigital Tools and AI for Teaching Learning and Research
Digital Tools and AI for Teaching Learning and Research
Vikramjit Singh
 
The approach at University of Liverpool.pptx
The approach at University of Liverpool.pptxThe approach at University of Liverpool.pptx
The approach at University of Liverpool.pptx
Jisc
 
Digital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion DesignsDigital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion Designs
chanes7
 

Recently uploaded (20)

The Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptxThe Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptx
 
Marketing internship report file for MBA
Marketing internship report file for MBAMarketing internship report file for MBA
Marketing internship report file for MBA
 
Chapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptxChapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptx
 
The French Revolution Class 9 Study Material pdf free download
The French Revolution Class 9 Study Material pdf free downloadThe French Revolution Class 9 Study Material pdf free download
The French Revolution Class 9 Study Material pdf free download
 
"Protectable subject matters, Protection in biotechnology, Protection of othe...
"Protectable subject matters, Protection in biotechnology, Protection of othe..."Protectable subject matters, Protection in biotechnology, Protection of othe...
"Protectable subject matters, Protection in biotechnology, Protection of othe...
 
Unit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdfUnit 8 - Information and Communication Technology (Paper I).pdf
Unit 8 - Information and Communication Technology (Paper I).pdf
 
Embracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic ImperativeEmbracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic Imperative
 
special B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdfspecial B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdf
 
How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...
 
BÀI TẬP BỔ TRỢ TIẾNG ANH GLOBAL SUCCESS LỚP 3 - CẢ NĂM (CÓ FILE NGHE VÀ ĐÁP Á...
BÀI TẬP BỔ TRỢ TIẾNG ANH GLOBAL SUCCESS LỚP 3 - CẢ NĂM (CÓ FILE NGHE VÀ ĐÁP Á...BÀI TẬP BỔ TRỢ TIẾNG ANH GLOBAL SUCCESS LỚP 3 - CẢ NĂM (CÓ FILE NGHE VÀ ĐÁP Á...
BÀI TẬP BỔ TRỢ TIẾNG ANH GLOBAL SUCCESS LỚP 3 - CẢ NĂM (CÓ FILE NGHE VÀ ĐÁP Á...
 
Multithreading_in_C++ - std::thread, race condition
Multithreading_in_C++ - std::thread, race conditionMultithreading_in_C++ - std::thread, race condition
Multithreading_in_C++ - std::thread, race condition
 
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
 
Guidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th SemesterGuidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th Semester
 
Chapter -12, Antibiotics (One Page Notes).pdf
Chapter -12, Antibiotics (One Page Notes).pdfChapter -12, Antibiotics (One Page Notes).pdf
Chapter -12, Antibiotics (One Page Notes).pdf
 
Supporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptxSupporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptx
 
Best Digital Marketing Institute In NOIDA
Best Digital Marketing Institute In NOIDABest Digital Marketing Institute In NOIDA
Best Digital Marketing Institute In NOIDA
 
Acetabularia Information For Class 9 .docx
Acetabularia Information For Class 9  .docxAcetabularia Information For Class 9  .docx
Acetabularia Information For Class 9 .docx
 
Digital Tools and AI for Teaching Learning and Research
Digital Tools and AI for Teaching Learning and ResearchDigital Tools and AI for Teaching Learning and Research
Digital Tools and AI for Teaching Learning and Research
 
The approach at University of Liverpool.pptx
The approach at University of Liverpool.pptxThe approach at University of Liverpool.pptx
The approach at University of Liverpool.pptx
 
Digital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion DesignsDigital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion Designs
 

Top school in india

  • 1. Top school in India By: school.edhole.com
  • 3. Lattice and Boolean Algebra Slide 3 Algebra • An algebraic system is defined by the tuple 〈A,o1, …, ok; R1, …, Rm; c1, … ck〉, where, A is a non-empty set, oi is a function Api →A, pi is a positive integer, Rj is a relation on A, and ci is an element of A. school.edhole.com
  • 4. Lattice and Boolean Algebra Slide 4 Lattice • The lattice is an algebraic system 〈A, ∨, ⋅〉, given a,b,c in A, the following axioms are satisfied: 1. Idempotent laws: a ∨ a = a, a ⋅ a = a; 2. Commutative laws: a ∨ b = b ∨ a, a ⋅ b = b ⋅ a 3. Associative laws: a ∨ (b ∨ c) = (a ∨ b) ∨ c, a ⋅ (b ⋅ c) = (a ⋅ b) ⋅ c 4. Absorption laws: a ∨ (a ⋅ b) = a, a ⋅ (a ∨ b) = a school.edhole.com
  • 5. Lattice and Boolean Algebra Slide 5 Lattice - Example • Let A={1,2,3,6}. • Let a ∨ b be the least common multiple • Let a ∧ b be the greatest common divisor • Then, the algebraic system 〈A, ∨, ∧〉 satisfies the axioms of the lattice. school.edhole.com
  • 6. Lattice and Boolean Algebra Slide 6 Distributive Lattice • The lattice 〈A, ∨, ⋅〉 satisfying the following axiom is a distributive lattice 5. Distributive laws: a ∨ (b ⋅ c) = (a ∨ b) ⋅ (a ∨ c), a ⋅ (b ∨ c) = (a ⋅ b) ∨ (a ⋅ c) school.edhole.com
  • 7. Lattice and Boolean Algebra Slide 7 Examples distributive non-distributive a⋅(b∨c)≠a⋅b∨a⋅c school.edhole.com
  • 8. Lattice and Boolean Algebra Slide 8 Complemented Lattice • Let a lattice 〈A, ∨, ⋅〉 have a maximum element 1 and a minimum element 0. For any element a in A, if there exists an element xa such that a ∨ xa = 1 and a ⋅ xa = 0, then the lattice is a complemented lattice. • Find complements in the previous example school.edhole.com
  • 9. Lattice and Boolean Algebra Slide 9 Boolean Algebra • Let B be a set with at least two elements 0 and 1. Let two binary operations ∨ and ⋅, and a unary operation  are defined on B. The algebraic system 〈B, ∨, ⋅ , , 0,1〉 is a Boolean algebra, if the following postulates are satisfied: 1. Idempotent laws: a ∨ a = a, a ⋅ a = a; 2. Commutative laws: a ∨ b = b ∨ a, a ⋅ b = b ⋅ a 3. Associative laws: a ∨ (b ∨ c) = (a ∨ b) ∨ c, a ⋅ (b ⋅ c) = (a ⋅ b) ⋅ c 4. Absorption laws: a ∨ (a ⋅ b) = a, a ⋅ (a ∨ b) = a 5. Distributive laws: a ∨ (b ⋅ c) = (a ∨ b) ⋅ (a ∨ c), a ⋅ (b ∨ c) = (a ⋅ b) ∨ (a ⋅ c) school.edhole.com
  • 10. Lattice and Boolean Algebra Slide 10 Boolean Algebra 6. Involution: 7. Complements: a ∨ a = 1, a ⋅ a = 0; 8. Identities: a ∨ 0 = a, a ⋅ 1 = a; 9. a ∨ 1 = 1, a ⋅ 0 = 0; 10.De Morgan’s laws: a=a a∨b=a⋅b a⋅b=a∨b school.edhole.com
  • 11. Lattice and Boolean Algebra Slide 11 Huntington’s Postulates • To verify whether a given algebra is a Boolean algebra we only need to check 4 postulates: 1. Identities 2. Commutative laws 3. Distributive laws 4. Complements school.edhole.com
  • 12. Lattice and Boolean Algebra Slide 12 Example • prove the idempotent laws given Huntington’s postulates: a = a ∨ 0 = a ∨ a⋅a = (a ∨ a) ⋅ (a ∨ a) = (a ∨ a) ⋅ 1 = a ∨ a school.edhole.com
  • 13. Lattice and Boolean Algebra Slide 13 Models of Boolean Algebra • Boolean Algebra over {0,1} B={0,1}. 〈B, ∨, ⋅ , , 0,1〉 • Boolean Algebra over Boolean Vectors Bn = {(a1, a2, … , an) | ai ∈ {0,1}} Let a=(a1, a2, … , an) and b = (b1, b2, … , bn) ∈ Bn define a ∨ b = (a1 ∨ b1, a2 ∨ b2, … , an ∨ bn) a ⋅ b = (a1 ⋅ b1, a2 ⋅ b2, … , an ⋅ bn) a=(a1, a2, … , an) then 〈Bn , ∨, ⋅ , , 0,1〉 is a Boolean algebra, where, 0 = (0,0, …, 0) and 1 = (1,1, …, 1) • Boolean Algebra over Power Set school.edhole.com
  • 14. Lattice and Boolean Algebra Slide 14 Examples B3 P({a,b,c}) {n ∈ Ν| n|30} school.edhole.com
  • 15. Lattice and Boolean Algebra Slide 15 Isomorphic Boolean Algebra • Two Boolean algebras 〈A, ∨, ⋅ , , 0A,1A〉 and 〈B, ∨, ⋅ , , 0B,1B〉 are isomorphic iff there is a mapping f:A→B, such that 1. for arbitrary a,b ∈ A, f(a∨b) = f(a)∨f(b), f(a ⋅ b) = f(a) ⋅ f(b), and f(a) = f(a) 2. f(0A ) = 0B and f(1A ) = 1B An arbitrary finite Boolean algebra is isomorphic to the Boolean algebra 〈Bn , ∨, ⋅ , , 0,1〉 Question: define the mappings for the previous slide.school.edhole.com
  • 16. Lattice and Boolean Algebra Slide 16 De Morgan’s Theorem • De Morgan’s Laws hold • These equations can be generalized a∨b=a⋅b a⋅b=a∨b x1∨x2∨K∨xn=x1⋅x2⋅K⋅xn x1⋅x2⋅K⋅xn=x1∨x2∨K∨xn school.edhole.com
  • 17. Lattice and Boolean Algebra Slide 17 Definition • Let 〈Bn , ∨, ⋅ , , 0,1〉 be a Boolean algebra. The variable that takes arbitrary values in the set B is a Boolean variable. The expression that is obtained from the Boolean variables and constants by combining with the operators ∨, ⋅ , and parenthesis is a Boolean expression. If a mapping f:Bn →B is represented by a Boolean expression, then f is a Boolean function. However, not all mappings f:Bn →B are Boolean functions. school.edhole.com
  • 18. Lattice and Boolean Algebra Slide 18 Theorem • Let F(x1, x2, …, xn) be a Boolean expression. Then the complement of the complement of the Boolean expression F(x1, x2, …, xn) is obtained from F as follows 1. Add parenthesis according to the order of operations 2. Interchange ∨ with ⋅ 3. Interchange xi with xi 4. Interchange 0 with 1 Example x∨(y⋅z)=x⋅(y∨z) school.edhole.com
  • 19. Lattice and Boolean Algebra Slide 19 Principle of Duality • In the axioms of Boolean algebra, in an equation that contains ∨, ⋅, 0, or 1, if we interchange ∨ with ⋅ , and/or 0 with 1, then the other equation holds. school.edhole.com
  • 20. Lattice and Boolean Algebra Slide 20 Dual Boolean Expressions • Let A be a Boolean expression. The dual AD is defined recursively as follows: 1. 0D = 1 2. 1D = 0 3. if xi is a variable, then xi D = xi 4. if A, B, and C are Boolean expressions, and A = B ∨ C, then AD = BD ⋅ CD 5. if A, B, and C are Boolean expressions, and A = B ⋅ C, then AD = BD ∨ CD 6. if A and B are Boolean expressions, and A = B, then AD =(BD ) school.edhole.com
  • 21. Lattice and Boolean Algebra Slide 21 Examples 1. Given xy ∨ yz = xy ∨ yz ∨ xz the dual (x ∨ y)(y ∨ z) = (x ∨ y)(y ∨ z)(x ∨ z) 2. Consider the Boolean algebra B={0,1,a,a} check if f is a Boolean function. f(x) = xf(0) ∨ xf(1) f(x) = x ⋅ a ∨ x ⋅ 1 f(a) = a ⋅ a ∨ a ⋅ 1 = a x f(x) 0 a 1 1 a a a 1school.edhole.com
  • 22. Lattice and Boolean Algebra Slide 22 Logic Functions • Let B = {0,1}. A mapping Bn →B is always represented by a Boolean expression–a two-valued logic function. f ∨ g = h ⇔ f(x1,x2,…,xn) ∨ g(x1,x2,…,xn) = h(x1,x2,…,xn) f = g ⇔ f(x1,x2,…,xn) = g(x1,x2,…,xn) x y f g f∨g f⋅g f g 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 1 1 0 1 0 Example school.edhole.com
  • 23. Lattice and Boolean Algebra Slide 23 Logical Expressions 1. Constants 0 and 1 are logical expressions 2. Variables x1,x2,…,xn are logical expressions 3. If E is a logical expression, then E is one 4. If E1 and E2 are logical expressions, then (E1 ∨ E2) and (E1 ⋅ E2) are also logical expressions 5. The logical expressions are obtained by finite application of 1 - 4 school.edhole.com
  • 24. Lattice and Boolean Algebra Slide 24 Evaluation of logical Expressions • An assignment mapping α:{xi} →{0,1} (i = 1, … , n) • The valuation mapping |F|α of a logical expression is obtained: 1. |0|α = 0 and |1|α = 1 2. If xi is a variable, then | xi |α = α(xi) 3. If F is a logical expression, then |F|α = 1⇔ |F|α = 0 4. If F and G are logical expressions, then |F ∨ G|α = 1⇔ (|F|α = 1 or |G|α = 1) 5. If F and G are logical expressions, then |F ⋅ G|α = 1⇔ (|F|α = 1 and |G|α = 1) Example: F:x ∨ y ⋅ z α(x) = 0, α(y) = 0, α(z) = 1 school.edhole.com
  • 25. Lattice and Boolean Algebra Slide 25 Equivalence of Logic Expressions • Let F and G be logical expressions. If |F|α = |G|α hold for every assignment α, then F and G are equivalent ==> F ≡ G • Logical expressions can be classified into 22 n equivalence classes by the equivalence relation (≡) school.edhole.com