Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
CHAPTER III
CHAPTER III-1
BOOLEAN ALGEBRA
CHAPTER III
BOOLEAN ALGEBRA
BOOLEAN ALGEBRA
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
BOOLEAN ALGEBRA
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
BOOLEAN ALGEBRA
BINARY BOOLEAN OPERATORS
Below is a table showing all possible Boolean functions F N given the two-
inputs A and B .
A B F 0 F 1 F 2 F 3 F 4 F 5 F 6 F 7 F 8 F 9 F 10 F 11 F 12 F 13 F 14 F 15
0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
0 AB A B A+B B A AB 1
Null AB AB Identity
Inhibition A+B Implication
F = A C + BD + BC E
{
R.M. Dansereau; v.1.0
INTRO. TO COMP. ENG.
CHAPTER III-6
BOOLEAN ALGEBRA BOOLEAN OPERATIONS
BOOLEAN ALGEBRA
FUNCTION EVALUATION -PRECEDENCE OF OPER.
BOOLEAN ALGEBRA
Example 1:
Evaluate the following expression when A = 1 , B = 0 , C = 1
F = C + CB + BA
Solution
F = 1+10+01 = 1+0+0 = 1
Example 2:
Evaluate the following expression when A = 0 , B = 0 , C = 1 , D = 1
F = D ( BCA + ( AB + C ) + C )
Solution
F = 1 (0 1 0 + (0 0 + 1) + 1) = 1 (0 + 1 + 1) = 1 1 = 1
X+0 = X X1 = X Identity
X+1 = 1 X0 = 0
X+X = X XX = 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 X ( YZ ) = ( XY )Z Associativity
X ( Y + Z ) = XY + XZ X + YZ = ( X + Y ) ( X + Z ) Distributivity
X + XY = X X(X + Y) = X Absorption Law
X + XY = X + Y X ( X + Y ) = XY Simplification
( X + Y ) = XY ( XY ) = X + Y DeMorgans Law
XY + XZ + YZ ( X + Y ) ( X + Z ) ( Y + Z ) Consensus Theorem
= XY + XZ = ( X + Y ) ( X + Z )
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 0s and 1s.
This is evident with the duals in the basic identities.
For instance: DeMorgans Law can be expressed in two forms
( X + Y ) = XY as well as ( XY ) = X + Y
F = BC + BC + BA
Simplification
F = B ( C + C ) + BA
F = B 1 + BA
F = B(1 + A)
F = B
Simplification
F = A + A ( B + BC + BCD + BCDE )
F = A + B + BC + BCD + BCDE
F = A + B + B ( C + CD + CDE )
F = A + B + C + CD + CDE
F = A + B + C + C ( D + DE )
F = A + B + C + D + DE
F = A+B+C+D+E
A ( BC + BC ) = A + ( B + C ) ( B + C )
Simplification
A ( BC + BC ) = A + ( BC + BC )
= A + ( BC ) ( BC )
= A + ( B + C )( B + C )
F ( A, B, C, D ) = AB + BCD + AD
Products-of-sums (POS)
Example:
F ( A, B, C, D ) = ( A + B ) ( B + C + D ) ( A + D )
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
F ( A, B, C ) = m 0 + m 1 + m 4 + m 5
or more compactly
F ( A, B, C ) = m ( 0, 1, 4, 5 ) = one-set ( 0, 1, 4, 5 )
F ( A, B, C ) = ( A + B + C ) ( A + B + C ) ( A + B + C )
F ( A, B, C ) = M 1 M 4 M 7
or more compactly as
F ( A, B, C ) = M ( 1, 4, 7 ) = zero-set ( 1, 4, 7 )
F ( A, B, C ) = AB + B ( A + C )
Example
F ( A, B, C ) = AB + B ( A + C ) = AB + AB + BC
= AB ( C + C ) + AB ( C + C ) + ( A + A )BC
= 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
Example
F ( A, B, C ) = AB + B ( A + C ) = AB + AB + BC
= (A + B )(A + B + C )( A + B + C ) (using distributivity)
= ( A + B + CC ) ( A + B + C ) ( A + B + C )
= (A + B + C )(A + B + C )( A + 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
F ( A, B, C ) = m ( 0, 1, 4, 6, 7 )
is re-expressed as
F ( A, B, C ) = M ( 2, 3, 5 )
F = AB F = AB + C F = AB + CD
Notice that the ordering of cells in the map are such that moving from one
cell to an adjacent cell only changes one variable.
2-variable 3-variable 4-variable
Karnaugh map Karnaugh map Karnaugh map
CD D D D
AB 00 01 11 10
BC C C C 00 0 1 3 2 B
B A
A 0 1 A 00 01 11 10 01 4 5 7 6
B
0 0 1 A 0 0 1 3 2 A 11 12 13 15 14
A
1 2 3 A 1 4 5 7 6 A 10 8 9 11 10 B
B B B B C C
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.
Solution:
BC
A 00 01 11 10
zero-set ( 2, 3, 6, 7 )
0 1 1 0 0 one-set ( 0, 1, 4, 5 )
1 1 1 0 0
Solution:
BC
A 00 01 11 10
zero-set ( 2, 3, 5 )
0 1 1 0 0
one-set ( 0, 1, 4, 6, 7 )
1 1 0 1 1
F ( A, B, C ) = M ( 2, 3, 5 ) = ( A + B + C )( A + B + C)( A + B + C)
Solution:
BC
A 00 01 11 10
zero-set ( 2, 3, 5 )
0 1 1 0 0
one-set ( 0, 1, 4, 6, 7 )
1 1 0 1 1
Solution:
Taken 11 1 X 0 X
10 0 0 1 X Taken
to be 0
to be 1
Solution: