SlideShare a Scribd company logo
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

What's hot

Partial-Orderings in Discrete Mathematics
 Partial-Orderings in Discrete Mathematics Partial-Orderings in Discrete Mathematics
Partial-Orderings in Discrete Mathematics
Meghaj Mallick
 
Complex function
Complex functionComplex function
Complex function
Shrey Patel
 
Numerical analysis ppt
Numerical analysis pptNumerical analysis ppt
Numerical analysis ppt
MalathiNagarajan20
 
Discrete Mathematics Lecture Notes
Discrete Mathematics Lecture NotesDiscrete Mathematics Lecture Notes
Discrete Mathematics Lecture Notes
FellowBuddy.com
 
Defuzzification
DefuzzificationDefuzzification
Fuzzy Set Theory
Fuzzy Set TheoryFuzzy Set Theory
Fuzzy Set TheoryAMIT KUMAR
 
Fuzzy Membership Function
Fuzzy Membership Function Fuzzy Membership Function
inverse z-transform ppt
inverse z-transform pptinverse z-transform ppt
inverse z-transform ppt
mihir jain
 
Inner product spaces
Inner product spacesInner product spaces
Inner product spaces
gidc engineering college
 
Recurrences
RecurrencesRecurrences
Propositional Logic and Pridicate logic
Propositional Logic and Pridicate logicPropositional Logic and Pridicate logic
Propositional Logic and Pridicate logic
Roorkee College of Engineering, Roorkee
 
Asymptotic notation
Asymptotic notationAsymptotic notation
Asymptotic notation
Dr Shashikant Athawale
 
Interpolation and its applications
Interpolation and its applicationsInterpolation and its applications
Interpolation and its applications
RinkuMonani
 
Fourier series Introduction
Fourier series IntroductionFourier series Introduction
Fourier series Introduction
Rizwan Kazi
 
lattice
 lattice lattice
Fuzzy Sets Introduction With Example
Fuzzy Sets Introduction With ExampleFuzzy Sets Introduction With Example
Fuzzy Sets Introduction With Example
raisnasir
 
Normal forms
Normal formsNormal forms
Normal forms
Viswanathasarma CH
 
Classical Sets & fuzzy sets
Classical Sets & fuzzy setsClassical Sets & fuzzy sets
Classical Sets & fuzzy sets
Dr.Ashvini Chaudhari Bhongade
 
Introduction to Functions of Several Variables
Introduction to Functions of Several VariablesIntroduction to Functions of Several Variables
Introduction to Functions of Several Variables
Nhan Nguyen
 

What's hot (20)

Partial-Orderings in Discrete Mathematics
 Partial-Orderings in Discrete Mathematics Partial-Orderings in Discrete Mathematics
Partial-Orderings in Discrete Mathematics
 
Complex function
Complex functionComplex function
Complex function
 
Numerical analysis ppt
Numerical analysis pptNumerical analysis ppt
Numerical analysis ppt
 
Discrete Mathematics Lecture Notes
Discrete Mathematics Lecture NotesDiscrete Mathematics Lecture Notes
Discrete Mathematics Lecture Notes
 
Defuzzification
DefuzzificationDefuzzification
Defuzzification
 
Fuzzy Set Theory
Fuzzy Set TheoryFuzzy Set Theory
Fuzzy Set Theory
 
Hasse diagram
Hasse diagramHasse diagram
Hasse diagram
 
Fuzzy Membership Function
Fuzzy Membership Function Fuzzy Membership Function
Fuzzy Membership Function
 
inverse z-transform ppt
inverse z-transform pptinverse z-transform ppt
inverse z-transform ppt
 
Inner product spaces
Inner product spacesInner product spaces
Inner product spaces
 
Recurrences
RecurrencesRecurrences
Recurrences
 
Propositional Logic and Pridicate logic
Propositional Logic and Pridicate logicPropositional Logic and Pridicate logic
Propositional Logic and Pridicate logic
 
Asymptotic notation
Asymptotic notationAsymptotic notation
Asymptotic notation
 
