ES 244: Digital Logic Design Chapter 2
Chapter 2: Combinational Systems
Adapted from Alan Marcovitz’sIntroduction to Logic and Computer Design
Uchechukwu Ofoegbu
Temple University
ES 244: Digital Logic Design Chapter 2
RiddleRiddle
Four switches can be turned on or off. One is the switch for the incandescent overhead light in the next room, which is initially off, but you don't know which. The other three switches do nothing. From the room with the switches in it, you can't see whether the light in the next room is turned on or off. You may flip the switches as often and as many times as you like, but once you enter the next room to check on the light, you must be able to say which switch controls the light without flipping the switches any further. (And you can't open the door without entering, either!) How can you determine which switch controls the light?
ES 244: Digital Logic Design Chapter 2
• Begins with a verbal description of the intended system, known as the PROBLEM STATEMENT
• A block diagram of the system should be developed
• The desired objectives and constraints
Design Process for Combinational SystemsDesign Process for Combinational Systems
ES 244: Digital Logic Design Chapter 2
1. A system with four inputs, A, B, C, and D, and one output, Z, such that Z = 1 iff three of the inputs are 1.
2. A single light (that can be on or off) that can be controlled by any one of three switches. One switch is the master on/off switch. If it is off, the lights are off. When the master switch is on, a change in the position of one of the other switches (from up to down or from down to up) will cause the light to change state.
3. A system to do 1 bit of binary addition. It has three inputs (the 2 bits to be added plus the carry from the next lower order bit) and produces two outputs, a sum bit and a carry to the next higher order position.
IllustrationsIllustrations
ES 244: Digital Logic Design Chapter 2
4. A system that has as its input the code for a decimal digit, and produces as its output the signals to drive a seven-segment display, such as those on most digital watches and numeric displays.
5. A system with nine inputs, representing two 4-bit binary numbers and a carry input, and one 5-bit output, representing the sum. (Each input number can range from 0 to 15; the output can range from 0 to 31.)
IllustrationsIllustrations
ES 244: Digital Logic Design Chapter 2
1. Represent each of the inputs and output in binary.• This is sometimes taken care of in the problem statement
(ex 1, 3, 5)
2. Formalize the design specification either in the form of a truth table or of an algebraic expression.
• There are 2n input combinations for n inputs in a truth table.
• Truth tables are written in binary order to avoid omissions.
• If necessary, break the problem into smaller sub-problems before or after creating the truth tables.
Design StepsDesign Steps
ES 244: Digital Logic Design Chapter 2
3. Simplify the description.• Most times expressions have to be converted to algebraic forms• Several techniques exist for reducing complexity of algebraic
forms
4. Implement the system with the available components, subject to the design objectives and constraints.• Gates are the most common components• A gate is a network with one output• The less number of gates required, the more desirable the
system is, since each signal passing through a gate introduces a delay in the system.
• More complex systems can be used in addition to gates (ex. Adders, decoders, e.t.c.).
Design StepsDesign Steps
ES 244: Digital Logic Design Chapter 2
• Don’t cares occur when • The output is not specified for all input combinations,
so for the remaining input combinations, it doesn’t matter
• There are input combinations that don’t occur in the system
• Flip-flops – one systems drives another• When we just don’t care
• Don’t cares are represented by X in a truth table.
• The output of the combination could either be a 1 or a 0.
Don’t Care ConditionsDon’t Care Conditions
ES 244: Digital Logic Design Chapter 2
Developing Truth TablesDeveloping Truth Tables
1. A system with four inputs, A, B, C, and D, and one output, Z, such that Z = 1 iff three of the inputs are 1.
ES 244: Digital Logic Design Chapter 2
2. A single light (that can be on or off) that can be controlled by any one of three switches. One switch is the master on/off switch. If it is off, the lights are off. When the master switch is on, a change in the position of one of the other switches (from up to down or from down to up) will cause the light to
change state.
ES 244: Digital Logic Design Chapter 2
4. A system that has as its input the code for a decimal digit, and produces as its output the signals to drive a seven-segment display
ES 244: Digital Logic Design Chapter 2
ES 244: Digital Logic Design Chapter 2
Developing Truth Tables ExampleDeveloping Truth Tables Example
• Truth table for a 1-bit full subtractor with a borrow input, bin, and inputs x, y, that produces an a difference output, d, and a borrow output, bout.
bin x y bout d
0 0 0 0 0
0 0 1 ? ?
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
a.a. 0 00 0
b.b. 0 10 1
c.c. 1 01 0
d.d. 1 11 1
ES 244: Digital Logic Design Chapter 2
Developing Truth Tables ExampleDeveloping Truth Tables Example
• Truth table for a 1-bit full subtractor with a borrow input, bin, and inputs x, y, that produces an a difference output, d, and a borrow output, bout.
bin x y bout d
0 0 0 0 0
0 0 1 1 1
0 1 0 ? ?
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
a.a. 0 00 0
b.b. 0 10 1
c.c. 1 01 0
d.d. 1 11 1
ES 244: Digital Logic Design Chapter 2
Developing Truth Tables ExampleDeveloping Truth Tables Example
• Truth table for a 1-bit full subtractor with a borrow input, bin, and inputs x, y, that produces an a difference output, d, and a borrow output, bout.
bin x y bout d
0 0 0 0 0
0 0 1 1 1
0 1 0 0 1
0 1 1 ? ?
1 0 0
1 0 1
1 1 0
1 1 1
a.a. 0 00 0
b.b. 0 10 1
c.c. 1 01 0
d.d. 1 11 1
ES 244: Digital Logic Design Chapter 2
Developing Truth Tables ExampleDeveloping Truth Tables Example
• Truth table for a 1-bit full subtractor with a borrow input, bin, and inputs x, y, that produces an a difference output, d, and a borrow output, bout.
bin x y bout d
0 0 0 0 0
0 0 1 1 1
0 1 0 0 1
0 1 1 0 0
1 0 0 ? ?
1 0 1
1 1 0
1 1 1
a.a. 0 00 0
b.b. 0 10 1
c.c. 1 01 0
d.d. 1 11 1
ES 244: Digital Logic Design Chapter 2
Developing Truth Tables ExampleDeveloping Truth Tables Example
• Truth table for a 1-bit full subtractor with a borrow input, bin, and inputs x, y, that produces an a difference output, d, and a borrow output, bout.
bin x y bout d
0 0 0 0 0
0 0 1 1 1
0 1 0 0 1
0 1 1 0 0
1 0 0 1 1
1 0 1 ? ?
1 1 0
1 1 1
a.a. 0 00 0
b.b. 0 10 1
c.c. 1 01 0
d.d. 1 11 1
ES 244: Digital Logic Design Chapter 2
Developing Truth Tables ExampleDeveloping Truth Tables Example
• Truth table for a 1-bit full subtractor with a borrow input, bin, and inputs x, y, that produces an a difference output, d, and a borrow output, bout.
bin x y bout d
0 0 0 0 0
0 0 1 1 1
0 1 0 0 1
0 1 1 0 0
1 0 0 1 1
1 0 1 1 0
1 1 0 ? ?
1 1 1
a.a. 0 00 0
b.b. 0 10 1
c.c. 1 01 0
d.d. 1 11 1
ES 244: Digital Logic Design Chapter 2
Developing Truth Tables ExampleDeveloping Truth Tables Example
• Truth table for a 1-bit full subtractor with a borrow input, bin, and inputs x, y, that produces an a difference output, d, and a borrow output, bout.
bin x y bout d
0 0 0 0 0
0 0 1 1 1
0 1 0 0 1
0 1 1 0 0
1 0 0 1 1
1 0 1 1 0
1 1 0 0 0
1 1 1 ? ?
a.a. 0 00 0
b.b. 0 10 1
c.c. 1 01 0
d.d. 1 11 1
ES 244: Digital Logic Design Chapter 2
Developing Truth Tables ExampleDeveloping Truth Tables Example
• Truth table for a 1-bit full subtractor with a borrow input, bin, and inputs x, y, that produces an a difference output, d, and a borrow output, bout.
bin x y bout d
0 0 0 0 0
0 0 1 1 1
0 1 0 0 1
0 1 1 0 0
1 0 0 1 1
1 0 1 1 0
1 1 0 0 0
1 1 1 1 1
ES 244: Digital Logic Design Chapter 2
3. Simplify the description.• Most times expressions have to be converted to algebraic forms• Several techniques exist for reducing complexity of algebraic
forms
4. Implement the system with the available components, subject to the design objectives and constraints.• Gates are the most common components• A gate is a network with one output• The less number of gates required, the more desirable the
system is, since each signal passing through a gate introduces a delay in the system.
• More complex systems can be used in addition to gates (ex. Adders, decoders, e.t.c.).
Switching AlgebraSwitching Algebra
ES 244: Digital Logic Design Chapter 2
ES 244: Digital Logic Design Chapter 2
• Literal:• The appearance of a variable or its complement.
• Product Term:• one or more literals connected by AND operators.
• Standard product term:• Also called minterm • product term that includes each variable of the
problem, either uncomplemented or complemented.
• Sum of products expression (often abbreviated SOP)• one or more product terms connected by OR
operators.• A canonical sum or sum of standard product terms:
• a sum of products expression where all of the terms are standard product terms.
DefinitionsDefinitions
ES 244: Digital Logic Design Chapter 2
• A Minimum Sum of Products expression:
• one of those SOP expressions for a function that has the fewest number of product terms.
• If there is more than one expression with the fewest number of terms, then minimum is defined as one or more of those expressions with the fewest number of literals.
(1) xyz + xyz + xyz + xyz + xyz 5 terms, 15 literals
(2) xy + xy + xyz 3 terms, 7 literals
(3) xy + xy + xz 3 terms, 6 literals
(4) xy + xy + yz 3 terms, 6 literals
DefinitionsDefinitions
ES 244: Digital Logic Design Chapter 2
xyz + xyz + xyz + xyz + xyz 5 terms, 15 literals
= (x’yz’+x’yz)+(xyz + xyz) + xyz associative p2
= x’y(z+z’) + xy’(z+z’) + xyz distributive p8
= x’y.1 +xy’.1 +xyz complement p5
= x’y + xy’ + xyz identity p3
SimplificationSimplification
Down to three terms and seven literalsDown to three terms and seven literals
ES 244: Digital Logic Design Chapter 2
xyz + xyz + xyz + xyz + xyz + xy’z 5 terms, 15 literals
= (x’yz’+x’yz)+(xyz + xyz) + (xyz + xy’z) associative p2
= x’y + xy + xz adjacency p9
SimplificationSimplification
Down to three terms and six literalsDown to three terms and six literals
Reduce the number of literals by adding a second copy of xy’z (or x’yz), based on P6a – indempotency.
ES 244: Digital Logic Design Chapter 2
SimplificationSimplification
ES 244: Digital Logic Design Chapter 2
SimplificationSimplification
ES 244: Digital Logic Design Chapter 2
Sum Term: one or more literals connected by OR operators.Standard sum term:
• also called a maxterm• a sum term that includes each variable of the problem,
either uncomplemented or complemented.Product of sums expression (POS):
• one or more sum terms connected by AND operators.Canonical product or product of standard sum terms:
• a product of sums expression where all of the terms are standard sum terms.
SOP: xy + xy + xyzPOS: (x + y)(x + y)(x + z)both: x + y + z or xyzneither: x(w + yz) or z + wxy + v(xz + w)
DefinitionsDefinitions
ES 244: Digital Logic Design Chapter 2
g = (w’ + x’ + y) (w + x’+ y + z’)
= x’ + y + w’(w + z’) distributive (P8b)
= x’ + y + w’z’ simplification (p10b)
= (x’ + y + w’) (x’ + y + z’) distributive (P8b)
Simplification of Functions in Maxterm FormSimplification of Functions in Maxterm Form
ES 244: Digital Logic Design Chapter 2
Minimum sum of product implementation of f.
Circuit with only uncomplemented inputs.
Implementation of Logic GatesImplementation of Logic Gates
f = x’y + xy’ + xz
ES 244: Digital Logic Design Chapter 2
Implementation of Logic GatesImplementation of Logic Gates
ES 244: Digital Logic Design Chapter 2
Implementation of Logic GatesImplementation of Logic Gates
a.a. d = n’+c(h+s) (n+c’(h+s))d = n’+c(h+s) (n+c’(h+s))
b.b. d = (n’c) + (hs) + n(hs) + cd = (n’c) + (hs) + n(hs) + c
c.c. d = n’c(h+s) + n(c’+(hs))d = n’c(h+s) + n(c’+(hs))
d.d. D = n’c(ns) + n(hs)c =D = n’c(ns) + n(hs)c =
ES 244: Digital Logic Design Chapter 2
Proof of DeMorgan’s theorem.
De Morgan’s TheoremDe Morgan’s Theorem
P11a. (a+b)’ = a’b’P11b. (ab)’ = a’+b’
Please note: (a’+b’) != a’+b’ (ab)’ != a’b’
De Morgan’s Theorem is generally used toDe Morgan’s Theorem is generally used to find the complement of an expressionfind the complement of an expression
ES 244: Digital Logic Design Chapter 2
De Morgan’s Theorem - ExampleDe Morgan’s Theorem - Example
Find the complement of f = wx’y +xy’ +wxzNote that f is in SOP so f’ will be in POS
• We could apply DeMorgan’s Theorem repeatdely– f’ = (wx’y +xy’ +wxz)’– f’ = (wx’y)’(xy’)’(wxz)’– f’ = (w’x+y’)(x’+y)(w’+x’+z’)
• Or we could follow these set of rules– Complement each variable– Replace every AND by Or and every OR by AND – but make
sure you keep the order of operation
ES 244: Digital Logic Design Chapter 2
De Morgan’s Theorem - ExampleDe Morgan’s Theorem - Example
Find the complement of f = ab +b’c + c’d
a. f’ = (a’ + b’+ b + c’ + c + d’)
b. f’ = (a’ + b’+ b + c’ + c + d’)’
c. f’ = a’b’+bc’+cd’
d. f’ = (a’ + b’)( b + c’) (c + d’)
e. f’ = (a’ + b’)’( b + c’)’(c + d’)’
ES 244: Digital Logic Design Chapter 2
• 1• 2e,f• 3f• 5• 8• 12a• 13c• 14• 18
In groupsIn groups
ES 244: Digital Logic Design Chapter 2
f = ab + ab + ab
From the truth table to Algebraic ExpressionsFrom the truth table to Algebraic Expressions
ES 244: Digital Logic Design Chapter 2
From the truth table to Algebraic ExpressionsFrom the truth table to Algebraic Expressions
ES 244: Digital Logic Design Chapter 2
ExampleExample
ABC f f’
000 0 1
001 1 0
010 1 0
011 1 0
100 0 1
101 0 1
110 1 0
111 1 0
f(A,B,C) = f(A,B,C) = ΣΣm(1,2,3,6,7) = ?m(1,2,3,6,7) = ?
f’(A,B,C) = ?f’(A,B,C) = ?
a.a. A’B’C’ + AB’C’ + AB’CA’B’C’ + AB’C’ + AB’C
b.b. B + C + D + G + HB + C + D + G + H
c.c. A’B’C + A’BC’ + A’BC + A’B’C + A’BC’ + A’BC + ABC’+ABCABC’+ABC
d.d. ABC’ + AB’C + AB’C’+ ABC’ + AB’C + AB’C’+ A’B’C + A’bA’B’C + A’b
e.e. ABC + A’BC+A’BC’ABC + A’BC+A’BC’
a.a. ΣΣm(1,2,3,6,7)’m(1,2,3,6,7)’
b.b. ΣΣm(0,4,5)m(0,4,5)
c.c. ΣΣm(A’B’C’ + AB’C’ + m(A’B’C’ + AB’C’ + AB’C)AB’C)
ES 244: Digital Logic Design Chapter 2
Don’t CaresDon’t Cares
Input f
000 0
001 X
010 1
011 1
100 0
101 X
110 1
111 1
f(A,B,C) = f(A,B,C) = ΣΣm(2,3,6,7)+ m(2,3,6,7)+ ΣΣd(1,5)d(1,5)
ES 244: Digital Logic Design Chapter 2
• 20• 22• 23• 27
In groupsIn groups