Professional Documents
Culture Documents
EEE303-Week02 - Boolean Algebra
EEE303-Week02 - Boolean Algebra
Boolean Algebra
Week 02
Boolean Logic:
Introductions, Basic Gates
Lecture 02.1
Operation: A.B
Symbol
Operation: A+B
Symbol
Operation:
Symbol
NOR Operation
Exclusive OR
XNOR
• Integrated Circuits
• Programmable Logic
Boolean Algebra:
Axioms
Lecture 02.2
Dr. Sajid Muhaimin Choudhury, Assistant Professor
Department of Electrical and Electronics Engineering
Bangladesh University of Engineering and Technology
Boolean Algebra
Found application in engineering
after almost 100 years
Introduced by George Boole In
1849
Axioms
Based on a set of rules derived
from a small number of basic
assumptions- Axioms
Think of Euclidean Geometry
• Addition
• Multiplication
functional spec
inputs outputs
timing spec
functional spec
inputs outputs
timing spec
A
CL S
B
Cout
Cin
S = A B Cin
Cout = AB + ACin + BCin
0
1
0
1
Y = F(A, B) = AB + AB = Σ(1, 3)
EEE 303 – Digital Electronics Dr. Sajid Muhaimin Choudhury 49
Department of EEE, BUET
Product-of-Sums (POS) Form
• All Boolean equations can be written in POS form
• Each row has a maxterm
• A maxterm is a sum (OR) of literals
• Each maxterm is FALSE for that row (and only that row)
• Form function by ANDing maxterms where output is 0
• Thus, a product (AND) of sums (OR terms)
0
1
0
1
Y = F(A, B) = (A + B)●(A + B) = Π(0, 2)
EEE 303 – Digital Electronics Dr. Sajid Muhaimin Choudhury 50
Department of EEE, BUET
Boolean Equations Example
• You are going to the cafeteria for lunch
– You won’t eat lunch (E=0)
– If it’s not open (O=0) or
– If they only serve corndogs (C=1)
• Write a truth table for determining if you
will eat lunch (E). O C E
0 0 0
0 1 0
1 0 1
1 1 0
POS – product-of-sums
O C E maxterm
0 0 O + C
0 1 O + C E = (O + C)(O + C)(O + C)
1 0 O + C = Π(0, 1, 3)
1 1 O + C
B
0 = B
B
1 = 1
B
B = B
B
B = B
B = B
B
B = 0
B
B = 1
• Covering (T9’) A + AP = A
• Combining (T10) PA + PA = P
• Expansion P = PA + PA
A = A + AP
• Duplication A=A+A
• “Simplification” theorem PA + A = P + A
PA + A = P + A
Method 1:
or
= A(B + B) T8: Distributivity
= A(1) T5’: Complements
=A T1: Identity
Note:
• A‘ is shorthand for A.
• But use the tick symbol (‘) only when typing.
• It’s easy to lose ticks (‘) when writing by hand!
• It is strongly recommended that you simplify
equations by writing by hand.
• POS – product-of-sums
O C E maxterm
0 0 0 O + C E = (O + C)(O + C)(O + C)
0 1 0 O + C
1 0 1 O + C = Π(0, 1, 3)
1 1 0 O + C
Boolean Algebra:
De Morgan’s Theorem
Lecture 02.3
Dr. Sajid Muhaimin Choudhury, Assistant Professor
Department of Electrical and Electronics Engineering
Bangladesh University of Engineering and Technology
De Morgan’s Theorem
•The complement of the union of two sets is the same as the
intersection of their complements
•The complement of the intersection of two sets is the same as the
union of their complements
A
Y
B
• Y=A+B=A B A
B
Y
A
Y
B
A
Y
B
A
• Y=A+B=A B B
Y
A
Y
B
A A
Y Y
B B
• Forward:
• Body changes
• Adds bubble to output
A A
Y Y
B B
A
B
Y
C
D
Y = AB + CD
A
B
C Y
D
C Y
D
C Y
D
C Y
D
bubble on
A input and output
B
C Y
D
C Y
D
bubble on
A input and output
B
C Y
D
no bubble on
input and output
A
B
C Y
D
Y = ABC + D
A B C
minterm: ABC
minterm: ABC
minterm: ABC
A3 A2 A1 A0 Y3 Y2 Y1 Y0
0 0 0 0 0 0 0 0
0 0 0 1 0 0 0 1 A3 A2 A1 A0
0
0
0
0
1
1
0
1
0
0
0
0
1
1
0
0
Y3
0 1 0 0 0 1 0 0
0 1 0 1 0 1 0 0 Y2
0 1 1 0 0 1 0 0
0 1 1 1 0 1 0 0
1
1
0
0
0
0
0
1
1
1
0
0
0
0
0
0
Y1
1 0 1 0 1 0 0 0
1 0 1 1 1 0 0 0
1 1 0 0 1 0 0 0 Y0
1 1 0 1 1 0 0 0
1 1 1 0 1 0 0 0
1 1 1 1 1 0 0 0
A3 A2 A1 A0 Y3 Y2 Y1 Y0
0 0 0 0 0 0 0 0
0 0 0 1 0 0 0 1
0 0 1 0 0 0 1 0
0 0 1 1 0 0 1 0
0 1 0 0 0 1 0 0 A3 A2 A1 A0 Y3 Y2 Y1 Y0
0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0
0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1
0 1 1 1 0 1 0 0
1 0 0 0 1 0 0 0
0 0 1 X 0 0 1 0
1 0 0 1 1 0 0 0 0 1 X X 0 1 0 0
1 0 1 0 1 0 0 0 1 X X X 1 0 0 0
1 0 1 1 1 0 0 0
1 1 0 0 1 0 0 0
1 1 0 1 1 0 0 0
1 1 1 0 1 0 0 0
1 1 1 1 1 0 0 0
A=1
Y=X
• Warnings: B=0
• Contention usually indicates a bug.
• X is used for “don’t care” and contention - look at the
context to tell them apart.
A Y
E A Y
0 0 Z
0 1 Z
1 0 0
1 1 1
EEE 303 – Digital Electronics Dr. Sajid Muhaimin Choudhury 110
Department of EEE, BUET
Tristate Busses
Floating nodes are used in tristate processor en1
to bus
busses frombus
sharedbus
Ethernet en3
to bus
frombus
memory en4
to bus
frombus