Professional Documents
Culture Documents
Digital Electronics-5-Boolean Algebra
Digital Electronics-5-Boolean Algebra
ELECTRONICS
Lecture 5:
Boolean Algebra
by Tajim
Learning Objectives
Logical Addition
Symbol ‘+’, also known as ‘OR’ operator, used for logical addition.
Follows law of binary addition
Logical Multiplication
Symbol ‘. ’, also known as ‘AND’ operator, used for logical multiplication.
Follows law of binary multiplication
Complementation
Symbol ‘-’, also known as ‘NOT’ operator, used for complementation.
Follows law of binary compliment
4
Operator Precedence
6
Postulates of Boolean Algebra
Postulate 1:
①A = 0, if and only if, A is not equal to 1
②A = 1, if and only if, A is not equal to 0
Postulate 2:
①x + 0 = x
②x ⋅ 1 = x
Postulate 6:
①x+x=1
②x⋅x=0
8
The Principle of Duality
9
Some Important Theorems
of Boolean Algebra
11
Methods of Proving Theorems
12
Proving a Theorem by Using Postulates
(Example)
Theorem: x+x⋅y=x
Proof:
L.H.S.
=x+x⋅y
= x ⋅ (1 + y) by postulate 5(a)
= x ⋅ (y + 1) by postulate 3(a)
=x by postulate 2(b)
= R.H.S.
13
Proving a Theorem by Perfect
Induction (Example)
▪ Theorem: x+x·y=x
14
Proving a Theorem by Perfect
Induction (Example)
▪ Theorem: x+x =x
15
Proving a Theorem by Perfect
Induction(Example)
16
Boolean Functions
17
Representation as an Algebraic
Expression
18
Representation as a Truth Table
The number of rows in the table is equal to
2n, where n is the number of literals in the
function
19
Minimization of Boolean
Functions
20
Minimization of Boolean
Functions
21
Minimization of Boolean
Functions
Minimization of Boolean Functions
(Continued from previous slide..)
x y z F1 F2
0 0 0 0 0
0 0 1 1 1
0 1 0 0 0
0 1 1 1 1
1 0 0 1 1
1 0 1 1 1
1 1 0 0 0
1 1 1 0 0
Both
Both F andF2F2produce
F11 and producethethe same
same resultresult
22
Try out Some Boolean
Function Minimization
23
24
by Tajim
De Morgan's Theorems 25
by Tajim
De Morgan's Theorems 26
by Tajim
De Morgan's Theorems 27
by Tajim
De Morgan's Theorems 28
by Tajim
29
by Tajim
30
Thank you
********** ********** If You Need Me ********** **********
Mail: tajim.cse@diu.edu.bd
Website: https://www.tajimiitju.blogspot.com
ORCID: https://orcid.org/0000-0002-2834-1507
LinkedIn: https://www.linkedin.com/in/tajimiitju
ResearchGate: https://www.researchgate.net/profile/Tajim_Md_Niamat_Ullah_Akhund
YouTube: https://www.youtube.com/tajimiitju?sub_confirmation=1
SlideShare: https://www.slideshare.net/TajimMdNiamatUllahAk
Facebook: https://www.facebook.com/tajim.mohammad
GitHub: https://github.com/tajimiitju
Google+: https://plus.google.com/+tajimiitju
Gmail: tajim.mohammad.3@gmail.com
Twitter: https://twitter.com/Tajim53
by Tajim