This document discusses lattices and Boolean algebra. It defines lattices as algebraic systems that satisfy certain axioms involving binary operations of join (∨) and meet (⋅). Boolean algebras are lattices that also have a unary complement operation and satisfy additional axioms such as distributivity and the existence of complements. Examples of Boolean algebras include the power set of a set under set operations and vectors of 0s and 1s under component-wise operations. Boolean functions and logical expressions are then introduced and their evaluation is discussed.
2. Linear Algebra for Machine Learning: Basis and DimensionCeni Babaoglu, PhD
The seminar series will focus on the mathematical background needed for machine learning. The first set of the seminars will be on "Linear Algebra for Machine Learning". Here are the slides of the second part which is discussing basis and dimension.
Here is the link of the first part which was discussing linear systems: https://www.slideshare.net/CeniBabaogluPhDinMat/linear-algebra-for-machine-learning-linear-systems/1
1. Linear Algebra for Machine Learning: Linear SystemsCeni Babaoglu, PhD
The seminar series will focus on the mathematical background needed for machine learning. The first set of the seminars will be on "Linear Algebra for Machine Learning". Here are the slides of the first part which is giving a short overview of matrices and discussing linear systems.
Mathematics (from Greek μάθημα máthēma, “knowledge, study, learning”) is the study of topics such as quantity (numbers), structure, space, and change. There is a range of views among mathematicians and philosophers as to the exact scope and definition of mathematics
2. Linear Algebra for Machine Learning: Basis and DimensionCeni Babaoglu, PhD
The seminar series will focus on the mathematical background needed for machine learning. The first set of the seminars will be on "Linear Algebra for Machine Learning". Here are the slides of the second part which is discussing basis and dimension.
Here is the link of the first part which was discussing linear systems: https://www.slideshare.net/CeniBabaogluPhDinMat/linear-algebra-for-machine-learning-linear-systems/1
1. Linear Algebra for Machine Learning: Linear SystemsCeni Babaoglu, PhD
The seminar series will focus on the mathematical background needed for machine learning. The first set of the seminars will be on "Linear Algebra for Machine Learning". Here are the slides of the first part which is giving a short overview of matrices and discussing linear systems.
Mathematics (from Greek μάθημα máthēma, “knowledge, study, learning”) is the study of topics such as quantity (numbers), structure, space, and change. There is a range of views among mathematicians and philosophers as to the exact scope and definition of mathematics
5. Linear Algebra for Machine Learning: Singular Value Decomposition and Prin...Ceni Babaoglu, PhD
The seminar series will focus on the mathematical background needed for machine learning. The first set of the seminars will be on "Linear Algebra for Machine Learning". Here are the slides of the fifth part which is discussing singular value decomposition and principal component analysis.
Here are the slides of the first part which was discussing linear systems: https://www.slideshare.net/CeniBabaogluPhDinMat/linear-algebra-for-machine-learning-linear-systems/1
Here are the slides of the second part which was discussing basis and dimension:
https://www.slideshare.net/CeniBabaogluPhDinMat/2-linear-algebra-for-machine-learning-basis-and-dimension
Here are the slides of the third part which is discussing factorization and linear transformations.
https://www.slideshare.net/CeniBabaogluPhDinMat/3-linear-algebra-for-machine-learning-factorization-and-linear-transformations-130813437
Here are the slides of the fourth part which is discussing eigenvalues and eigenvectors.
https://www.slideshare.net/CeniBabaogluPhDinMat/4-linear-algebra-for-machine-learning-eigenvalues-eigenvectors-and-diagonalization
3. Linear Algebra for Machine Learning: Factorization and Linear TransformationsCeni Babaoglu, PhD
The seminar series will focus on the mathematical background needed for machine learning. The first set of the seminars will be on "Linear Algebra for Machine Learning". Here are the slides of the third part which is discussing factorization and linear transformations.
Here is the link of the first part which was discussing linear systems: https://www.slideshare.net/CeniBabaogluPhDinMat/linear-algebra-for-machine-learning-linear-systems/1
Here are the slides of the second part which was discussing basis and dimension:
https://www.slideshare.net/CeniBabaogluPhDinMat/2-linear-algebra-for-machine-learning-basis-and-dimension
4. Linear Algebra for Machine Learning: Eigenvalues, Eigenvectors and Diagona...Ceni Babaoglu, PhD
The seminar series will focus on the mathematical background needed for machine learning. The first set of the seminars will be on "Linear Algebra for Machine Learning". Here are the slides of the fourth part which is discussing eigenvalues, eigenvectors and diagonalization.
Here is the link of the first part which was discussing linear systems: https://www.slideshare.net/CeniBabaogluPhDinMat/linear-algebra-for-machine-learning-linear-systems/1
Here are the slides of the second part which was discussing basis and dimension:
https://www.slideshare.net/CeniBabaogluPhDinMat/2-linear-algebra-for-machine-learning-basis-and-dimension
Here are the slides of the third part which is discussing factorization and linear transformations.
https://www.slideshare.net/CeniBabaogluPhDinMat/3-linear-algebra-for-machine-learning-factorization-and-linear-transformations-130813437
Application of Boolean pre-algebras to the foundations of Computer ScienceMarcelo Novaes
Senior thesis
Field: Mathematical Logic
Supervisor: Steffen Lewitzka
University: Universidade Federal da Bahia (UFBA)
Abstract:
"Increasing the expressiveness of a logical system is a goal of many fields in Computer Science such as Formal Systems, Knowledge construction, Linguistics, Universal Logic and Model Theory. The increasing of this expressiveness can be reached by the use of non-Fregean Logic, a non-classical logic. In non-Fregean Logic, formulas with the same truth value can have different denotations or meanings (also called situations). This concept breaks the Frege Axiom, the reason for the name non-Fregean Logic. Recently, it was shown that there is an equivalence between Boolean pre-algebras and non-Fregean logic models. This fact linked fields which were already using Boolean pre-algebras to represent their semantic models. In this thesis, an investigation on this equivalence is done and applications are exposed in the fields of Modal Logic, Truth Theory, Logic with Quantifiers and Epistemic Logic."
The full thesis can be found at http://repositorio.ufba.br/ri/handle/ri/1938
5. Linear Algebra for Machine Learning: Singular Value Decomposition and Prin...Ceni Babaoglu, PhD
The seminar series will focus on the mathematical background needed for machine learning. The first set of the seminars will be on "Linear Algebra for Machine Learning". Here are the slides of the fifth part which is discussing singular value decomposition and principal component analysis.
Here are the slides of the first part which was discussing linear systems: https://www.slideshare.net/CeniBabaogluPhDinMat/linear-algebra-for-machine-learning-linear-systems/1
Here are the slides of the second part which was discussing basis and dimension:
https://www.slideshare.net/CeniBabaogluPhDinMat/2-linear-algebra-for-machine-learning-basis-and-dimension
Here are the slides of the third part which is discussing factorization and linear transformations.
https://www.slideshare.net/CeniBabaogluPhDinMat/3-linear-algebra-for-machine-learning-factorization-and-linear-transformations-130813437
Here are the slides of the fourth part which is discussing eigenvalues and eigenvectors.
https://www.slideshare.net/CeniBabaogluPhDinMat/4-linear-algebra-for-machine-learning-eigenvalues-eigenvectors-and-diagonalization
3. Linear Algebra for Machine Learning: Factorization and Linear TransformationsCeni Babaoglu, PhD
The seminar series will focus on the mathematical background needed for machine learning. The first set of the seminars will be on "Linear Algebra for Machine Learning". Here are the slides of the third part which is discussing factorization and linear transformations.
Here is the link of the first part which was discussing linear systems: https://www.slideshare.net/CeniBabaogluPhDinMat/linear-algebra-for-machine-learning-linear-systems/1
Here are the slides of the second part which was discussing basis and dimension:
https://www.slideshare.net/CeniBabaogluPhDinMat/2-linear-algebra-for-machine-learning-basis-and-dimension
4. Linear Algebra for Machine Learning: Eigenvalues, Eigenvectors and Diagona...Ceni Babaoglu, PhD
The seminar series will focus on the mathematical background needed for machine learning. The first set of the seminars will be on "Linear Algebra for Machine Learning". Here are the slides of the fourth part which is discussing eigenvalues, eigenvectors and diagonalization.
Here is the link of the first part which was discussing linear systems: https://www.slideshare.net/CeniBabaogluPhDinMat/linear-algebra-for-machine-learning-linear-systems/1
Here are the slides of the second part which was discussing basis and dimension:
https://www.slideshare.net/CeniBabaogluPhDinMat/2-linear-algebra-for-machine-learning-basis-and-dimension
Here are the slides of the third part which is discussing factorization and linear transformations.
https://www.slideshare.net/CeniBabaogluPhDinMat/3-linear-algebra-for-machine-learning-factorization-and-linear-transformations-130813437
Application of Boolean pre-algebras to the foundations of Computer ScienceMarcelo Novaes
Senior thesis
Field: Mathematical Logic
Supervisor: Steffen Lewitzka
University: Universidade Federal da Bahia (UFBA)
Abstract:
"Increasing the expressiveness of a logical system is a goal of many fields in Computer Science such as Formal Systems, Knowledge construction, Linguistics, Universal Logic and Model Theory. The increasing of this expressiveness can be reached by the use of non-Fregean Logic, a non-classical logic. In non-Fregean Logic, formulas with the same truth value can have different denotations or meanings (also called situations). This concept breaks the Frege Axiom, the reason for the name non-Fregean Logic. Recently, it was shown that there is an equivalence between Boolean pre-algebras and non-Fregean logic models. This fact linked fields which were already using Boolean pre-algebras to represent their semantic models. In this thesis, an investigation on this equivalence is done and applications are exposed in the fields of Modal Logic, Truth Theory, Logic with Quantifiers and Epistemic Logic."
The full thesis can be found at http://repositorio.ufba.br/ri/handle/ri/1938
International Journal of Humanities and Social Science Invention (IJHSSI)inventionjournals
International Journal of Humanities and Social Science Invention (IJHSSI) is an international journal intended for professionals and researchers in all fields of Humanities and Social Science. IJHSSI publishes research articles and reviews within the whole field Humanities and Social Science, new teaching methods, assessment, validation and the impact of new technologies and it will continue to provide information on the latest trends and developments in this ever-expanding subject. The publications of papers are selected through double peer reviewed to ensure originality, relevance, and readability. The articles published in our journal can be accessed online.
I am Cage T. I am a Maths Assignment Solver at mathhomeworksolver.com. I hold a Master's in Mathematics, from Los Angeles, USA. I have been helping students with their assignments for the past 9 years. I solved assignments related to Maths .
Visit mathhomeworksolver.com or email support@mathhomeworksolver.com. You can also call on +1 678 648 4277 for any assistance with Maths Assignment.
I am Nicholas L. I am a Maths Assignment Expert at mathsassignmenthelp.com. I hold a Master's in Mathematics from the University of California. I have been helping students with their assignments for the past 10 years. I solve assignments related to Maths.
Visit mathsassignmenthelp.com or email info@mathsassignmenthelp.com.
You can also call +1 678 648 4277 for any assistance with Maths Assignments.
CA in Patna is a team of professional Chartered Accountant which are providing best services like Company Registration, Income Tax Return, Sales Tax Consultants, Bank Audit and other services specially in Patna.
CA in Dwarka is a team of professional Chartered Accountant which are providing best services like Company Registration, Income Tax Return, Sales Tax Consultants, Bank Audit and other services specially in Dwarka and Delhi NCR.
CA in Dwarka is a team of professional Chartered Accountant which are providing best services like Company Registration, Income Tax Return, Sales Tax Consultants, Bank Audit and other services specially in Dwarka and Delhi NCR.
CA in Dwarka is a team of professional Chartered Accountant which are providing best services like Company Registration, Income Tax Return, Sales Tax Consultants, Bank Audit and other services specially in Dwarka and Delhi NCR.
Css Founder is Website Designing Company working with the mission of Website For Everyone Website Start From 999/-* More Packages are available. we are best company in website designing company in Delhi, as we are also working in Website Designing company in Mumbai.
Css Founder is Website Designing Company working with the mission of Website For Everyone Website Start From 999/-* More Packages are available. we are best company in website designing company in Delhi, as we are also working in Website Designing company in Mumbai.
Css Founder is Website Designing Company working with the mission of Website For Everyone Website Start From 999/-* More Packages are available. we are best company in website designing company in Delhi, as we are also working in Website Designing company in Mumbai.
Css Founder is Website Designing Company working with the mission of Website For Everyone Website Start From 999/-* More Packages are available. we are best company in website designing company in Delhi, as we are also working in Website Designing company in Mumbai.
CA in Patna is a team of professional Chartered Accountant which are providing best services like Company Registration, Income Tax Return, Sales Tax Consultants, Bank Audit and other services specially in Patna.
CA in Dwarka is a team of professional Chartered Accountant which are providing best services like Company Registration, Income Tax Return, Sales Tax Consultants, Bank Audit and other services specially in Dwarka and Delhi NCR.
CA in Dwarka is a team of professional Chartered Accountant which are providing best services like Company Registration, Income Tax Return, Sales Tax Consultants, Bank Audit and other services specially in Dwarka and Delhi NCR.
CA in Dwarka is a team of professional Chartered Accountant which are providing best services like Company Registration, Income Tax Return, Sales Tax Consultants, Bank Audit and other services specially in Dwarka and Delhi NCR.
Css Founder is Website Designing Company working with the mission of Website For Everyone Website Start From 999/-* More Packages are available. we are best company in website designing company in Delhi, as we are also working in Website Designing company in Mumbai.
Css Founder is Website Designing Company working with the mission of Website For Everyone Website Start From 999/-* More Packages are available. we are best company in website designing company in Delhi, as we are also working in Website Designing company in Mumbai.
Css Founder is Website Designing Company working with the mission of Website For Everyone Website Start From 999/-* More Packages are available. we are best company in website designing company in Delhi, as we are also working in Website Designing company in Mumbai.
Css Founder is Website Designing Company working with the mission of Website For Everyone Website Start From 999/-* More Packages are available. we are best company in website designing company in Delhi, as we are also working in Website Designing company in Mumbai.
Css Founder is Website Designing Company working with the mission of Website For Everyone Website Start From 999/-* More Packages are available. we are best company in website designing company in Delhi, as we are also working in Website Designing company in Mumbai.
Css Founder is Website Designing Company working with the mission of Website For Everyone Website Start From 999/-* More Packages are available. we are best company in website designing company in Delhi, as we are also working in Website Designing company in Mumbai.
Css Founder is Website Designing Company working with the mission of Website For Everyone Website Start From 999/-* More Packages are available. we are best company in website designing company in Delhi, as we are also working in Website Designing company in Mumbai.
Css Founder is Website Designing Company working with the mission of Website For Everyone Website Start From 999/-* More Packages are available. we are best company in website designing company in Delhi, as we are also working in Website Designing company in Mumbai.
The French Revolution, which began in 1789, was a period of radical social and political upheaval in France. It marked the decline of absolute monarchies, the rise of secular and democratic republics, and the eventual rise of Napoleon Bonaparte. This revolutionary period is crucial in understanding the transition from feudalism to modernity in Europe.
For more information, visit-www.vavaclasses.com
Unit 8 - Information and Communication Technology (Paper I).pdfThiyagu K
This slides describes the basic concepts of ICT, basics of Email, Emerging Technology and Digital Initiatives in Education. This presentations aligns with the UGC Paper I syllabus.
Embracing GenAI - A Strategic ImperativePeter Windle
Artificial Intelligence (AI) technologies such as Generative AI, Image Generators and Large Language Models have had a dramatic impact on teaching, learning and assessment over the past 18 months. The most immediate threat AI posed was to Academic Integrity with Higher Education Institutes (HEIs) focusing their efforts on combating the use of GenAI in assessment. Guidelines were developed for staff and students, policies put in place too. Innovative educators have forged paths in the use of Generative AI for teaching, learning and assessments leading to pockets of transformation springing up across HEIs, often with little or no top-down guidance, support or direction.
This Gasta posits a strategic approach to integrating AI into HEIs to prepare staff, students and the curriculum for an evolving world and workplace. We will highlight the advantages of working with these technologies beyond the realm of teaching, learning and assessment by considering prompt engineering skills, industry impact, curriculum changes, and the need for staff upskilling. In contrast, not engaging strategically with Generative AI poses risks, including falling behind peers, missed opportunities and failing to ensure our graduates remain employable. The rapid evolution of AI technologies necessitates a proactive and strategic approach if we are to remain relevant.
Safalta Digital marketing institute in Noida, provide complete applications that encompass a huge range of virtual advertising and marketing additives, which includes search engine optimization, virtual communication advertising, pay-per-click on marketing, content material advertising, internet analytics, and greater. These university courses are designed for students who possess a comprehensive understanding of virtual marketing strategies and attributes.Safalta Digital Marketing Institute in Noida is a first choice for young individuals or students who are looking to start their careers in the field of digital advertising. The institute gives specialized courses designed and certification.
for beginners, providing thorough training in areas such as SEO, digital communication marketing, and PPC training in Noida. After finishing the program, students receive the certifications recognised by top different universitie, setting a strong foundation for a successful career in digital marketing.
Acetabularia Information For Class 9 .docxvaibhavrinwa19
Acetabularia acetabulum is a single-celled green alga that in its vegetative state is morphologically differentiated into a basal rhizoid and an axially elongated stalk, which bears whorls of branching hairs. The single diploid nucleus resides in the rhizoid.
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
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
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