1. 2.7 NAND and NOR logic networks
Introduce the use of NAND and NOR gates in the synthesis of logic circuits
Attractive due to their simpler electronic circuits implementation than AND and OR functions
Q: Can be used directly in the synthesis of logic circuits? And how?

2. Graphical symbols for NAND and NOR gates (Figure 2.20)
A bubble at the output side of the gate symbols
represents the complemented output signal.

3. DeMorgan’s theorem in terms of logic gatesx x 1 x 1 1 x x 2 x 2 2
(a) 𝑥 1 𝑥 2 = 𝑥 𝑥 2
A NAND gate is equivalent to the OR gate with inversions at its inputs.
A NAND of variables x1 and x2 is equivalent to first inverting each of the variables and then ORing them.
The NOR of variables x1 and x2 is equivalent to first complementing each of the variables and then ANDing them. x 1 x x 1 1 x x 2 x 2 2
(b) 𝑥 1 + 𝑥 2 = 𝑥 𝑥 2
A NOR gate is equivalent to the AND gate with inversions at its inputs

4. Figure 2.22. Using NAND gates to implement a sum-of-products.x 1 2 3 4 5 1
Double inversion has
no effect on the
network behavior. 2
Transform a AND-OR networks into a network of NAND gates
Replace each connection between AND and OR gate by inversions of signals.
Replace OR gate with inverted inputs by a NAND gate.
Replace each connection between the AND and an OR gate by a connection that includes two inversions of signals
The OR gate with inversions at its inputs is equivalent to a NAND gate.
Can implement any AND-OR network as a NAND-NAND network having the same topology.
Same topology!
Figure Using NAND gates to implement a sum-of-products.

5. Figure 2.23. Using NOR gates to implement a product-of sums.x 1 2 3 4 5
Can implement any OR-AND network as a NOR-NOR network having the same topology with the similar transformation procedure.
Figure Using NOR gates to implement a product-of sums.

6. Example 2.6 Let us implement the function using NOR gates only
Combining property
14b. (x + y) (x + 𝑦 ) = x
Let us implement the function using NOR gates only
𝑓 𝑥 1 , 𝑥 2 , 𝑥 3 = 𝑚(2, 3, 4 ,6, 7) = 𝑀(0,1,5)
The POS expression
𝑓=(x1 + x2 + x3) (x1+x2+ 𝑥 3 )( 𝑥 1 +x2+ 𝑥 3 )
// apply combining property 14b to
// M0 and M1; M1 and M5
= 𝑥 1 + 𝑥 2 ( 𝒙 𝟐 + 𝒙 𝟑 ) x1 x2 x3 F 1

7. Figure 2.24 NOR-gate realization of the function in Example 2.4.
(a) POS implementation in Example 2.4
x3 is inverted by a NOR
gate that has its inputs
tired together. x1 x2 f
𝒙 𝟑 = 𝒙 𝟑 + 𝒙 𝟑 x3
(b) NOR implementation
Figure NOR-gate realization of the function in Example 2.4.

8. Example 2.7 Let us implement the function using NAND gates only
Distributive property
12a. x (y + z) = xy + xz
Let us implement the function using NAND gates only
𝑓 𝑥 1 , 𝑥 2 , 𝑥 3 = 𝑚(2, 3, 4 ,6, 7)
The SOP expression
𝑓= 𝑥 1 𝑥2 𝑥 𝑥 1 𝑥2𝑥3+𝑥1 𝑥 𝑥 3 +𝑥1𝑥 2 𝑥 3 + 𝑥 1 𝑥2𝑥3
// merge m2, m3, m6, and m7 using P12a;
// merge m4 and m6
= 𝑥2( 𝑥 1 𝑥3+ 𝑥 𝑥 3 +𝑥1 𝑥 3 +𝑥1𝑥3)+𝒙𝟏(𝒙𝟐+ 𝒙 𝟐 ) 𝒙 𝟑
= x2 + 𝒙𝟏 𝒙 𝟑 x1 x2 x3 F 1
All 4 combinations = 1

