SlideShare a Scribd company logo
2
Most read
3
Most read
19
Most read
Unit-III Lattices and Boolean algebra
Rai University, Ahmedabad
LATTICES AND BOOLEAN ALGEBRA
COURSE-BCA
Subject- Discrete Mathematics
Unit-III
RAI UNIVERSITY, AHMEDABAD
Unit-III Lattices and Boolean algebra
Rai University, Ahmedabad
Lattices and Boolean algebra
Lattices:
Let L be a non-empty set closed under two binary operations called meet and join
denoted respectively by ⋀ ⋁ . Then L is called a lattice if the following
axioms hold where, a,b,c are element in L.
[ ] Commutative law:
∧ = ∧ ∨ = ∨
[ ] Associative law:
( ∧ ) ∧ = ∧ ( ∧ ) ( ∨ ) ∨ = ∨ ( ∨ )
[ ] Absorption law:
∧ ( ∨ ) = ∨ ( ∧ ) =
We will sometimes denote the lattice by ( ,∧,∨). When we want to know which
operations are involved.
Properties Of lattice:
1. Completeness:
A poset is called complete lattice if all its subsets have both a join and a meet.
Every complete lattice is bounded.
2. Conditional Completeness:
A conditional complete lattice is a lattice in which every non-empty subset that that
has that has an upper bound or has a join. (i.e. a least upper bound)
A conditionally complete lattice is either a complete lattice or a complete lattice
without its maximum element 1, its minimum element 0, or both.
Complete Lattice:
A poset is called complete lattice if all subsets have both a join and a meet.
Unit-III Lattices and Boolean algebra
Rai University, Ahmedabad
Bounded Lattice:
A bounded lattice is an algebraic structure of the form ( ,∨,∧ ,1,0) such that
( ,∨,∧) is a lattice, 0 (the lattices bottom) is the identity element for the join
operation ∨, and 1 (the lattice top) is the identity element for the meet operation ∧.
Identity laws
∨ 0 = ∨ 1 = 1
∧ 1 = ∧ 0 = 0
The non negative integers with the usual ordering
0 < 1 < 2 < 3…….
Have 0 as a lower bound but have no upper bound.
On the other hand the lattice P(U) of all subsets of any Universal set U is a
bounded lattice with U as an upper bound and the empty set ∅ as a lower bound.
Suppose = { , , , … … } is a finite lattice.
Then { ∨ ∨ ∨ … … ∨ } are upper and lower bounds for L respectively.
Theorem:
Every finite lattice L is bounded.
Distributive Lattice:
A lattice L is said to be distributive if for any elements a, b, c in L we have the
following distributive law:
∧ ( ∨ ) = ( ∧ ) ∨ ( ∧ )
&
∨ ( ∧ ) = ( ∨ ) ∧ ( ∨ )
Otherwise L is said to be non distributive.
The only non distributive lattices with fewer than 6 elements are called & .
Unit-III Lattices and Boolean algebra
Rai University, Ahmedabad
A lattice is distributive if and only if it does not have a sub lattice isomorphic
to .
Smallest non distributive Smallest non modular (and hence non
distributive) lattice N5
(but modular) lattice M3 (and hence non distributive) lattice N5
Complemented Lattice:
Let L be a bounded lattice with lower bound 0 and upper bound 1.Let a be an
element of L.
An element in L is called a complement of 0 if
∨ = and ∧ = 0
Complements need not exist and need not unique.
Example:
Unit-III Lattices and Boolean algebra
Rai University, Ahmedabad
Introduction to Boolean Algebra:
Boolean algebra is the algebra of two-valued logic with only sentential
connectives, or equivalently of algebras of sets under union and complementation.
The rigorous concept is that of a certain kind of algebra, analogous to the
mathematical notion of a group. This concept has roots and applications in logic,
set theory , topology, foundations of set theory (Boolean-valued models), measure
theory (measure algebras), functional analysis (algebras of projections), and ring
theory (Boolean rings). The study of Boolean algebras has several aspects:
structure theory, model theory of Boolean algebras, decidability and undesirability
questions for the class of Boolean algebras, and the indicated applications. In
addition, although not explained here, there are connections to other logics,
subsumption as a part of special kinds of algebraic logic, finite Boolean algebras
and switching circuit theory and Boolean matrices.
Definition simple properties:
Boolean algebra is one of the most interesting and important algebraic structure
which has significant applications in switching
circuits, logic and many branches of computer science and engineering.
Boolean algebra can be viewed as one of the special type of lattice.
A complemented distributive lattice with 0 and 1 is called Boolean algebra.
Generally Boolean algebra is denoted by (B, *,  , ', 0, 1).
Example 1 :
Unit-III Lattices and Boolean algebra
Rai University, Ahmedabad
(P (A), , , ‘ ,) is a Boolean algebra. This is an important example of Boolean
algebra [In fact the basic properties of
the (P (A), , , ‘) led to define the abstract concept of Boolean algebra]. Further, it
can be proved that every finite Boolean
algebra must be isomorphic to (P (A),  ,  , ' ,  A) for a suitably chosen finite
set A.
Simple properties of Boolean Algebra:
x + (x · y) = x
x · (x + y) = x
x + (−x) = 1
x · (−x) = 0
Sub Boolean algebra:
The Boolean algebra (Bn
, *, Å , ', 0,1) plays an important role in the construction of
switching circuits, electronic circuits and other applications. Also it can be proved
that every finite Boolean algebra is isomorphic to the above Boolean algebra (Bn
,
*, Å , ', 0,1), for some n. Thus, it is interesting to observe that number of elements
in any finite Boolean algebra must be
always 2n
, for some n.
Let (B, *, Å , ' , 0,1) be a Boolean algebra and S Í B. If S contains the elements 0
and 1 and is closed under the operation *, Å and ' then (S, *, Å , ', 0,1) is called
sub Boolean algebra.
Example :
Consider the Boolean algebra (P ({1,2,3}), Ç , È , ' ,f , {1,2,3})
Then (S = {f , {1}, {2,3}, {1,2,3}}, Ç , È , ', f , {1,2,3}) is also sub Boolean
algebra.
Similarly, S = ({f ,{3},{1,2},{1,2,3}}, Ç , È , ', f , {1,2,3}) is also sub Boolean
algebra.
But (S = ({f, {1}, {2,3}, {1,2,3}}, Ç , È ,' , f , {1,2,3})) is not a sub Boolean
algebra.
Unit-III Lattices and Boolean algebra
Rai University, Ahmedabad
Isomorphic Boolean algebra:
Let < ,∗,⊕, , 0,1 > & < , ⋂, ⋃, −, , > be two Boolean algebras.
A mapping : → is called Boolean homomorphism if all the operations of
the Boolean algebra are preserved.
It means that for any , ∈
( ∗ ) = ( ) ∩ ( )
( ⊕ ) = ( ) ∪ ( )
( ) = ( )
(0) =
(1) =
If the mapping is one-one also in addition to being homomorphism, then this
mapping is called isomorphism.
In particular if & are two Boolean algebra with respect to the same operation
⊕,∗ ,0,1 then : → is called isomorphism if
1. is one-one.
2. ( ⊕ ) = ( ) ⊕ ( )
3. ( ∗ ) = ( ) ∗ ( )
4. ( ) = ( )
For any , ∈ & are said to be isomorphic Boolean algebra.
Definition: Join Irreducible
Let < ,∗,⊕> an element ∈ is called Join-irreducible if it cannot be expressed
as the join (LUB) of two distinct elements.
Atom:
Let < ,∗,⊕> be a lattice & ∈ , then is said to be an atom if
a. is join-irreducible
Unit-III Lattices and Boolean algebra
Rai University, Ahmedabad
b. is covers of 0-element.
Boolean Expressions and their equivalence:
Boolean algebra uses Boolean variables and Boolean operators. Boolean variables
are binary variables and Boolean operators are logical operators. Some examples
of Boolean variables are A, B, C, a, b, c, X, Y, and Z.
There are three basic logical operators:
AND, OR, and NOT.
A Boolean expression is a combination of Boolean variables and Boolean
operators. There are many Boolean expressions that are logically equivalent to one
another. There are called equivalent expressions.
A Boolean function typically has one or more input variables and produces a result
that is based on these input values. The result can have a value of 0 or 1.
Most of the subsystems of a digital system take the form of a switching network. A
switching network has one or more inputs and can have one or more outputs. Each
output can be represented by a Boolean function with n variables.
2-input AND Gate
For a 2-input AND gate, the output Q is true if BOTH input A “AND” input B are
both true, giving the Boolean Expression of: ( Q = A and B ).
AND OR NOT
Unit-III Lattices and Boolean algebra
Rai University, Ahmedabad
Note that the Boolean Expression for a two input AND gate can be written as: A.B
or just simply AB without the decimal point.
2-input OR (Inclusive OR) Gate
For a 2-input OR gate, the output Q is true if EITHER input A “OR” input B is
true, giving the Boolean Expression of: ( Q = A or B ).
NOT Gate
For a single input NOT gate, the output Q is ONLY true when the input is “NOT”
true, the output is the inverse or complement of the input giving the Boolean
Expression of: ( Q = NOT A ).
Unit-III Lattices and Boolean algebra
Rai University, Ahmedabad
The NAND and the NOR Gates are a combination of the AND and OR Gates with
that of a NOT Gate or inverter.
2-input NAND (Not AND) Gate
For a 2-input NAND gate, the output Q is true if BOTH input A and input B are
NOT true, giving the Boolean Expression of: ( Q = not(A and B) ).
2-input NOR (Not OR) Gate
For a 2-input NOR gate, the output Q is true if BOTH input A and input B are
NOT true, giving the Boolean Expression of: ( Q = not(A or B) ).
Unit-III Lattices and Boolean algebra
Rai University, Ahmedabad
As well as the standard logic gates there are also two special types of logic gate
function called an Exclusive-OR Gate and an Exclusive-NOR Gate. The actions of
both of these types of gates can be made using the above standard gates however,
as they are widely used functions, they are now available in standard IC form and
have been included here as reference.
2-input EX-OR (Exclusive OR) Gate
For a 2-input Ex-OR gate, the output Q is true if EITHER input A or if input B is
true, but NOT both giving the Boolean Expression of: ( Q = (A and NOT B) or
(NOT A and B) ).
2-input EX-NOR (Exclusive NOR) Gate
Unit-III Lattices and Boolean algebra
Rai University, Ahmedabad
For a 2-input Ex-NOR gate, the output Q is true if BOTH input A and input B are
the same, either true or false, giving the Boolean Expression of: ( Q = (A and B) or
(NOT A and NOT B) ).
Summary of 2-input Logic Gates
The following Truth Table compares the logical functions of the 2-input logic
gates above.
Inputs Truth Table Outputs For Each Gate
A B AND NAND OR NOR EX-
OR
EX-
NOR
0 0 0 1 0 1 0 1
0 1 0 1 1 0 1 0
1 0 0 1 1 0 1 0
1 1 1 0 1 0 0 1
The following table gives a list of the common logic functions and their equivalent
Boolean notation.
Logic Function Boolean Notation
AND A.B
OR A+B
NOT A
NAND A .B
NOR A+B
Unit-III Lattices and Boolean algebra
Rai University, Ahmedabad
EX-OR (A.B) + (A.B) or A B
EX-NOR (A.B) + or A B
Example
Find the Boolean algebra expression for the following system.
The system consists of an AND Gate, a NOR Gate and finally an OR Gate. The
expression for the AND gate is A.B, and the expression for the NOR gate is A+B.
Both these expressions are also separate inputs to the OR gate which is defined as
A+B. Thus the final output expression is given as:
The output of the system is given as Q = (A.B) + (A+B), but the notation A+B is
the same as the De Morgan´s notation A.B, Then substituting A.B into the output
expression gives us a final output notation of Q = (A.B)+(A.B), which is the
Boolean notation for an Exclusive-NOR Gate as seen in the previous section.
Inputs Intermediates Output
B A A.B A + B Q
0 0 0 1 1
0 1 0 0 0
1 0 0 0 0
Unit-III Lattices and Boolean algebra
Rai University, Ahmedabad
1 1 1 0 1
Then, the whole circuit above can be replaced by just one single Exclusive-NOR
Gate and indeed an Exclusive-NOR Gate is made up of these individual gate
functions.
Example
Find the Boolean algebra expression for the following system.
This system may look more complicated than the other two to analyse but again,
the logic circuit just consists of simple AND, OR and NOT gates connected
together.
As with the previous Boolean examples, we can simplify the circuit by writing
down the Boolean notation for each logic gate function in turn in order to give us a
final expression for the output at Q.
Unit-III Lattices and Boolean algebra
Rai University, Ahmedabad
The output from the 3-input AND gate is only at logic “1” when ALL the gates
inputs are HIGH at logic level “1” (A.B.C). The output from the lower OR gate is
only a “1” when one or both inputs B or C are at logic level “0”. The output from
the 2-input AND gate is a “1” when input A is a “1” and inputs B or C are at “0”.
Then the output at Q is only a “1” when inputs A.B.C equal “1” or A is equal to
“1” and both inputs B or C equal “0”, A.(B+C).
By using “de Morgan’s theorem” inputs B and input C cancel out as to produce
an output at Q they can be either at logic “1” or at logic “0”. Then this just leaves
input A as the only input needed to give an output at Q as shown in the table
below.
Inputs Intermediates Output
C B A A.B.C B C B+C A.(B+C) Q
0 0 0 0 1 1 1 0 0
0 0 1 0 1 1 1 1 1
0 1 0 0 0 1 1 0 0
0 1 1 0 0 1 1 1 1
1 0 0 0 1 0 1 0 0
1 0 1 0 1 0 1 1 1
1 1 0 0 0 0 0 0 0
1 1 1 1 0 0 0 0 1
Minterms and Maxterms:
Each row of a truth table can be associated with a minterm, which is a product
(AND) of all variables in the function, in direct or complemented form. A minterm
has the property that it is equal to 1 on exactly one row of the truth table.
Here is the three-variable truth table and the corresponding minterms:
minterm
0 0 0
0 0 1
Unit-III Lattices and Boolean algebra
Rai University, Ahmedabad
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
The subscript on the minterm is the number of the row on which it equals 1. (The
row numbers are obtained by reading the values of the variables on that row as a
binary number.)
Minterms provide a way to represent any Boolean function algebraically, once its
truth table is specified. The function is given by the sum (OR) of those minterms
corresponding to rows where the function is 1. By the minterm property, the OR
will contain a term equal to 1 (making the function 1) on exactly those rows where
the function is supposed to be 1.
Example—
Suppose a function is defined by the following truth table:
0 0 0 0
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 1
Since on rows 1, 2, 4, and 7, we obtain
A compact notation is to write only the numbers of the minterms included in ,
using the Greek letter capital sigma to indicate a sum:
Unit-III Lattices and Boolean algebra
Rai University, Ahmedabad
This form can be written down immediately by inspection of the truth table.
The foregoing proves that once we have specified a Boolean function by means of
its truth table, we are (in principle) able to implement it by means of logic gates
that perform the AND, OR, and NOT functions.
Equivalence of two functions:
Two Boolean expressions represent the same function if their truth tables are
identical. In form they will be the same.
Each row of a truth table is also associated with a Maxterm, which is a sum (OR)
of all the variables in the function, in direct or complemented form. A Maxterm
has the property that it is equal to 0 on exactly one row of the truth table.
Here is the three-variable truth table and the corresponding Maxterms:
Maxterms
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
Like minterms, Maxterms also provide a way to represent any Boolean function
algebraically once its truth table is specified. The function is given by the product
(AND) of those Maxterms corresponding to rows where the function is 0. By the
Maxterms property, the AND will contain a term equal to 0 (making the function
0) on exactly those rows where the function is supposed to be 0.
Unit-III Lattices and Boolean algebra
Rai University, Ahmedabad
Example: for the same function as previously, we observe that it is 0 on rows 0, 3,
5, and 6. So
This form also lends itself to a compact notation: using the Greek letter capital pi
to denote a product, we write only the numbers of the Maxterms included in :
Two Boolean functions are equivalent if their forms are the same.
The and notational forms for a given function are related: each form contains
all the row numbers omitted in the other form.
Unit-III Lattices and Boolean algebra
Rai University, Ahmedabad
References:
http://plato.stanford.edu/entries/boolalg-math/#elem
http://venus.cs.qc.cuny.edu/~vivek/csci343_1129/supp/Boolean%20Algebra.pdf
http://www.electronics-tutorials.ws/boolean/bool_7.html
http://www.dsm.fordham.edu/~moniot/Classes/CompOrganization/boolean-outline/node4.html

More Related Content

PPTX
BOOLEAN ALGEBRA AND LOGIC GATE
PPTX
Introduction to Graph Theory
PPT
Spanning trees
PPTX
Logic simplification sop and pos forms
PPTX
DAA-Floyd Warshall Algorithm.pptx
PPTX
Introduction to Graph Theory
PPTX
Fuzzy graph
BOOLEAN ALGEBRA AND LOGIC GATE
Introduction to Graph Theory
Spanning trees
Logic simplification sop and pos forms
DAA-Floyd Warshall Algorithm.pptx
Introduction to Graph Theory
Fuzzy graph

What's hot (20)

PPTX
Threaded Binary Tree
PPTX
single linked list
PPTX
Ring-ppt.pptx
PDF
PPSX
Data Structure (Tree)
PPT
Regular Grammar
PPTX
Graph traversals in Data Structures
PDF
Graph theory and its applications
PPTX
Trees in data structures
PDF
linear search and binary search
PDF
Boolean algebra & logic gates
PPTX
Linked list
PDF
BCA_Semester-II-Discrete Mathematics_unit-ii_Relation and ordering
PPT
Singly link list
PPT
Chapter 5 Graphs (1).ppt
PPT
Binary codes
PPTX
Knapsack Problem
PPTX
vector space and subspace
PPTX
Rank of Matrix_Normal Form .pptx
Threaded Binary Tree
single linked list
Ring-ppt.pptx
Data Structure (Tree)
Regular Grammar
Graph traversals in Data Structures
Graph theory and its applications
Trees in data structures
linear search and binary search
Boolean algebra & logic gates
Linked list
BCA_Semester-II-Discrete Mathematics_unit-ii_Relation and ordering
Singly link list
Chapter 5 Graphs (1).ppt
Binary codes
Knapsack Problem
vector space and subspace
Rank of Matrix_Normal Form .pptx
Ad

Viewers also liked (20)

PPT
Ch 2 lattice & boolean algebra
PPTX
Lattices AND Hasse Diagrams
PPTX
Hasse diagram
PDF
PPTX
Bca i-fundamental of computer-u-3-functions operating systems
DOCX
sanjeev resume
PDF
BCA_MATHEMATICS-I_Unit-IV
PDF
Basic mathematics code 303102 bca 1st semester exam. 2014
PDF
Matrix Inverse, IMT
PPTX
Relations and Functions
PPTX
Determinant
PDF
Linear Programming Problems : Dr. Purnima Pandit
PPTX
Relations & Functions
DOCX
B.tech ii unit-5 material vector integration
DOCX
BSC_Computer Science_Discrete Mathematics_Unit-I
PDF
B.Tech-II_Unit-III
DOCX
B.tech ii unit-4 material vector differentiation
PDF
B.Tech-II_Unit-I
DOCX
Unit 1 Introduction
DOCX
Btech_II_ engineering mathematics_unit4
Ch 2 lattice & boolean algebra
Lattices AND Hasse Diagrams
Hasse diagram
Bca i-fundamental of computer-u-3-functions operating systems
sanjeev resume
BCA_MATHEMATICS-I_Unit-IV
Basic mathematics code 303102 bca 1st semester exam. 2014
Matrix Inverse, IMT
Relations and Functions
Determinant
Linear Programming Problems : Dr. Purnima Pandit
Relations & Functions
B.tech ii unit-5 material vector integration
BSC_Computer Science_Discrete Mathematics_Unit-I
B.Tech-II_Unit-III
B.tech ii unit-4 material vector differentiation
B.Tech-II_Unit-I
Unit 1 Introduction
Btech_II_ engineering mathematics_unit4
Ad

Similar to BCA_Semester-II-Discrete Mathematics_unit-iii_Lattices and boolean algebra (20)

PDF
Chapter 2.pdf
PPTX
FALLSEM2025-26_BEEE206L_TH_VL2025260101038_2025-07-09_Reference-Material-II.pptx
PDF
Chapter_11.pdf
PPT
Unit-1 Part-2-v1.ppt
PPTX
Asima Final Presentation.pptx
PPTX
Digital electronics
PDF
DLD Chapter-2.pdf
PDF
Matlab practical ---4.pdf
PDF
Boolean Algebra for Computer Science Student.pdf
PPTX
Introduction to digital logic
PDF
boolean-algebra.pdf
PDF
Boolean Algebra.pdf
PPTX
Logic gates ,flip flop ,registers and
PPTX
Boolean Logic& Algebra.pptx
PDF
2nd PUC computer science chapter 2 boolean algebra 1
PPTX
Week4_BooleanAlgebra.pptx
PPT
Boolean Algebra DLD
PDF
FYBSC IT Digital Electronics Unit II Chapter I Boolean Algebra and Logic Gates
PDF
B sc ii sem unit 2(b) ba
PPT
Understanding logic design in digital electronics.ppt
Chapter 2.pdf
FALLSEM2025-26_BEEE206L_TH_VL2025260101038_2025-07-09_Reference-Material-II.pptx
Chapter_11.pdf
Unit-1 Part-2-v1.ppt
Asima Final Presentation.pptx
Digital electronics
DLD Chapter-2.pdf
Matlab practical ---4.pdf
Boolean Algebra for Computer Science Student.pdf
Introduction to digital logic
boolean-algebra.pdf
Boolean Algebra.pdf
Logic gates ,flip flop ,registers and
Boolean Logic& Algebra.pptx
2nd PUC computer science chapter 2 boolean algebra 1
Week4_BooleanAlgebra.pptx
Boolean Algebra DLD
FYBSC IT Digital Electronics Unit II Chapter I Boolean Algebra and Logic Gates
B sc ii sem unit 2(b) ba
Understanding logic design in digital electronics.ppt

More from Rai University (20)

PDF
Brochure Rai University
PPT
Mm unit 4point2
PPT
Mm unit 4point1
PPT
Mm unit 4point3
PPT
Mm unit 3point2
PPTX
Mm unit 3point1
PPTX
Mm unit 2point2
PPT
Mm unit 2 point 1
PPT
Mm unit 1point3
PPT
Mm unit 1point2
PPTX
Mm unit 1point1
DOCX
Bdft ii, tmt, unit-iii, dyeing & types of dyeing,
PPTX
Bsc agri 2 pae u-4.4 publicrevenue-presentation-130208082149-phpapp02
PPTX
Bsc agri 2 pae u-4.3 public expenditure
PPTX
Bsc agri 2 pae u-4.2 public finance
PPS
Bsc agri 2 pae u-4.1 introduction
PPT
Bsc agri 2 pae u-3.3 inflation
PPTX
Bsc agri 2 pae u-3.2 introduction to macro economics
PPTX
Bsc agri 2 pae u-3.1 marketstructure
PPTX
Bsc agri 2 pae u-3 perfect-competition
Brochure Rai University
Mm unit 4point2
Mm unit 4point1
Mm unit 4point3
Mm unit 3point2
Mm unit 3point1
Mm unit 2point2
Mm unit 2 point 1
Mm unit 1point3
Mm unit 1point2
Mm unit 1point1
Bdft ii, tmt, unit-iii, dyeing & types of dyeing,
Bsc agri 2 pae u-4.4 publicrevenue-presentation-130208082149-phpapp02
Bsc agri 2 pae u-4.3 public expenditure
Bsc agri 2 pae u-4.2 public finance
Bsc agri 2 pae u-4.1 introduction
Bsc agri 2 pae u-3.3 inflation
Bsc agri 2 pae u-3.2 introduction to macro economics
Bsc agri 2 pae u-3.1 marketstructure
Bsc agri 2 pae u-3 perfect-competition

Recently uploaded (20)

PDF
The Lost Whites of Pakistan by Jahanzaib Mughal.pdf
PPTX
Cell Types and Its function , kingdom of life
PDF
O5-L3 Freight Transport Ops (International) V1.pdf
PPTX
school management -TNTEU- B.Ed., Semester II Unit 1.pptx
PDF
102 student loan defaulters named and shamed – Is someone you know on the list?
PPTX
Final Presentation General Medicine 03-08-2024.pptx
PPTX
master seminar digital applications in india
PDF
Module 4: Burden of Disease Tutorial Slides S2 2025
PPTX
Institutional Correction lecture only . . .
PDF
Saundersa Comprehensive Review for the NCLEX-RN Examination.pdf
PDF
GENETICS IN BIOLOGY IN SECONDARY LEVEL FORM 3
PDF
Supply Chain Operations Speaking Notes -ICLT Program
PDF
Computing-Curriculum for Schools in Ghana
PPTX
GDM (1) (1).pptx small presentation for students
PDF
grade 11-chemistry_fetena_net_5883.pdf teacher guide for all student
PDF
STATICS OF THE RIGID BODIES Hibbelers.pdf
PDF
Anesthesia in Laparoscopic Surgery in India
PDF
VCE English Exam - Section C Student Revision Booklet
PPTX
Presentation on HIE in infants and its manifestations
PDF
Classroom Observation Tools for Teachers
The Lost Whites of Pakistan by Jahanzaib Mughal.pdf
Cell Types and Its function , kingdom of life
O5-L3 Freight Transport Ops (International) V1.pdf
school management -TNTEU- B.Ed., Semester II Unit 1.pptx
102 student loan defaulters named and shamed – Is someone you know on the list?
Final Presentation General Medicine 03-08-2024.pptx
master seminar digital applications in india
Module 4: Burden of Disease Tutorial Slides S2 2025
Institutional Correction lecture only . . .
Saundersa Comprehensive Review for the NCLEX-RN Examination.pdf
GENETICS IN BIOLOGY IN SECONDARY LEVEL FORM 3
Supply Chain Operations Speaking Notes -ICLT Program
Computing-Curriculum for Schools in Ghana
GDM (1) (1).pptx small presentation for students
grade 11-chemistry_fetena_net_5883.pdf teacher guide for all student
STATICS OF THE RIGID BODIES Hibbelers.pdf
Anesthesia in Laparoscopic Surgery in India
VCE English Exam - Section C Student Revision Booklet
Presentation on HIE in infants and its manifestations
Classroom Observation Tools for Teachers

BCA_Semester-II-Discrete Mathematics_unit-iii_Lattices and boolean algebra

  • 1. Unit-III Lattices and Boolean algebra Rai University, Ahmedabad LATTICES AND BOOLEAN ALGEBRA COURSE-BCA Subject- Discrete Mathematics Unit-III RAI UNIVERSITY, AHMEDABAD
  • 2. Unit-III Lattices and Boolean algebra Rai University, Ahmedabad Lattices and Boolean algebra Lattices: Let L be a non-empty set closed under two binary operations called meet and join denoted respectively by ⋀ ⋁ . Then L is called a lattice if the following axioms hold where, a,b,c are element in L. [ ] Commutative law: ∧ = ∧ ∨ = ∨ [ ] Associative law: ( ∧ ) ∧ = ∧ ( ∧ ) ( ∨ ) ∨ = ∨ ( ∨ ) [ ] Absorption law: ∧ ( ∨ ) = ∨ ( ∧ ) = We will sometimes denote the lattice by ( ,∧,∨). When we want to know which operations are involved. Properties Of lattice: 1. Completeness: A poset is called complete lattice if all its subsets have both a join and a meet. Every complete lattice is bounded. 2. Conditional Completeness: A conditional complete lattice is a lattice in which every non-empty subset that that has that has an upper bound or has a join. (i.e. a least upper bound) A conditionally complete lattice is either a complete lattice or a complete lattice without its maximum element 1, its minimum element 0, or both. Complete Lattice: A poset is called complete lattice if all subsets have both a join and a meet.
  • 3. Unit-III Lattices and Boolean algebra Rai University, Ahmedabad Bounded Lattice: A bounded lattice is an algebraic structure of the form ( ,∨,∧ ,1,0) such that ( ,∨,∧) is a lattice, 0 (the lattices bottom) is the identity element for the join operation ∨, and 1 (the lattice top) is the identity element for the meet operation ∧. Identity laws ∨ 0 = ∨ 1 = 1 ∧ 1 = ∧ 0 = 0 The non negative integers with the usual ordering 0 < 1 < 2 < 3……. Have 0 as a lower bound but have no upper bound. On the other hand the lattice P(U) of all subsets of any Universal set U is a bounded lattice with U as an upper bound and the empty set ∅ as a lower bound. Suppose = { , , , … … } is a finite lattice. Then { ∨ ∨ ∨ … … ∨ } are upper and lower bounds for L respectively. Theorem: Every finite lattice L is bounded. Distributive Lattice: A lattice L is said to be distributive if for any elements a, b, c in L we have the following distributive law: ∧ ( ∨ ) = ( ∧ ) ∨ ( ∧ ) & ∨ ( ∧ ) = ( ∨ ) ∧ ( ∨ ) Otherwise L is said to be non distributive. The only non distributive lattices with fewer than 6 elements are called & .
  • 4. Unit-III Lattices and Boolean algebra Rai University, Ahmedabad A lattice is distributive if and only if it does not have a sub lattice isomorphic to . Smallest non distributive Smallest non modular (and hence non distributive) lattice N5 (but modular) lattice M3 (and hence non distributive) lattice N5 Complemented Lattice: Let L be a bounded lattice with lower bound 0 and upper bound 1.Let a be an element of L. An element in L is called a complement of 0 if ∨ = and ∧ = 0 Complements need not exist and need not unique. Example:
  • 5. Unit-III Lattices and Boolean algebra Rai University, Ahmedabad Introduction to Boolean Algebra: Boolean algebra is the algebra of two-valued logic with only sentential connectives, or equivalently of algebras of sets under union and complementation. The rigorous concept is that of a certain kind of algebra, analogous to the mathematical notion of a group. This concept has roots and applications in logic, set theory , topology, foundations of set theory (Boolean-valued models), measure theory (measure algebras), functional analysis (algebras of projections), and ring theory (Boolean rings). The study of Boolean algebras has several aspects: structure theory, model theory of Boolean algebras, decidability and undesirability questions for the class of Boolean algebras, and the indicated applications. In addition, although not explained here, there are connections to other logics, subsumption as a part of special kinds of algebraic logic, finite Boolean algebras and switching circuit theory and Boolean matrices. Definition simple properties: Boolean algebra is one of the most interesting and important algebraic structure which has significant applications in switching circuits, logic and many branches of computer science and engineering. Boolean algebra can be viewed as one of the special type of lattice. A complemented distributive lattice with 0 and 1 is called Boolean algebra. Generally Boolean algebra is denoted by (B, *,  , ', 0, 1). Example 1 :
  • 6. Unit-III Lattices and Boolean algebra Rai University, Ahmedabad (P (A), , , ‘ ,) is a Boolean algebra. This is an important example of Boolean algebra [In fact the basic properties of the (P (A), , , ‘) led to define the abstract concept of Boolean algebra]. Further, it can be proved that every finite Boolean algebra must be isomorphic to (P (A),  ,  , ' ,  A) for a suitably chosen finite set A. Simple properties of Boolean Algebra: x + (x · y) = x x · (x + y) = x x + (−x) = 1 x · (−x) = 0 Sub Boolean algebra: The Boolean algebra (Bn , *, Å , ', 0,1) plays an important role in the construction of switching circuits, electronic circuits and other applications. Also it can be proved that every finite Boolean algebra is isomorphic to the above Boolean algebra (Bn , *, Å , ', 0,1), for some n. Thus, it is interesting to observe that number of elements in any finite Boolean algebra must be always 2n , for some n. Let (B, *, Å , ' , 0,1) be a Boolean algebra and S Í B. If S contains the elements 0 and 1 and is closed under the operation *, Å and ' then (S, *, Å , ', 0,1) is called sub Boolean algebra. Example : Consider the Boolean algebra (P ({1,2,3}), Ç , È , ' ,f , {1,2,3}) Then (S = {f , {1}, {2,3}, {1,2,3}}, Ç , È , ', f , {1,2,3}) is also sub Boolean algebra. Similarly, S = ({f ,{3},{1,2},{1,2,3}}, Ç , È , ', f , {1,2,3}) is also sub Boolean algebra. But (S = ({f, {1}, {2,3}, {1,2,3}}, Ç , È ,' , f , {1,2,3})) is not a sub Boolean algebra.
  • 7. Unit-III Lattices and Boolean algebra Rai University, Ahmedabad Isomorphic Boolean algebra: Let < ,∗,⊕, , 0,1 > & < , ⋂, ⋃, −, , > be two Boolean algebras. A mapping : → is called Boolean homomorphism if all the operations of the Boolean algebra are preserved. It means that for any , ∈ ( ∗ ) = ( ) ∩ ( ) ( ⊕ ) = ( ) ∪ ( ) ( ) = ( ) (0) = (1) = If the mapping is one-one also in addition to being homomorphism, then this mapping is called isomorphism. In particular if & are two Boolean algebra with respect to the same operation ⊕,∗ ,0,1 then : → is called isomorphism if 1. is one-one. 2. ( ⊕ ) = ( ) ⊕ ( ) 3. ( ∗ ) = ( ) ∗ ( ) 4. ( ) = ( ) For any , ∈ & are said to be isomorphic Boolean algebra. Definition: Join Irreducible Let < ,∗,⊕> an element ∈ is called Join-irreducible if it cannot be expressed as the join (LUB) of two distinct elements. Atom: Let < ,∗,⊕> be a lattice & ∈ , then is said to be an atom if a. is join-irreducible
  • 8. Unit-III Lattices and Boolean algebra Rai University, Ahmedabad b. is covers of 0-element. Boolean Expressions and their equivalence: Boolean algebra uses Boolean variables and Boolean operators. Boolean variables are binary variables and Boolean operators are logical operators. Some examples of Boolean variables are A, B, C, a, b, c, X, Y, and Z. There are three basic logical operators: AND, OR, and NOT. A Boolean expression is a combination of Boolean variables and Boolean operators. There are many Boolean expressions that are logically equivalent to one another. There are called equivalent expressions. A Boolean function typically has one or more input variables and produces a result that is based on these input values. The result can have a value of 0 or 1. Most of the subsystems of a digital system take the form of a switching network. A switching network has one or more inputs and can have one or more outputs. Each output can be represented by a Boolean function with n variables. 2-input AND Gate For a 2-input AND gate, the output Q is true if BOTH input A “AND” input B are both true, giving the Boolean Expression of: ( Q = A and B ). AND OR NOT
  • 9. Unit-III Lattices and Boolean algebra Rai University, Ahmedabad Note that the Boolean Expression for a two input AND gate can be written as: A.B or just simply AB without the decimal point. 2-input OR (Inclusive OR) Gate For a 2-input OR gate, the output Q is true if EITHER input A “OR” input B is true, giving the Boolean Expression of: ( Q = A or B ). NOT Gate For a single input NOT gate, the output Q is ONLY true when the input is “NOT” true, the output is the inverse or complement of the input giving the Boolean Expression of: ( Q = NOT A ).
  • 10. Unit-III Lattices and Boolean algebra Rai University, Ahmedabad The NAND and the NOR Gates are a combination of the AND and OR Gates with that of a NOT Gate or inverter. 2-input NAND (Not AND) Gate For a 2-input NAND gate, the output Q is true if BOTH input A and input B are NOT true, giving the Boolean Expression of: ( Q = not(A and B) ). 2-input NOR (Not OR) Gate For a 2-input NOR gate, the output Q is true if BOTH input A and input B are NOT true, giving the Boolean Expression of: ( Q = not(A or B) ).
  • 11. Unit-III Lattices and Boolean algebra Rai University, Ahmedabad As well as the standard logic gates there are also two special types of logic gate function called an Exclusive-OR Gate and an Exclusive-NOR Gate. The actions of both of these types of gates can be made using the above standard gates however, as they are widely used functions, they are now available in standard IC form and have been included here as reference. 2-input EX-OR (Exclusive OR) Gate For a 2-input Ex-OR gate, the output Q is true if EITHER input A or if input B is true, but NOT both giving the Boolean Expression of: ( Q = (A and NOT B) or (NOT A and B) ). 2-input EX-NOR (Exclusive NOR) Gate
  • 12. Unit-III Lattices and Boolean algebra Rai University, Ahmedabad For a 2-input Ex-NOR gate, the output Q is true if BOTH input A and input B are the same, either true or false, giving the Boolean Expression of: ( Q = (A and B) or (NOT A and NOT B) ). Summary of 2-input Logic Gates The following Truth Table compares the logical functions of the 2-input logic gates above. Inputs Truth Table Outputs For Each Gate A B AND NAND OR NOR EX- OR EX- NOR 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 1 1 0 1 0 0 1 The following table gives a list of the common logic functions and their equivalent Boolean notation. Logic Function Boolean Notation AND A.B OR A+B NOT A NAND A .B NOR A+B
  • 13. Unit-III Lattices and Boolean algebra Rai University, Ahmedabad EX-OR (A.B) + (A.B) or A B EX-NOR (A.B) + or A B Example Find the Boolean algebra expression for the following system. The system consists of an AND Gate, a NOR Gate and finally an OR Gate. The expression for the AND gate is A.B, and the expression for the NOR gate is A+B. Both these expressions are also separate inputs to the OR gate which is defined as A+B. Thus the final output expression is given as: The output of the system is given as Q = (A.B) + (A+B), but the notation A+B is the same as the De Morgan´s notation A.B, Then substituting A.B into the output expression gives us a final output notation of Q = (A.B)+(A.B), which is the Boolean notation for an Exclusive-NOR Gate as seen in the previous section. Inputs Intermediates Output B A A.B A + B Q 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0
  • 14. Unit-III Lattices and Boolean algebra Rai University, Ahmedabad 1 1 1 0 1 Then, the whole circuit above can be replaced by just one single Exclusive-NOR Gate and indeed an Exclusive-NOR Gate is made up of these individual gate functions. Example Find the Boolean algebra expression for the following system. This system may look more complicated than the other two to analyse but again, the logic circuit just consists of simple AND, OR and NOT gates connected together. As with the previous Boolean examples, we can simplify the circuit by writing down the Boolean notation for each logic gate function in turn in order to give us a final expression for the output at Q.
  • 15. Unit-III Lattices and Boolean algebra Rai University, Ahmedabad The output from the 3-input AND gate is only at logic “1” when ALL the gates inputs are HIGH at logic level “1” (A.B.C). The output from the lower OR gate is only a “1” when one or both inputs B or C are at logic level “0”. The output from the 2-input AND gate is a “1” when input A is a “1” and inputs B or C are at “0”. Then the output at Q is only a “1” when inputs A.B.C equal “1” or A is equal to “1” and both inputs B or C equal “0”, A.(B+C). By using “de Morgan’s theorem” inputs B and input C cancel out as to produce an output at Q they can be either at logic “1” or at logic “0”. Then this just leaves input A as the only input needed to give an output at Q as shown in the table below. Inputs Intermediates Output C B A A.B.C B C B+C A.(B+C) Q 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 1 1 1 1 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 Minterms and Maxterms: Each row of a truth table can be associated with a minterm, which is a product (AND) of all variables in the function, in direct or complemented form. A minterm has the property that it is equal to 1 on exactly one row of the truth table. Here is the three-variable truth table and the corresponding minterms: minterm 0 0 0 0 0 1
  • 16. Unit-III Lattices and Boolean algebra Rai University, Ahmedabad 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 The subscript on the minterm is the number of the row on which it equals 1. (The row numbers are obtained by reading the values of the variables on that row as a binary number.) Minterms provide a way to represent any Boolean function algebraically, once its truth table is specified. The function is given by the sum (OR) of those minterms corresponding to rows where the function is 1. By the minterm property, the OR will contain a term equal to 1 (making the function 1) on exactly those rows where the function is supposed to be 1. Example— Suppose a function is defined by the following truth table: 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 Since on rows 1, 2, 4, and 7, we obtain A compact notation is to write only the numbers of the minterms included in , using the Greek letter capital sigma to indicate a sum:
  • 17. Unit-III Lattices and Boolean algebra Rai University, Ahmedabad This form can be written down immediately by inspection of the truth table. The foregoing proves that once we have specified a Boolean function by means of its truth table, we are (in principle) able to implement it by means of logic gates that perform the AND, OR, and NOT functions. Equivalence of two functions: Two Boolean expressions represent the same function if their truth tables are identical. In form they will be the same. Each row of a truth table is also associated with a Maxterm, which is a sum (OR) of all the variables in the function, in direct or complemented form. A Maxterm has the property that it is equal to 0 on exactly one row of the truth table. Here is the three-variable truth table and the corresponding Maxterms: Maxterms 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 Like minterms, Maxterms also provide a way to represent any Boolean function algebraically once its truth table is specified. The function is given by the product (AND) of those Maxterms corresponding to rows where the function is 0. By the Maxterms property, the AND will contain a term equal to 0 (making the function 0) on exactly those rows where the function is supposed to be 0.
  • 18. Unit-III Lattices and Boolean algebra Rai University, Ahmedabad Example: for the same function as previously, we observe that it is 0 on rows 0, 3, 5, and 6. So This form also lends itself to a compact notation: using the Greek letter capital pi to denote a product, we write only the numbers of the Maxterms included in : Two Boolean functions are equivalent if their forms are the same. The and notational forms for a given function are related: each form contains all the row numbers omitted in the other form.
  • 19. Unit-III Lattices and Boolean algebra Rai University, Ahmedabad References: http://plato.stanford.edu/entries/boolalg-math/#elem http://venus.cs.qc.cuny.edu/~vivek/csci343_1129/supp/Boolean%20Algebra.pdf http://www.electronics-tutorials.ws/boolean/bool_7.html http://www.dsm.fordham.edu/~moniot/Classes/CompOrganization/boolean-outline/node4.html