Interpolation and its applications
Interpolation and its applicationsInterpolation and its applications
Interpolation and its applications
 
Fourier series Introduction
Fourier series IntroductionFourier series Introduction
Fourier series Introduction
 
lattice
 lattice lattice
lattice
 
Fuzzy Sets Introduction With Example
Fuzzy Sets Introduction With ExampleFuzzy Sets Introduction With Example
Fuzzy Sets Introduction With Example
 
Normal forms
Normal formsNormal forms
Normal forms
 
Classical Sets & fuzzy sets
Classical Sets & fuzzy setsClassical Sets & fuzzy sets
Classical Sets & fuzzy sets
 
Introduction to Functions of Several Variables
Introduction to Functions of Several VariablesIntroduction to Functions of Several Variables
Introduction to Functions of Several Variables
 

Viewers also liked

Lattices AND Hasse Diagrams
Lattices AND Hasse DiagramsLattices AND Hasse Diagrams
Lattices AND Hasse Diagrams
Debarati Das
 
Bca i-fundamental of computer-u-3-functions operating systems
Bca  i-fundamental of  computer-u-3-functions operating systemsBca  i-fundamental of  computer-u-3-functions operating systems
Bca i-fundamental of computer-u-3-functions operating systems
Rai University
 
BCA_MATHEMATICS-I_Unit-IV
BCA_MATHEMATICS-I_Unit-IVBCA_MATHEMATICS-I_Unit-IV
BCA_MATHEMATICS-I_Unit-IV
Rai University
 
Basic mathematics code 303102 bca 1st semester exam. 2014
Basic mathematics    code   303102  bca     1st semester     exam.       2014Basic mathematics    code   303102  bca     1st semester     exam.       2014
Basic mathematics code 303102 bca 1st semester exam. 2014
umesh singh
 
Relations and Functions
Relations and FunctionsRelations and Functions
Relations and Functions
r3h1na
 
Determinant
DeterminantDeterminant
Determinant
sekh_dhi
 
Linear Programming Problems : Dr. Purnima Pandit
Linear Programming Problems : Dr. Purnima PanditLinear Programming Problems : Dr. Purnima Pandit
Linear Programming Problems : Dr. Purnima Pandit
Purnima Pandit
 
Relations & Functions
Relations & FunctionsRelations & Functions
Relations & Functions
J Edwards
 
B.tech ii unit-5 material vector integration
B.tech ii unit-5 material vector integrationB.tech ii unit-5 material vector integration
B.tech ii unit-5 material vector integration
Rai University
 
BSC_Computer Science_Discrete Mathematics_Unit-I
BSC_Computer Science_Discrete Mathematics_Unit-IBSC_Computer Science_Discrete Mathematics_Unit-I
BSC_Computer Science_Discrete Mathematics_Unit-I
Rai University
 
B.Tech-II_Unit-III
B.Tech-II_Unit-IIIB.Tech-II_Unit-III
B.Tech-II_Unit-IIIKundan Kumar
 
B.tech ii unit-4 material vector differentiation
B.tech ii unit-4 material vector differentiationB.tech ii unit-4 material vector differentiation
B.tech ii unit-4 material vector differentiation
Rai University
 
Unit 1 Introduction
Unit 1 IntroductionUnit 1 Introduction
Unit 1 Introduction
Rai University
 
Btech_II_ engineering mathematics_unit4
Btech_II_ engineering mathematics_unit4Btech_II_ engineering mathematics_unit4
Btech_II_ engineering mathematics_unit4
Rai University
 

Viewers also liked (20)

Lattices AND Hasse Diagrams
Lattices AND Hasse DiagramsLattices AND Hasse Diagrams
Lattices AND Hasse Diagrams
 
Poset
PosetPoset
Poset
 
Bca i-fundamental of computer-u-3-functions operating systems
Bca  i-fundamental of  computer-u-3-functions operating systemsBca  i-fundamental of  computer-u-3-functions operating systems
Bca i-fundamental of computer-u-3-functions operating systems
 
sanjeev resume
sanjeev resumesanjeev resume
sanjeev resume
 
