Boolean Algebra
Boolean Algebra
Boolean Algebra
BOOLEAN VALUES
INTRODUCTION
• Boolean algebra is a form of algebra that deals with single digit binary
values and variables.
• Values and variables can indicate some of the following binary pairs of
values:
• ON / OFF
• TRUE / FALSE
• HIGH / LOW
• CLOSED / OPEN
• 1/0
BOOL. OPERATIONS
FUNDAMENTAL OPERATORS
0 1 0 0 0 0 0 0
1 0 0 1 0 0 1 1
1 0 0 1 0 1
1 1 1 1 1 1
BOOL. OPERATIONS
BINARY BOOLEAN OPERATORS
• Below is a table showing all possible Boolean functions FN given the two-
inputs A and B.
0 AB A B A +B B A AB 1
Null A B A B Identity
Inhibition A +B Implication
BOOLEAN ALGEBRA
PRECEDENCE OF OPERATORS
• parentheses
• NOT Example:
• AND
F = AC + BD +BCE
• OR
BOOLEAN ALGEBRA
FUNCTION EVALUATION
• Example 1:
Evaluate the following expression when A = 1 , B = 0 , C = 1
F = C + CB + BA
• Solution
F = 1 + 1 0 + 0 1 = 1 + 0+ 0 = 1
• Example 2:
Evaluate the following expression when A = 0 , B = 0 , C = 1 , D = 1
F = DBCA + AB + C + C
• Solution
F = 1 0 1 0 + 0 0 + 1 + 1 = 1 0 + 1 + 1 = 1 1 = 1
BOOLEAN ALGEBRA
BASIC IDENTITIES
X +0 = X X 1 = X Identity
X +1 = 1 X 0 = 0
X +X = X X X = X Idempotent Law
X + X= 1 X X= 0 Complement
X= X Involution Law
X+Y = Y +X XY = YX Commutativity
X + Y + Z = X + Y + Z XYZ = XYZ Associativity
XY + Z = XY + XZ X + YZ = X + YX +Z Distributivity
X + XY = X XX + Y = X Absorption Law
X + XY = X+Y XX+ Y = XY Simplification
X + Y= XY XY= X+Y DeMorgan’s Law
XY + XZ+ YZ X + YX+ ZY + Z Consensus Theorem
= XY + XZ = X+ YX+ Z
BOOLEAN ALGEBRA
DUALITY PRINCIPLE
• Duality principle:
• States that a Boolean equation remains valid if we take the dual of the
expressions on both sides of the equals sign.
• The dual can be found by interchanging the AND and OR operators
along with also interchanging the 0’s and 1’s.
• This is evident with the duals in the basic identities.
• For instance: DeMorgan’s Law can be expressed in two forms
F = BC + BC + BA
• Simplification
F = BC + C + BA
F = B 1 + BA
F = B1 + A
F = B
BOOLEAN ALGEBRA
FUNCTION MANIPULATION (2)
• Simplification
F = A + AB + BC + BCD + BCDE
F = A + B + BC + BCD + BCDE
F = A + B + BC + CD + CDE
F = A + B + C + CD + CDE
F = A + B + C + CD + DE
F = A + B + C + D + DE
F=A+B+C+D+ E
BOOLEAN ALGEBRA
FUNCTION MANIPULATION (3)
• Simplification
= A + BCBC
= A + B + CB + C
STANDARD FORMS
SOP AND POS
FA B C D = AB + BCD + AD
• Products-of-sums (POS)
• Example:
m0 m1 m2 m3 m4 m5 m6 m7
A B C ABC ABC ABC ABC ABC ABC ABC ABC
0 0 0 1 0 0 0 0 0 0 0
0 0 1 0 1 0 0 0 0 0 0
0 1 0 0 0 1 0 0 0 0 0
0 1 1 0 0 0 1 0 0 0 0
1 0 0 0 0 0 0 1 0 0 0
1 0 1 0 0 0 0 0 1 0 0
1 1 0 0 0 0 0 0 0 1 0
1 1 1 0 0 0 0 0 0 0 1
STANDARD FORMS
SUM OF MINTERMS
FA B C = m0 + m1 + m4 + m5
or more compactly
A + B +C A + B +C A + B +C A + B +C
A B C A +B+ C A+ B+ C A +B+ C A+B+C
0 0 0 0 1 1 1 1 1 1 1
0 0 1 1 0 1 1 1 1 1 1
0 1 0 1 1 0 1 1 1 1 1
0 1 1 1 1 1 0 1 1 1 1
1 0 0 1 1 1 1 0 1 1 1
1 0 1 1 1 1 1 1 0 1 1
1 1 0 1 1 1 1 1 1 0 1
1 1 1 1 1 1 1 1 1 1 0
STANDARD FORMS
PRODUCT OF MAXTERMS
FA B C = M1 M4 M7
or more compactly as
FA B C = AB + BA + C
• Example
FA B C = AB + BA + C = AB + AB + BC
= ABC + C + ABC + C + A + ABC
= ABC + ABC + ABC + ABC + ABC
= m 0 1 4 6 7
A B C F
0 0 0 1 0
0 0 1 1 1
0 1 0 0
Minterms listed as
0 1 1 0 1s in Truth Table
1 0 0 1 4
1 0 1 0
1 1 0 1 6
1 1 1 1 7
STANDARD FORMS
FORMING PROD OF MAXTERMS
• Example
FA B C = AB + BA + C = AB + AB + BC
= A + BA + B + CA + B + C (using distributivity)
= A + B + CCA + B + CA + B + C
= A + B + CA + B + CA + B + C
= M 2 3 5
A B C F
0 0 0 1
0 0 1 1 Maxterms listed as
0 1 0 0 2 0s in Truth Table
0 1 1 0 3
1 0 0 1
1 0 1 0 5
1 1 0 1
1 1 1 1
STANDARD FORMS
CONVERTING MIN AND MAX
FA B C = m 0 1 4 6 7
is re-expressed as
FA B C = M 2 3 5
Properties
The maps are considered to be “rolled” or continuous, so that top and bottom
edges or left and right side edges are touching. For the three-variable map,
considers the left side edge and the right side edges are touching.
SIMPLIFICATION
KARNAUGH MAPS
F = AB F = AB + C F = AB + CD
SIMPLIFICATION
KARNAUGH MAP ORDERING
• Notice that the ordering of cells in the map are such that moving from one
cell to an adjacent cell only changes one variable.
• Implicant
• Bubble covering only 1s (size of bubble
must be a power of 2). CD
• Prime implicant AB 00 01 11 10
• Bubble that is expanded as big as possible
00 1 1 0 0
(but increases in size by powers of 2).
• Essential prime implicant 01 0 0 1 0
• Bubble that contains a 1 covered only by 11 0 1 1 1
itself and no other prime implicant bubble.
10 1 1 0 0
• Non-essential prime implicant
• A 1 that can be bubbled by more then one
prime implicant bubble.
SIMPLIFICATION
PROCEDURE FOR SOP
• Solution:
BC
A 00 01 11 10
zero-set2 3 6 7
0 1 1 0 0 one-set0 1 4 5
1 1 1 0 0
• Solution:
BC
A 00 01 11 10
zero-set2, 3, 5
0 1 1 0 0
one-set0 1 4 6 7
1 1 0 1 1
• Solution:
BC
A 00 01 11 10
zero-set2, 3, 5
0 1 1 0 0
one-set0 1 4 6 7
1 1 0 1 1
11 1 X 0 X
Taken
to be 0 10 0 0 1 X Taken
to be 1
• Solution:
Taken 11 1 X 0 X
10 0 0 1 X Taken
to be 0
to be 1
• Solution: