Lecture 2
Lecture 2
3
DERIVED GATES
NAND NOR XOR XNOR
AND-Invert OR-Invert Odd Even
X Y Z X Y Z X Y Z X Y Z
0 0 1 0 0 1 0 0 0 0 0 1
0 1 1 0 1 0 0 1 1 0 1 0
1 0 1 1 0 0 1 0 1 1 0 0
1 1 0 1 1 0 1 1 0 1 1 1
4
PRACTICAL EXAMPLES OF AND & OR GATES
A seat belt alarm system An intrusion detection system
5
PRACTICAL ICS FOR LOGIC GATES
6
PRACTICAL ICS FOR LOGIC GATES
7
MEASUREMENT DEVICES
How to practically monitor the output of a gate?
Oscilloscope
8
MEASUREMENT DEVICES
9
MEASUREMENT DEVICES
10
EXPRESSIONS AND LOGIC CIRCUITS
11
EXPRESSIONS AND LOGIC CIRCUITS
• Any Boolean expression can be converted into a circuit by combining
basic gates in a relatively straightforward way
• The diagram below shows the inputs and outputs of each gate
• The precedencies are explicit in a circuit. Clearly, we have to make
sure that the hardware does the operations in the right order!
12
SIMPLIFICATION OF THE LOGIC
FUNCTION
F(A,B)=A’B’ + A’B + AB’
= A’ * (B’ + B) + A * B’ (Distributivity)
= A’ * (B + B’) + A * B’ (Commutativity)
= A’ * 1 + A * B’ (x + x’ = 1)
= A’ + (A * B’) (x +x’y)=(x+x’)(x+y)(Distributivity)
14
SUM OF PRODUCTS (SOP)
Switching functions formed by:
SUMMING (ORing) PRODUCT (ANDed) terms.
Example:
sum terms
F A , B , C , D A BC B D AC D
literals
(product terms)
15
SUM OF PRODUCTS (SOP)
A B C F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1 The apostrophe ’ here means invert
16
SUM OF PRODUCTS (SOP)
Product term (or minterm)
ANDed product – input combination for which output is true
Each variable appears exactly once, in true or inverted form (but not both)
Answer:
SOP AND/OR
Two-level Implementation
18
PRODUCT OF SUMS (POS)
Switching functions formed by taking the:
PRODUCT (ANDing) of SUM (ORed) terms.
Example: Literals
(Sum terms)
F A , B , C , D A B C B D A C D
Products
19
PRODUCT OF SUMS (POS)
Sum terms are known as Maxterms
F= 000 010 100
F = (A + B + C) (A + B' + C) (A' + B + C)
A B C F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1
20
PRODUCT-OF-SUMS (CONT’D)
Sum term (or maxterm)
ORed sum of literals – input combination for which output is false
Each variable appears exactly once in a sum term, in true or inverted form (but
not both)
F(A, B, C) = M(0,2,4)
A B C F Maxterms = M0 • M2 • M4
0 0 0 0 A+B+C M0 = (A + B + C) (A + B' + C) (A' + B + C)
0 0 1 1 A+B+C’ M1
0 1 0 0 A+B’+C M2 This form is called the canonical form
0 1 1 1 A+B'+C’ M3
1 0 0 0 A'+B+C M4
1 0 1 1 A'+B+C’ M5 F(A, B, C) = (A + B + C) (A + B' + C) (A' + B + C)
1 1 0 1 A'+B’+C M6 = (A + C) (B + C)
1 1 1 1 A'+B'+C’ M7 This form is called the minimal form
Answer:
POS OR/AND
Two-level Implementation
22
SOP AND POS REPRESENT THE SAME FUNCTION
A B C F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1
F=m(1,3,5,6,7) F=M(0,2,4)
23
POS VERSUS SOP
24
MINIMIZATION OF LOGIC FUNCTIONS
We have chips with millions of gates
Why care about minimizing a function?
What do a few gates matter?
Basic logic functions are replicated thousands of times
Saving one gate for a memory cell pays off
What is the criterion for minimization?
Should we minimize the…
Number of product terms?
Number of logic operations?
Number of variables (literals)?
Number/length of wires?
…?
For implementation: minimize the number of gates!
25
HOW TO MINIMIZE THE GATE COUNT?
Example: F=A’BC’+AB’C’+AB’C+ABC’= Σm(2,4,5,6)
How many gates do we need for implementation?
If AND gates have 3 inputs and OR gates have 4 inputs?
If all gates are binary (2 inputs)?
x y minterm
0 0 m0
0 1 m1
1 0 m2
1 1 m3
27
2-VARIABLE K-MAP
y x
x 0 1 y 0 1
0 1 0 2
0 m0 m1 OR 0 m0 m2
2 3 1 3
1 m2 m3 1 m1 m3
x y f x y f
0 0 0 0 0 0
0 1 0 0 1 1
1 0 0 1 0 1
1 1 1 1 1 1
29
2-VARIABLE K-MAP
Any two adjacent cells in the map differ by ONLY one variable,
which appears complemented in one cell and uncomplemented in
the other
Example
𝑚0 (= 𝑥 ′ 𝑦 ′ ) is adjacent to 𝑚1 (= 𝑥 ′ 𝑦),
this means that
𝑥 ′ 𝑦 ′ + 𝑥 ′ 𝑦 = 𝑥 ′ 𝑦 ′ + 𝑦 = 𝑥′
Also 𝑚0 (= 𝑥 ′ 𝑦 ′ ) is adjacent to 𝑚2 (= 𝑥𝑦 ′ )
𝑥 ′ 𝑦 ′ + 𝑥𝑦′ = 𝑦 ′ 𝑥 ′ + 𝑥 = 𝑦′
but 𝑚0 (= 𝑥 ′ 𝑦 ′ ) is NOT adjacent 𝑚3 (= 𝑥𝑦)! 30
2-VARIABLE K-MAP: AN EXAMPLE
𝐹 𝑥1 , 𝑥2 = 𝑥1 ′𝑥2 ′+ 𝑥1 ′ 𝑥2 + 𝑥1 𝑥2′
= 𝑚0 + 𝑚1 + 𝑚2
= 𝑥1′ + 𝑥2 ′
The 1s are placed in the K-map for specified
minterms: 𝑚0 , 𝑚1 and 𝑚2
Grouping (ORing) of 1s allows for
simplification
What (simpler) function is represented by
each dashed rectangle?
𝑥1′ = 𝑚0 + 𝑚1
𝑥2′ = 𝑚0 + 𝑚2
32
3-VARIABLE MAP: EXAMPLE I
Simplify the Boolean expression: F 𝑥, 𝑦, 𝑧 = Σ(2,3,4,5)
F 𝑥, 𝑦, 𝑧 = 𝑥𝑦 ′ + 𝑥 ′ 𝑦
33
3-VARIABLE MAP: EXAMPLE II
Simplify the Boolean expression: F 𝑥, 𝑦, 𝑧 = Σ(3,4,6,7)
F 𝑥, 𝑦, 𝑧 = 𝑦𝑧 + 𝑥𝑧′
34
3-VARIABLE MAP: EXAMPLE III
Simplify the Boolean expression: F 𝑥, 𝑦, 𝑧 = Σ(0,2,4,5,6)
F 𝑥, 𝑦, 𝑧 = 𝑧 ′ + 𝑥𝑦′
35
3-VARIABLE MAP: EXAMPLE IV
Let the Boolean function 𝐹(𝐴, 𝐵, 𝐶) = 𝐴′ 𝐶 + 𝐴′ 𝐵 + 𝐴𝐵′ 𝐶 + 𝐵𝐶
(a) Express this function as a sum of minterms
(b) Find the minimal SOP expression
𝐹 𝐴, 𝐵, 𝐶 = 𝛴(1,2,3,5,7) 𝐹 𝐴, 𝐵, 𝐶 = 𝐶 + 𝐴′ 𝐵
36
NOTES ON A 3-VARIABLE MAP
• The number of adjacent cells that may be combined must always
represent a number that is a power of two, such as 1, 2, 4 and 8
• As more adjacent cells are combined, we obtain a product term
with fewer literals
• One cell represents one minterm, giving a term with 3 literals
• Two adjacent cells represent a term with 2 literals
• Four adjacent cells represent a term with 1 literal
• Eight adjacent cells encompass the entire map and produce a
function that is always equal to logic 1
37