BCA_MATHEMATICS-I_Unit-IV
BCA_MATHEMATICS-I_Unit-IVBCA_MATHEMATICS-I_Unit-IV
BCA_MATHEMATICS-I_Unit-IV
 
Basic mathematics code 303102 bca 1st semester exam. 2014
Basic mathematics    code   303102  bca     1st semester     exam.       2014Basic mathematics    code   303102  bca     1st semester     exam.       2014
Basic mathematics code 303102 bca 1st semester exam. 2014
 
Matrix Inverse, IMT
Matrix Inverse, IMTMatrix Inverse, IMT
Matrix Inverse, IMT
 
Relations and Functions
Relations and FunctionsRelations and Functions
Relations and Functions
 
Determinant
DeterminantDeterminant
Determinant
 
Linear Programming Problems : Dr. Purnima Pandit
Linear Programming Problems : Dr. Purnima PanditLinear Programming Problems : Dr. Purnima Pandit
Linear Programming Problems : Dr. Purnima Pandit
 
Relations & Functions
Relations & FunctionsRelations & Functions
Relations & Functions
 
B.tech ii unit-5 material vector integration
B.tech ii unit-5 material vector integrationB.tech ii unit-5 material vector integration
B.tech ii unit-5 material vector integration
 
BSC_Computer Science_Discrete Mathematics_Unit-I
BSC_Computer Science_Discrete Mathematics_Unit-IBSC_Computer Science_Discrete Mathematics_Unit-I
BSC_Computer Science_Discrete Mathematics_Unit-I
 
B.Tech-II_Unit-III
B.Tech-II_Unit-IIIB.Tech-II_Unit-III
B.Tech-II_Unit-III
 
B.tech ii unit-4 material vector differentiation
B.tech ii unit-4 material vector differentiationB.tech ii unit-4 material vector differentiation
B.tech ii unit-4 material vector differentiation
 
B.Tech-II_Unit-I
B.Tech-II_Unit-IB.Tech-II_Unit-I
B.Tech-II_Unit-I
 
Unit 1 Introduction
Unit 1 IntroductionUnit 1 Introduction
Unit 1 Introduction
 
Btech_II_ engineering mathematics_unit4
Btech_II_ engineering mathematics_unit4Btech_II_ engineering mathematics_unit4
Btech_II_ engineering mathematics_unit4
 
B.Tech-II_Unit-V
B.Tech-II_Unit-VB.Tech-II_Unit-V
B.Tech-II_Unit-V
 
merged_document
merged_documentmerged_document
merged_document
 

Similar to BCA_Semester-II-Discrete Mathematics_unit-iii_Lattices and boolean algebra

Chapter 2.pdf
Chapter 2.pdfChapter 2.pdf
Chapter 2.pdf
ssuserf7cd2b
 
Chapter_11.pdf
Chapter_11.pdfChapter_11.pdf
Chapter_11.pdf
Upinder Kaur
 
Unit-1 Part-2-v1.ppt
Unit-1 Part-2-v1.pptUnit-1 Part-2-v1.ppt
Unit-1 Part-2-v1.ppt
naresh414857
 
Asima Final Presentation.pptx
Asima Final Presentation.pptxAsima Final Presentation.pptx
Asima Final Presentation.pptx
UmakantaKaran1
 
Digital electronics
Digital electronicsDigital electronics
Digital electronics
nanishajieha
 
DLD Chapter-2.pdf
DLD Chapter-2.pdfDLD Chapter-2.pdf
DLD Chapter-2.pdf
TamiratDejene1
 
Introduction to digital logic
Introduction to digital logicIntroduction to digital logic
Introduction to digital logic
Kamal Acharya
 
boolean-algebra.pdf
boolean-algebra.pdfboolean-algebra.pdf
boolean-algebra.pdf
RameshK531901
 
Boolean Algebra.pdf
Boolean Algebra.pdfBoolean Algebra.pdf
Boolean Algebra.pdf
ssusere02873
 