9. Figure 2.25. NAND-gate realization of the function in Example 2.3.
x2= x2+x2 x2 x2 f x3 f x1 x1 x3
𝒙 𝟑 = 𝒙 𝟑 ∙𝒙 𝟑
(a) SOP implementation x2 f x1 x3
(b) NAND implementation
Figure NAND-gate realization of the function in Example 2.3.

10. 2.8 Design Examples
Basic issues that a designer is always confronted with
Necessary to specify the desired behavior of the circuit.
The circuit has to be synthesized and implemented.

11. Three-way light control
Let x1, x2, and x3 be the input variables that denote the state of each switch.
Assume that
the light is off if all switches are open
Closing any one of the switches will
turn the light on.
Closing a second switch will have to turn off the light, that is to say, light will be off if two (or no) switches are closed.
Turn the light on by closing the third switch if two switches are closed.
Figure Truth table for a three-way light control.

12. Canonical SOP and POS SOP expression for the specified function
𝑓=𝑚1+𝑚2+𝑚4+𝑚7
= 𝑥 1 𝑥 2 𝑥 3 + 𝑥 1 𝑥 2 𝑥 3 + 𝑥 1 𝑥 2 𝑥 3 + 𝑥 1 𝑥 2 𝑥 3
POS expression for the specified function
𝑓=𝑀0𝑀3𝑀5𝑀6
=(𝑥1+𝑥2+𝑥3) (𝑥1+ 𝑥 𝑥 3 )
( 𝑥 1 +𝑥2+ 𝑥 3 ) ( 𝑥 𝑥 2 +𝑥3)

13. f1 f2 f3 f4 (a) Sum-of-products realizationx1 x2 x3
(a) Sum-of-products realization f1 x1 x2 x3 f1 f2 f3 f4 f 1 x3 x2 x1 f2 f3 f f4
(a) Product-of-sums realization

14. Multiplexer
Distributive property
12a. x (y + z) = xy + xz
A circuit that generates an output that exactly reflects the state of one of a number of data inputs, based on the value of one or more selection control inputs. s x1 x2
f (s, x1, x2)
f(s, x1, x2)
= 𝒔 𝒙𝟏 𝒙𝟐 + 𝒔 𝒙𝟏𝒙𝟐+𝒔 𝒙𝟏 𝒙𝟐+𝒔𝒙𝟏𝒙𝟐 //12a
= 𝒔 𝒙𝟏 𝒙𝟐 +𝒙𝟐 +𝒔 𝒙𝟏 +𝒙𝟏 𝒙𝟐
= 𝒔 𝒙𝟏∙𝟏+𝒔∙𝟏∙𝒙𝟐
= 𝒔 𝒙𝟏+𝒔𝒙𝟐 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

15. Implementation of a 2-to-1 multiplexer
= 𝒔 𝒙𝟏+𝒔𝒙𝟐 x 1 s x1 x2
f (s, x1, x2) f s 1 x 2 1 1 s
f (s, x1, x2)
(b) Circuit 1 1 1 x1 1 1 x2 1 1 1 s 1 1
(d) More compact truth-table
representation x 1 1 1 1 1 f x 1
(a)
Truth
table 2
(c) Graphical symbol

16. More about complex multiplexer
A 4-to-1 multiplexer has four data inputs and one output
Two selection control inputs are needed
A 8-to-1 multiplexer needs eight data inputs and three selection control inputs
Same circuit structure can be used to implement multiplexer using NAND gates.
More discussions on multiplexer are in Chapter 3 and 6.

17. 2.12 Examples of Solved problems

