PPT Slide
3 � Combinational Logic Implementation
� 1996 Gaetano Borriello
Conversion between forms (cont'd)
9
Example: verify equivalence of two forms
Z = [ (A � B)' � (C � D)' ]'
= [ (A' + B') � (C' + D') ]'
= [ (A' + B')' + (C' + D')' ]
= (A � B) + (C � D) �
A
B
C
D
Z
NAND
NAND
NAND
A
B
C
D
Z
Previous slide
Next slide
Back to first slide
View graphic version