Logic gates ,flip flop ,registers and
Logic gates ,flip flop ,registers andLogic gates ,flip flop ,registers and
Logic gates ,flip flop ,registers and
MuruganandhanD
 
Boolean Logic& Algebra.pptx
Boolean Logic& Algebra.pptxBoolean Logic& Algebra.pptx
Boolean Logic& Algebra.pptx
RamandeepKaur152744
 
2nd PUC computer science chapter 2 boolean algebra 1
2nd PUC computer science chapter 2  boolean algebra 12nd PUC computer science chapter 2  boolean algebra 1
2nd PUC computer science chapter 2 boolean algebra 1
Aahwini Esware gowda
 
Week4_BooleanAlgebra.pptx
Week4_BooleanAlgebra.pptxWeek4_BooleanAlgebra.pptx
Week4_BooleanAlgebra.pptx
AbubakrZahid1
 
Boolean Algebra DLD
Boolean Algebra DLDBoolean Algebra DLD
Boolean Algebra DLD
Rokonuzzaman Rony
 
FYBSC IT Digital Electronics Unit II Chapter I Boolean Algebra and Logic Gates
FYBSC IT Digital Electronics Unit II Chapter I Boolean Algebra and Logic GatesFYBSC IT Digital Electronics Unit II Chapter I Boolean Algebra and Logic Gates
FYBSC IT Digital Electronics Unit II Chapter I Boolean Algebra and Logic Gates
Arti Parab Academics
 
B sc ii sem unit 2(b) ba
B sc ii sem unit 2(b) baB sc ii sem unit 2(b) ba
B sc ii sem unit 2(b) ba
MahiboobAliMulla
 
Boolean Logic.pptx
Boolean Logic.pptxBoolean Logic.pptx
Boolean Logic.pptx
akshat205573
 
De Mornan Theory, Boolean Algebra, 7 logical get, truth table,
De Mornan Theory, Boolean Algebra, 7 logical get, truth table,  De Mornan Theory, Boolean Algebra, 7 logical get, truth table,
De Mornan Theory, Boolean Algebra, 7 logical get, truth table,
DharmaKumariBhandari
 
Journal of mathematical analysis and applications
Journal of mathematical analysis and applicationsJournal of mathematical analysis and applications
Journal of mathematical analysis and applicationsKassu Jilcha (PhD)
 

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

Chapter 2.pdf
Chapter 2.pdfChapter 2.pdf
Chapter 2.pdf
 
Chapter_11.pdf
Chapter_11.pdfChapter_11.pdf
Chapter_11.pdf
 
Unit-1 Part-2-v1.ppt
Unit-1 Part-2-v1.pptUnit-1 Part-2-v1.ppt
Unit-1 Part-2-v1.ppt
 
Asima Final Presentation.pptx
Asima Final Presentation.pptxAsima Final Presentation.pptx
Asima Final Presentation.pptx
 
Digital electronics
Digital electronicsDigital electronics
Digital electronics
 
DLD Chapter-2.pdf
DLD Chapter-2.pdfDLD Chapter-2.pdf
DLD Chapter-2.pdf
 
Matlab practical ---4.pdf
Matlab practical ---4.pdfMatlab practical ---4.pdf
Matlab practical ---4.pdf
 
Introduction to digital logic
Introduction to digital logicIntroduction to digital logic
Introduction to digital logic
 
boolean-algebra.pdf
boolean-algebra.pdfboolean-algebra.pdf
boolean-algebra.pdf
 
Boolean Algebra.pdf
Boolean Algebra.pdfBoolean Algebra.pdf
Boolean Algebra.pdf
 
Logic gates ,flip flop ,registers and
Logic gates ,flip flop ,registers andLogic gates ,flip flop ,registers and
Logic gates ,flip flop ,registers and
 
Boolean Logic& Algebra.pptx
Boolean Logic& Algebra.pptxBoolean Logic& Algebra.pptx
Boolean Logic& Algebra.pptx
 
2nd PUC computer science chapter 2 boolean algebra 1
2nd PUC computer science chapter 2  boolean algebra 12nd PUC computer science chapter 2  boolean algebra 1
2nd PUC computer science chapter 2 boolean algebra 1
 