18. Example 2.8 Determine if the following equation is valid
𝑥 𝑥 3 +𝑥2𝑥3+𝑥1 𝑥 2 = 𝑥 1 𝑥2+𝑥1𝑥3+ 𝑥 𝑥 3
Solution: Derive a canonical SOP form for each expression (an algebraic approach)
LHS = 𝑥 1 (𝑥2+ 𝑥 2 ) 𝑥 3 +(𝑥1+ 𝑥 1 )𝑥2𝑥3+𝑥1 𝑥 2 (𝑥3+ 𝑥 3 )
= 𝑥 1 𝑥2 𝑥 𝑥 𝑥 𝑥 3 +𝑥1𝑥2𝑥3+ 𝑥 1 𝑥2𝑥3+𝑥1 𝑥 2 𝑥3+𝑥1 𝑥 𝑥 3
( )
= 𝑚(2,0,7,3,5,4) = 𝑚(0,2,3,4,5,7)
RHS = 𝑥 1 𝑥2(𝑥3+ 𝑥 3 )+𝑥1(𝑥2+ 𝑥 2 )𝑥3+(𝑥1+ 𝑥 1 ) 𝑥 𝑥 3
= 𝑥 1 𝑥2𝑥3+ 𝑥 1 𝑥2 𝑥 3 +𝑥1𝑥2𝑥3+𝑥1 𝑥 2 𝑥3+𝑥1 𝑥 𝑥 𝑥 1 𝑥 𝑥 3
= 𝑚(3,2,7,5,4,0) = 𝑚(0,2,3,4,5,7)

19. Example 2.9 Combining property 14b. (x + y) (x + 𝑦 ) = x
Determine the minimum-cost POS expression for the function f(x1,x2,x3,x4) = 𝑚(0,2,4,5,6,7,8,10,12,14,15) Solution: To find a POS expression we should start with the definition in terms of maxiterms, which is f = 𝑀(1,3,9,11,13) f = M1∙𝑀3∙𝑀9∙𝑀11∙𝑀13 = (x1+x2+x3+ 𝒙 𝟒 ) (x1+x2+ 𝒙 𝟑 + 𝒙 𝟒 ) ( 𝒙 𝟏 +x2+x3+ 𝒙 𝟒 ) ( 𝒙 𝟏 +x2+ 𝒙 𝟑 + 𝒙 𝟒 ) ( 𝒙 𝟏 + 𝒙 𝟐 +x3+ 𝒙 𝟒 ) M1∙𝑀3 = x1 + x2 + 𝒙 𝟒 // combining property 14b M9∙𝑀11= 𝒙 𝟏 + x2 + 𝒙 𝟒 M9∙𝑀13= 𝒙 𝟏 + x3 + 𝒙 𝟒 f = (x1+x2+ 𝒙 𝟒 ) ( 𝒙 𝟏 +x2+ 𝒙 𝟒 ) ( 𝑥 1 +x3+ 𝑥 4 ) = (x2+ 𝒙 𝟒 ) ( 𝑥 1 +x3+ 𝑥 4 )

20. Example 2.12 Derive the simplest SOP expression for the function
Absorption
13a. x+xy = x
Combining
14a. xy+x 𝑦 = x
Derive the simplest SOP expression for the function
𝑓=𝑥2 𝑥3 𝑥4+𝑥1𝑥3𝑥4+𝑥1 𝑥2 𝑥4
Solution:
f = 𝑥2 𝑥3 𝑥4+𝑥1𝑥3𝑥4+𝒙𝟐𝒙𝟒𝒙𝟏+ 𝑥1 𝑥2 𝑥4 //consensus
= 𝑥2 𝑥3 𝑥4+𝑥1𝑥3𝑥4+𝒙𝟏𝒙𝟐𝒙𝟒+ 𝒙𝟏 𝒙𝟐 𝒙𝟒// combining
= 𝑥2 𝑥3 𝑥4+𝑥1𝑥3𝑥4+𝒙𝟏𝒙𝟒
= 𝑥2 𝑥3 𝑥4+𝒙𝟏𝒙𝟑𝒙𝟒+𝒙𝟏𝒙𝟒 // absorption
= 𝑥2 𝑥3 𝑥4+𝒙𝟏𝒙𝟒
Consensus
17a. xy + 𝑥 𝑧+𝑦𝑧 = xy+ 𝑥 𝑧

21. Problem 2.31 1 1 1 1 x 1 1 1 1 1 1 1 x 2 1 x 3 1 f
Time
Figure P A timing diagram representing a logic function.
Synthesize the function in the simplest SOP form

22. Problem 2.31 The simplest SOP expression is1 1 1 1 1 1 1 1 1 1 x 2 1 x 3 1 f x1 x2 x3 f 1
Time
The simplest SOP expression is
𝑓= 𝑥 𝑥 𝑥 𝑥 1 x2x3+x1 𝑥 2 x3+x1x2 𝑥 3