Week4_BooleanAlgebra.pptx
Week4_BooleanAlgebra.pptxWeek4_BooleanAlgebra.pptx
Week4_BooleanAlgebra.pptx
 
Boolean Algebra DLD
Boolean Algebra DLDBoolean Algebra DLD
Boolean Algebra DLD
 
FYBSC IT Digital Electronics Unit II Chapter I Boolean Algebra and Logic Gates
FYBSC IT Digital Electronics Unit II Chapter I Boolean Algebra and Logic GatesFYBSC IT Digital Electronics Unit II Chapter I Boolean Algebra and Logic Gates
FYBSC IT Digital Electronics Unit II Chapter I Boolean Algebra and Logic Gates
 
B sc ii sem unit 2(b) ba
B sc ii sem unit 2(b) baB sc ii sem unit 2(b) ba
B sc ii sem unit 2(b) ba
 
Boolean Logic.pptx
Boolean Logic.pptxBoolean Logic.pptx
Boolean Logic.pptx
 
De Mornan Theory, Boolean Algebra, 7 logical get, truth table,
De Mornan Theory, Boolean Algebra, 7 logical get, truth table,  De Mornan Theory, Boolean Algebra, 7 logical get, truth table,
De Mornan Theory, Boolean Algebra, 7 logical get, truth table,
 
Journal of mathematical analysis and applications
Journal of mathematical analysis and applicationsJournal of mathematical analysis and applications
Journal of mathematical analysis and applications
 

More from Rai University

Brochure Rai University
Brochure Rai University Brochure Rai University
Brochure Rai University
Rai University
 
Mm unit 4point2
Mm unit 4point2Mm unit 4point2
Mm unit 4point2
Rai University
 
Mm unit 4point1
Mm unit 4point1Mm unit 4point1
Mm unit 4point1
Rai University
 
Mm unit 4point3
Mm unit 4point3Mm unit 4point3
Mm unit 4point3
Rai University
 
Mm unit 3point2
Mm unit 3point2Mm unit 3point2
Mm unit 3point2
Rai University
 
Mm unit 3point1
Mm unit 3point1Mm unit 3point1
Mm unit 3point1
Rai University
 
Mm unit 2point2
Mm unit 2point2Mm unit 2point2
Mm unit 2point2
Rai University
 
Mm unit 2 point 1
Mm unit 2 point 1Mm unit 2 point 1
Mm unit 2 point 1
Rai University
 
Mm unit 1point3
Mm unit 1point3Mm unit 1point3
Mm unit 1point3
Rai University
 
Mm unit 1point2
Mm unit 1point2Mm unit 1point2
Mm unit 1point2
Rai University
 
Mm unit 1point1
Mm unit 1point1Mm unit 1point1
Mm unit 1point1
Rai University
 
Bdft ii, tmt, unit-iii, dyeing & types of dyeing,
Bdft ii, tmt, unit-iii,  dyeing & types of dyeing,Bdft ii, tmt, unit-iii,  dyeing & types of dyeing,
Bdft ii, tmt, unit-iii, dyeing & types of dyeing,
Rai University
 
Bsc agri 2 pae u-4.4 publicrevenue-presentation-130208082149-phpapp02
Bsc agri  2 pae  u-4.4 publicrevenue-presentation-130208082149-phpapp02Bsc agri  2 pae  u-4.4 publicrevenue-presentation-130208082149-phpapp02
Bsc agri 2 pae u-4.4 publicrevenue-presentation-130208082149-phpapp02
Rai University
 
Bsc agri 2 pae u-4.3 public expenditure
Bsc agri  2 pae  u-4.3 public expenditureBsc agri  2 pae  u-4.3 public expenditure
Bsc agri 2 pae u-4.3 public expenditure
Rai University
 
Bsc agri 2 pae u-4.2 public finance
Bsc agri  2 pae  u-4.2 public financeBsc agri  2 pae  u-4.2 public finance
Bsc agri 2 pae u-4.2 public finance
Rai University
 
Bsc agri 2 pae u-4.1 introduction
Bsc agri  2 pae  u-4.1 introductionBsc agri  2 pae  u-4.1 introduction
Bsc agri 2 pae u-4.1 introduction
Rai University
 
Bsc agri 2 pae u-3.3 inflation
Bsc agri  2 pae  u-3.3  inflationBsc agri  2 pae  u-3.3  inflation
Bsc agri 2 pae u-3.3 inflation
Rai University
 
Bsc agri 2 pae u-3.2 introduction to macro economics
Bsc agri  2 pae  u-3.2 introduction to macro economicsBsc agri  2 pae  u-3.2 introduction to macro economics
Bsc agri 2 pae u-3.2 introduction to macro economics
Rai University
 
Bsc agri 2 pae u-3.1 marketstructure
Bsc agri  2 pae  u-3.1 marketstructureBsc agri  2 pae  u-3.1 marketstructure
Bsc agri 2 pae u-3.1 marketstructure
Rai University
 
Bsc agri 2 pae u-3 perfect-competition
Bsc agri  2 pae  u-3 perfect-competitionBsc agri  2 pae  u-3 perfect-competition
Bsc agri 2 pae u-3 perfect-competition
Rai University
 

More from Rai University (20)

Brochure Rai University
Brochure Rai University Brochure Rai University
Brochure Rai University
 
Mm unit 4point2
Mm unit 4point2Mm unit 4point2
Mm unit 4point2
 
Mm unit 4point1
Mm unit 4point1Mm unit 4point1
Mm unit 4point1
 
Mm unit 4point3
Mm unit 4point3Mm unit 4point3
Mm unit 4point3
 
Mm unit 3point2
Mm unit 3point2Mm unit 3point2
Mm unit 3point2
 
Mm unit 3point1
Mm unit 3point1Mm unit 3point1
Mm unit 3point1
 
Mm unit 2point2
Mm unit 2point2Mm unit 2point2
Mm unit 2point2
 
Mm unit 2 point 1
Mm unit 2 point 1Mm unit 2 point 1
Mm unit 2 point 1
 
Mm unit 1point3
Mm unit 1point3Mm unit 1point3
Mm unit 1point3
 
Mm unit 1point2
Mm unit 1point2Mm unit 1point2
Mm unit 1point2
 
Mm unit 1point1
Mm unit 1point1Mm unit 1point1
Mm unit 1point1
 
Bdft ii, tmt, unit-iii, dyeing & types of dyeing,
Bdft ii, tmt, unit-iii,  dyeing & types of dyeing,Bdft ii, tmt, unit-iii,  dyeing & types of dyeing,
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.4 publicrevenue-presentation-130208082149-phpapp02Bsc agri  2 pae  u-4.4 publicrevenue-presentation-130208082149-phpapp02
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.3 public expenditureBsc agri  2 pae  u-4.3 public expenditure
Bsc agri 2 pae u-4.3 public expenditure
 
Bsc agri 2 pae u-4.2 public finance
Bsc agri  2 pae  u-4.2 public financeBsc agri  2 pae  u-4.2 public finance
Bsc agri 2 pae u-4.2 public finance
 
Bsc agri 2 pae u-4.1 introduction
Bsc agri  2 pae  u-4.1 introductionBsc agri  2 pae  u-4.1 introduction
Bsc agri 2 pae u-4.1 introduction
 
Bsc agri 2 pae u-3.3 inflation
Bsc agri  2 pae  u-3.3  inflationBsc agri  2 pae  u-3.3  inflation
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.2 introduction to macro economicsBsc agri  2 pae  u-3.2 introduction to macro economics
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.1 marketstructureBsc agri  2 pae  u-3.1 marketstructure
Bsc agri 2 pae u-3.1 marketstructure
 
Bsc agri 2 pae u-3 perfect-competition
Bsc agri  2 pae  u-3 perfect-competitionBsc agri  2 pae  u-3 perfect-competition
Bsc agri 2 pae u-3 perfect-competition
 

Recently uploaded

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
 
The Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official PublicationThe Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official Publication
Delapenabediema
 
CACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdfCACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdf
camakaiclarkmusic
 
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
EugeneSaldivar
 
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
siemaillard
 
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
 
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
Levi Shapiro
 
A Strategic Approach: GenAI in Education
A Strategic Approach: GenAI in EducationA Strategic Approach: GenAI in Education
A Strategic Approach: GenAI in Education
Peter Windle
 
Introduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp NetworkIntroduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp Network
TechSoup
 
Digital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion DesignsDigital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion Designs
chanes7
 
Embracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic ImperativeEmbracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic Imperative
Peter Windle
 
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdf
Welcome to TechSoup   New Member Orientation and Q&A (May 2024).pdfWelcome to TechSoup   New Member Orientation and Q&A (May 2024).pdf
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdf
TechSoup
 
Honest Reviews of Tim Han LMA Course Program.pptx
Honest Reviews of Tim Han LMA Course Program.pptxHonest Reviews of Tim Han LMA Course Program.pptx
Honest Reviews of Tim Han LMA Course Program.pptx
timhan337
 
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
 
Overview on Edible Vaccine: Pros & Cons with Mechanism
Overview on Edible Vaccine: Pros & Cons with MechanismOverview on Edible Vaccine: Pros & Cons with Mechanism
Overview on Edible Vaccine: Pros & Cons with Mechanism
DeeptiGupta154
 
1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx
JosvitaDsouza2
 
A Survey of Techniques for Maximizing LLM Performance.pptx
A Survey of Techniques for Maximizing LLM Performance.pptxA Survey of Techniques for Maximizing LLM Performance.pptx
A Survey of Techniques for Maximizing LLM Performance.pptx
thanhdowork
 
Best Digital Marketing Institute In NOIDA
Best Digital Marketing Institute In NOIDABest Digital Marketing Institute In NOIDA
Best Digital Marketing Institute In NOIDA
deeptiverma2406
 
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
 
Model Attribute Check Company Auto Property
Model Attribute  Check Company Auto PropertyModel Attribute  Check Company Auto Property
Model Attribute Check Company Auto Property
Celine George
 

Recently uploaded (20)

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
 
The Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official PublicationThe Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official Publication
 
CACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdfCACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdf
 
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
 
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
 
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
 
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
 
A Strategic Approach: GenAI in Education
A Strategic Approach: GenAI in EducationA Strategic Approach: GenAI in Education
A Strategic Approach: GenAI in Education
 
Introduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp NetworkIntroduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp Network
 
Digital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion DesignsDigital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion Designs
 
Embracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic ImperativeEmbracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic Imperative
 
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdf
Welcome to TechSoup   New Member Orientation and Q&A (May 2024).pdfWelcome to TechSoup   New Member Orientation and Q&A (May 2024).pdf
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdf
 
Honest Reviews of Tim Han LMA Course Program.pptx
Honest Reviews of Tim Han LMA Course Program.pptxHonest Reviews of Tim Han LMA Course Program.pptx
Honest Reviews of Tim Han LMA Course Program.pptx
 
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
 
Overview on Edible Vaccine: Pros & Cons with Mechanism
Overview on Edible Vaccine: Pros & Cons with MechanismOverview on Edible Vaccine: Pros & Cons with Mechanism
Overview on Edible Vaccine: Pros & Cons with Mechanism
 
1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx
 
A Survey of Techniques for Maximizing LLM Performance.pptx
A Survey of Techniques for Maximizing LLM Performance.pptxA Survey of Techniques for Maximizing LLM Performance.pptx
A Survey of Techniques for Maximizing LLM Performance.pptx
 
Best Digital Marketing Institute In NOIDA
Best Digital Marketing Institute In NOIDABest Digital Marketing Institute In NOIDA
Best Digital Marketing Institute In NOIDA
 
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 Á...
 
Model Attribute Check Company Auto Property
Model Attribute  Check Company Auto PropertyModel Attribute  Check Company Auto Property
Model Attribute Check Company Auto Property
 

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