c02 PDF

1
Captulo 2
Sntesis en dos niveles

2.1. Formas de Funciones.
Pueden escribirse diversas expresiones para una funcin.
Existen dos formas bsicas de expresiones booleanas que pueden ser implementadas en dos
niveles de compuertas.
a) Suma de Productos (OR de ANDs).
Se denomina forma normal disyuntiva. Si uno de los sumandos (producto lgico de
variables) toma valor lgico 1, la expresin tomar valor lgico 1.
Ejemplo 1: AB ' C B ' D A ' CD ' con 8 literales y 11 entradas.
b) Producto de Sumas (AND de ORs).
Se denomina forma normal conjuntiva. Si uno de los productos (suma lgica de variables)
toma valor lgico 0, la expresin tomar valor lgico 0.
Ejemplo 2: ( A ' B C )( B ' C D)( A C ' D) con 9 literales y 12 entradas.
Existen formas hbridas que son mezclas de las dos anteriores, y que en general tienen
representacin en redes con ms de dos niveles de compuertas.
Las formas hbridas se pueden reducir a una de las anteriores, aplicando postulados y
teoremas.
Ejemplo 3: AB(C+D)+E es una forma hbrida, de 5 literales, 8 entradas y 3 niveles que
puede ser representada como suma de productos segn: ABC+ABD+E, con 7 literales, 9
entradas y 2 niveles. La forma hbrida tiene menor costo espacial, pero mayor costo temporal.
Toda expresin booleana puede ser representada en estas dos formas bsicas.
Por ejemplo para el Ejemplo 1, se tiene la forma producto de sumas: ( A B )(C D)( A C )
con 6 literales y 9 entradas, que es de menor costo. La equivalencia entre ambas formas puede
ser demostrada aplicando los postulados y teoremas.
Tambin se tiene para el Ejemplo 2, la forma equivalente segn suma de productos:
A ' B ' C ' AC BD CD , con 9 literales y 13 entradas, que es de mayor costo. En este caso tambin
se tiene la forma equivalente: A ' B ' C ' AC BD A ' D .
Profesor Leopoldo Silva Bijit
13-04-2010
Sistemas Digitales
Existen dos formas especiales de suma de productos y producto de sumas que se denominan:
Suma de mintrminos y Producto de maxtrminos; las cuales permiten expresar funciones
booleanas en forma normalizada.
Las formas cannicas son representaciones estandarizadas de expresiones booleanas y
permiten asociar a una funcin una expresin algebraica nica. Escritas de esta manera pueden
efectuarse comparaciones entre expresiones booleanas.
Una forma cannica destaca las componentes ms primitivas de una expresin.
Existe slo una forma de escribir la tabla de verdad de una funcin y slo una forma
cannica, pero existen diversas representaciones de la funcin, mediante esquemticos o
expresiones booleanas.
Los trminos elementales con los que se construyen las formas cannicas se denominan
mintrminos y maxtrminos. Una forma cannica no es una expresin mnima.
2.2. Mintrminos
En una funcin de n variables, un mintrmino es un producto que contiene las n variables,
pudiendo stas estar o no complementadas.
Para el caso de dos variables, los mintrminos son:
AB, AB, AB, AB
Puede comprobarse que para tres variables, el nmero de mintrminos es 8, y para n
variables se tendrn 2 n mintrminos.
Debe notarse que cada rengln de una tabla de verdad est asociado a un y slo un
mintrmino.
Cada mintrmino puede ser asociado a un nmero decimal.
Para simplificar la notacin, una vez ordenadas las variables de acuerdo a cierto criterio, se
asigna un "1" a una variable no complementada y un "0" a las complementadas, formando as un
nmero binario, el cual expresado en sistema decimal se emplea para referenciar unvocamente
a cada mintrmino.
Ejemplo 2.1. Definicin de mintrmino
Sea: A B C un mintrmino en caso de tener una funcin de tres variables. Entonces el
cdigo binario es 010, este nmero expresado en decimal es 2. El criterio de ordenacin de las
variables es alfabtico. Se anota: m2 A BC
Una funcin booleana puede describirse por la suma de los mintrminos que la constituyen.
13-04-2010
Captulo 2. Sntesis en dos niveles
En general:
mi
La anterior es una forma particular de suma de productos.

Una simplificacin adicional es escribir una lista de mintrminos segn:
m(1,3,8)
Esto indica que f est formada por la suma de m1 , m3 y m8 .

Debe destacarse que es importante el orden de las variables antes de asignar cdigos
binarios.
Ejemplo 2.2. Suma de mintrminos
Obtener la tabla de verdad para:
f ( A, B, C )
m(2, 6)
ABC
ABC
Se tiene:
# ABC f m2 m6
0 000 0 0
0
1 001 0 0
0
2 010 1 1
0
3 011 0 0
0
4 100 0 0
0
5 101 0 0
0
6 110 1 0
1
7 111 0 0
0
Figura 2.1 Tablas de verdad de algunos Mintrminos.
La tabla de verdad de un mintrmino contiene uno y slo un valor lgico "1"; el resto son
"0"s. La posicin del "1", define unvocamente un rengln. Cada columna de un mintrmino, a
travs de la operacin OR, deja un uno, en un rengln determinado de la columna de f.
La suma lgica de los mintrminos no incluidos en la sumatoria que describe a f, son los
mintrminos de la funcin complementada, en el caso del ejemplo anterior:
m(0,1, 3, 4, 5, 7)
2.3. Maxtrmino.
Es una suma lgica que contiene todas las variables, pudiendo stas estar o no
complementadas.
13-04-2010
Sistemas Digitales
La tabla de verdad de un maxtrmino contiene uno y slo un valor lgico "0"; el resto son
"1"s. La posicin del "0" define unvocamente a un rengln de la tabla de verdad.
Para dos variables, los maxtrminos son: ( A B), ( A B ), ( A B) y ( A B )
Para n variables se tendrn 2 n maxtrminos.
El cdigo decimal para identificar a los maxtrminos se obtiene, una vez ordenadas las
variables dentro de una suma de acuerdo a cierto criterio, asignando un "0" a cada variable no
complementada y un "1" a las variables complementadas. Debe notarse que esta asignacin es
diferente (dual) de la elegida para mintrminos.
Ejemplo 2.3. Definicin de maxtrmino.
Sea: ( A B C ) un maxtrmino. Entonces el cdigo binario es: 101. El nmero expresado
en decimal es 5 y se anota: M 5
A B C
Una funcin puede describirse como el producto de los maxtrminos que la constituyen.
Cada maxtrmino asegura un cero de la funcin en un determinado rengln.
En general:
Mi
Es una forma particular de producto de sumas. Tambin puede abreviarse mediante una lista
de los nmeros decimales de los maxtrminos.
Ejemplo 2.4. Producto de maxtrminos
Obtener la tabla de verdad para:
f ( A, B, C )
M (2, 6)
(A B
C )( A
C)
Se tiene:
# ABC f M2 M6
0 000 1 1
1
1 001 1 1
1
2 010 0 0
1
3 011 1 1
1
4 100 1 1
1
5 101 1 1
1
6 110 0 1
0
7 111 1 1
1
Figura 2.2. Tablas de verdad de algunos Maxtrminos.
13-04-2010
La tabla de verdad de un maxtrmino contiene uno y slo un valor lgico 0, el resto son
1s. La posicin del cero define unvocamente al rengln. Cada columna de un maxtrmino,
deja un cero a travs de la operacin AND, en un rengln determinado de la columna de f.
El producto lgico de los maxtrminos no incluidos en f, corresponde a la funcin
complemento:
M (0,1,3,4,5,7)
Relaciones
Con los cdigos elegidos para denotar mintrminos y maxtrminos, se cumplen:
mi
Mi
Mi
mi
mi
Mi
Mi
mi
Para n variables se tendr que:

i (2n ) 1
mi 1
i 0
i (2n ) 1
Mi
i 0
Es decir, la suma lgica de todos los mintrminos de n variables es igual a 1; y el producto

lgico de todos los maxtrminos tiene valor lgico cero.
Ejemplo 2.5. De suma de mintrminos a productoria de maxtrminos.
Expresar como producto de maxtrminos, la funcin f y su complemento:
f(A,B,C)
f
Se tiene, para la funcin f:
m( 2,3,6,7 )
m2 m3 m6 m7
f m2 m3 m6 m7
Complementando:
Reemplazando los mintrminos complementados por maxtrminos:
M2 M3 M6 M7
Finalmente, para la funcin complementada:
M (2,3, 6, 7)
Se puede escribir la funcin complementada, como la suma de los mintrminos que no estn
f m0 m1 m4 m5
presentes en la funcin, es decir:
Aplicando De Morgan:
m0
m1 m4
m5
13-04-2010
Sistemas Digitales
Resulta:
f m0 m1 m4 m5
Reemplazando los mintrminos complementados por maxtrminos:
M 0 M1 M 4 M 5
Finalmente:
M (0,1, 4,5)
2.4. Expansin a formas cannicas

Cualquier funcin booleana puede ser representada en forma cannica. El proceso de obtener
la forma cannica se denomina expansin.
Un mtodo directo consiste en obtener la tabla de verdad, y luego identificar los mintrminos
o los maxtrminos. Otra posibilidad, que se estudia a continuacin, es mediante un desarrollo
algebraico basado en los postulados y teoremas del lgebra de Boole.
2.4.1. Expansin de suma de productos
Est basado en el uso repetitivo del teorema: a
ab
ab
Ejemplo 2.7. Expansin a mintrminos.
f (a, b, c)
bc
abc
El trmino "a" puede expandirse segn:
ab ab
abc ab c abc ab c
m7 m5 m6 m 4
;se completan las variables que faltan.
Para bc se tiene:
bc
abc
m6
a bc
m2
Se tiene que: abc = m7 , es un mintrmino.

Usando el teorema de idempotencia (m6 + m6 = m6), se obtiene:
f (a, b, c)
m(2,4,5,6,7)
2.4.2. Expansin de productos de sumas

Est basado en completar los factores, mediante el uso de: a
(a
b)( a
b)
Ejemplo 2.8. Expansin a maxtrminos
f (a, b, c)
(a
b)(b
c)
Se tiene que:
13-04-2010
a b
(a b c) (a b c )
M 0 M1
(a b c ) (a b c )
Considerando, por idempotencia, que: M 1
M 1M 1
M1 M 5
b c
Finalmente:
f (a, b, c)
M 0 M 1M 5
2.5. Sntesis de las formas.

2.5.1. Suma de productos
Dada una funcin mediante una suma de productos, sta puede implementarse usando un
OR de AND's.
Ejemplo 2.9. OR de ANDs
Para: f (a, b, c, d )
ab cd , se logra directamente:
a
b'
f
c
d
Primer Nivel
| Segundo Nivel
Figura 2.3. Suma de productos en dos niveles.

Se dice que es una implementacin en dos niveles.
Una red es de n niveles, cuando una seal de entrada debe pasar a travs de n compuertas
para llegar a la salida; la seal de entrada que recorra ms compuertas hasta llegar a la salida, es
la que define la cantidad de niveles; el recorrido se denomina ruta crtica y define el retardo de
propagacin de la red. Debe notarse que se considera que se dispone de b' (si slo se dispone de
b, se requiere un nivel adicional).
Tambin puede implementarse usando solamente compuertas NAND.
Ejemplo 2.10. Dos niveles de NANDs
En el ejemplo 2.9. aplicando involucin, se logra:
ab
cd
ab cd
; por involucin .
; por De Morgan.
Grficamente:
13-04-2010
Sistemas Digitales
a
b'
f
c
d
Figura 2.4. Suma de productos mediante NANDs.
La tcnica anterior se denomina "Mtodo de doble complementacin", la cual se puede
visualizar en forma grfica agregando dos pequeos crculos a la salida de la Figura 2.3.
a
a
f
f
b'
b'
c
c
d
Figura 2.5. Doble complementacin.

Luego se emplea, el equivalente grfico del Teorema de De Morgan, que se muestra en la
Figura 2.6.
Figura 2.6. Equivalencia grfica del teorema de De Morgan.

Finalmente se desplazan los pequeos crculos, en las entradas de la compuerta de salida,
hacia las salidas de las compuertas de primer nivel; resultando la Figura 2.4.
2.5.2. Producto de sumas
Dada una funcin mediante un producto de sumas, puede lograrse una implementacin en
dos niveles; usando un AND de OR's.
Ejemplo:
(A
B ) (C
D)
Se obtiene:
A
B'
C
D
Figura 2.7. Producto de sumas en dos niveles.
13-04-2010
Esto en el caso de emplear compuertas AND y OR. Tambin puede aplicarse el mtodo de
la doble complementacin para un diseo basado en compuertas NOR.
Algebraicamente:
( A B ) (C
D)
; involucin
( A B ) (C
D)
; De Morgan
Resulta:
A
f
B'
C
D
| Primer Nivel
| Segundo Nivel
Figura 2.8. Suma de productos mediante NORs.

El circuito anterior, puede obtenerse directamente a partir del basado en AND y OR, de la
Figura 2.7, usando el equivalente grfico del teorema de De Morgan, que se muestra en la
Figura 2.9.
Figura 2.9. Visualizacin esquemtica del teorema de De Morgan.

2.5.3. Conversin de producto de sumas a suma de productos. Cambio de lgica.
Si se tiene una expresin tipo producto de sumas, mediante la doble complementacin, el
circuito a la izquierda de la Figura 2.10, puede modificarse como se muestra en el esquemtico
de la derecha:
A
A
B'
C
D
B'
C
D
Figura 2.10. De producto de sumas a Suma de productos.

Aplicando De Morgan, a las compuertas de primer y segundo nivel se obtiene la red de la
Figura 2.11 izquierda. Luego complementando las variables de entrada y salida, se obtiene el
esquema de suma de productos.
13-04-2010
10
Sistemas Digitales
A
f
B'
A'
B
f'
C'
D'
C
D
Figura 2.11. Complementos de las entradas y salidas.

Debe notarse que la implementacin como suma de productos tiene todas las variables de
entrada y salida complementadas, respecto a la forma producto de sumas. Es decir, plantea la
expresin en trminos de los complementos de las variables originales.
Tambin puede convertirse una expresin tipo suma de productos a la forma producto de
sumas. En un esquemtico, se cambian los ANDs del primer nivel por ORs; y el OR del
segundo nivel por un AND; adems se complementan las variables de entrada y la de salida.
Si se cambia la asignacin de valores fsicos a lgicos por su forma complementaria, el
diseo en dos niveles basado en suma de productos puede efectuarse como producto de sumas y
viceversa.
2.6. Diseo lgico

2.6.1. Fan-in. Fan out.
En la prctica, las compuertas lgicas tienen ciertas caractersticas. Una de ellas es el fan-in,
que es el nmero de entradas de una compuerta.
En componentes electrnicas integradas en pequea escala, el caso de las compuertas lgicas
OR, AND, NOT, NOR y NAND, las pastillas suelen ser de 14 pines o patas. Dos de ellas se
emplean para proveer la alimentacin continua (Vcc) y la Tierra (Gnd). Debido a esto, a medida
que aumenta el nmero de entradas a una compuerta, disminuye el nmero de circuitos, o
compuertas de igual tipo, que soporta la pastilla. Por ejemplo, se tienen 4 circuitos de 2
entradas, 3 de 3 entradas, 2 de 4 entradas.
Fan-out se denomina el nmero de compuertas que pueden ser alimentadas o comandadas
por una salida.
Si en un diseo lgico se efectan restricciones de fan-in y fan-out, se tendr una
representacin en ms de dos niveles.
A mayor nmero de niveles, habr un comportamiento ms lento del circuito; ya que una
conmutacin debe propagarse a travs de ms compuertas.
A menor nmero de niveles se tendr que ocupar compuertas de mayor fan-in, lo que
generalmente implica ocupar ms pastillas en una implementacin.
13-04-2010
11
2.6.2. Observaciones sobre la forma Producto de Sumas.

Algunas observaciones sobre la forma AND de ORs:
Si se observa la siguiente tabla de verdad:
f
0
1
0
1
1
1
0
0
f1
0
1
1
1
1
1
1
0
f2
1
1
0
1
1
1
0
1
Figura 2.12. AND de columnas.

Se advierte que, dada la eleccin de las funciones, se cumple: f = f1 f2
Donde f1 y f2 son grupos de maxtrminos de f, y son agrupaciones disjuntas. Los
maxtrminos de f1 no estn presentes en f2 y viceversa.
Ambas funciones pueden representarse como producto de maxtrminos; es decir, como
producto de sumas.
La minimizacin consiste en encontrar los mayores grupos de maxtrminos que puedan
escribirse como un solo sumando con el menor nmero de literales. En ese caso al grupo se lo
denomina implicante. Esto minimiza el fan-in de las compuertas ORs que implementan el
sumando. A la vez, la minimizacin tambin consiste en determinar el menor nmero de grupos
disjuntos, ya que esto minimiza el fan-in del AND que forma el producto lgico.
2.6.3. Observaciones sobre la forma Suma de Productos.
Algunas observaciones sobre la forma OR de ANDs:
Si se observan las siguientes tablas de verdad:
f
0
1
0
1
1
1
0
0
f1
0
1
0
0
0
1
0
0
f2
0
0
0
1
1
0
0
0
Figura 2.13. OR de columnas.

13-04-2010
12
Sistemas Digitales
Se advierte que, dada la eleccin de las funciones, se cumple: f = f1 + f2
Donde f1 y f2 son grupos de mintrminos de f, y son agrupaciones disjuntas. Los mintrminos

de f1 no estn presentes en f2 y viceversa.
Ambas funciones pueden representarse como suma de mintrminos; es decir, como suma de
productos.
La minimizacin consiste en encontrar los mayores grupos de mintrminos que puedan
escribirse como un solo producto con el menor nmero de literales. En ese caso al grupo se lo
denomina implicante. Esto minimiza el fan-in de las compuertas AND que implementan el
producto. A la vez, la minimizacin tambin consiste en determinar el menor nmero de grupos
disjuntos, ya que esto minimiza el fan-in del OR que forma la suma lgica.
2.6.4. Observaciones sobre las diferentes formas de diseo.
Existen bsicamente dos metodologas de diseo. Una es agrupar los mintrminos de la
funcin, lo que lleva a la forma suma de productos; la otra es agrupar los maxtrminos de la
funcin, lo que lleva a la forma producto de sumas.
El primer mtodo es equivalente a agrupar los ceros (maxtrminos) de la funcin
complementada.
El segundo mtodo es equivalente a la agrupacin de unos (mintrminos) de la funcin
complementada.
A muchas personas les resulta ms sencillo formar agrupaciones de unos. Entonces:
agrupando los unos de la funcin se logra la forma suma de productos; y agrupando los unos de
la funcin complementada, se genera mediante De Morgan la forma producto de sumas, ya que
esto equivale a agrupar los ceros de la funcin. Luego debe compararse el costo de ambos
diseos para obtener el mnimo.
2.6.5. Perturbaciones. Diseos con riesgos.
En diseos de redes combinacionales pueden presentarse perturbaciones. En el caso de la red
de la Figura 2.14, la salida puede expresarse segn:
P = (((A+B) + (D+ C)) + A) = A(AB+CD)
Entonces con {B=0, C=1} o {B=0 y D=0}, se presenta perturbacin, en canto de subida de A
atrasado, ver Figura 1.9.
13-04-2010
13
A
B
C
P = A'(AB' + C'D)
Figura 2.14. Perturbacin en red combinacional

Las carreras entre los cantos, pueden evitarse en este caso cambiando el diseo.
Minimizando se logra un diseo libre de perturbaciones: P = A' C' D
Una perturbacin puede eliminarse, suprimiendo la posibilidad de formar: (A + A') o (A A')
en la funcin; esto congelando en "1" "0" el resto de las variables.
Para esto se usa el teorema del consenso, que para tres variables puede escribirse:
AB AC
Si B=1 y C=1, queda: A
AB AC BC
A A 1
El trmino de consenso elimina la perturbacin, colocando un uno lgico cuando se produce

la condicin de perturbacin. Lo cual se ilustra a continuacin:
2.6.5.1. Perturbacin esttica en uno.
La tabla de verdad de f, se ilustra mediante una representacin denominada mapa de
Karnaugh, que se estudiar en detalle en el Captulo 5.
AB
00
0
1
1
1
0
1
01
11
2
1
1
10
f(A, B, C)=AB+AC+BC
4
5
A'
C
A
B
B
C
Figura 2.15. Eliminacin de perturbacin en uno.
13-04-2010
14
Sistemas Digitales
Con B=1 y C=1, si se producen transiciones de A, stas implican perturbaciones. Esto

permite identificar su ocurrencia en un mapa; se producen cuando el diseo tiene implicantes
adyacentes. Se corrige con el trmino de consenso, que de un punto de vista formal es
redundante; y en la prctica elimina la perturbacin, cubriendo la zona en que los implicantes
tienen la adyacencia.
En el caso del ejemplo: sta se produce en el canto de bajada de A, si A est atrasada
respecto a A; y en el de subida de A, si A est adelantada respecto a A.
Lo diseos basados en suma de productos pueden generar perturbaciones en 1; y los basados
en producto de sumas pueden generar perturbaciones en 0.
2.6.5.2. Perturbacin esttica en cero.
Si se tiene: f
( A B)( A ' C ) .
A
B'
f1
f
A
C
f2
Figura 2.15a. Perturbacin en cero.

La condicin para la perturbacin, se produce con B=0 y C=0, cuando ocurre un canto de
subida de A (con A atrasada respecto de A); la salida del and equivale al producto: AA.
Las perturbaciones en cero, se eliminan introduciendo una suma de trminos adicional,
empleando el teorema del consenso: ( A B)( A' C ) ( A B)( A' C )(B C ) .
A
B
f1
B
C
A
C
f2
Figura 2.15b. Eliminacin de perturbacin en cero.

En este caso, cuando B=0 y C=0, la salida ser: f
produce perturbacin.
( A 0)( A ' 0)(0 0) 0 , y no se
Resumiendo: se producen perturbaciones estticas, cuando hay agrupaciones adyacentes

(stas difieren en una variable). Se denominan estticas, pues es un cambio momentneo de un
13-04-2010
15
nivel constante (Spikes o glitches), produciendo un falso cero o un falso uno. El falso cero se
denomina perturbacin esttica en uno; el falso uno se denomina perturbacin esttica en cero.
Figura 2.16. Falsos ceros y unos.

El circuito combinacional, que en determinadas condiciones de las entradas, puede presentar
perturbaciones en la salida se denomina riesgoso (hazard). Mediante diseos en dos niveles, y
cuando se cubren las adyacencias entre implicantes, empleando compuertas adicionales, se
logran diseos de redes combinacionales libres de riesgos.
Ejemplo 2.11. Anlisis de perturbaciones.
En el esquemtico de la Figura 2.17, se tiene: f
AB
BC
A
f
Figura 2.17. Anlisis de perturbaciones.

Puede determinarse si se produce o no perturbacin, analizando si llegan seales y sus
complementos a una misma compuerta.
En el caso de la Figura 2.17, si A=0 y C=1 se tiene f = B'+B lo que implica la posibilidad o
riesgo de perturbacin en f.
Para determinar cundo se produce, es preciso conocer cual de las seales llega primero. En el
caso de la Figura 2.17, B llega al OR de la salida, con un retardo de propagacin, a travs del
AND; y B pasando a travs del NOT llega al OR de salida, con dos retardos de propagacin.
Como B' est atrasada respecto de B, la perturbacin se produce en el canto de bajada de B.
Ver Figura 1.9.
En un mapa (ver Captulo 5) se puede visualizar el riesgo de perturbacin, debido a
agrupaciones adyacentes. En la Figura 2.18 se visualiza la perturbacin al pasar B de 1 a 0, es
un caso de falso cero, ya que la implementacin es del tipo suma de productos.
13-04-2010
16
Sistemas Digitales
AB
00
0
1
01
11
2
6
7
10
4
5
f(A, B, C)=A'B'+BC
Figura 2.18. Visualizacin de perturbaciones en mapas.

Puede corregirse el diseo:
a) atrasando B, colocando condensadores, dependiendo su ubicacin y la forma de conectarlo de
la familia lgica. Esta solucin no es general.
b) colocando compuerta de consenso AC. La solucin con compuertas que cubran las
transiciones entre implicantes es de tipo general y no depende de la frecuencia de las seales
presentes. Un circuito, con las compuertas adicionales, se denomina libre de riesgos.
Ejemplo 2.12.
En circuitos diseados con ms de dos niveles, pueden generarse perturbaciones con ms de
un cambio momentneo. Por ejemplo si debiendo estar en uno, tiene dos o ms cadas a cero en
un leve perodo de tiempo.
El siguiente circuito, de la Figura 2.19, tiene una perturbacin, de ms de un pulso, en 1; el
resto de las variables se asumen unos para habilitar las entradas a los ands.
La seal en f1 tiene una perturbacin en 1, ocurre lo mismo en f2. Libre de perturbaciones la
seal en f debera ser un uno. Sin embargo se presenta una perturbacin de ms de un pulso,
como se ilustra en las formas de ondas de la Figura 2.20, si el tiempo de propagacin de la va
que genera f2 es mayor que el retardo con que se produce f1.
a
b
f1
a
c
a
d
a
e
f2
Figura 2.19. Ms de una perturbacin esttica.
13-04-2010
17
a
a
f1
f2
f
Figura 2.20. Ms de una perturbacin esttica.

Se producen en implementaciones con ms de dos niveles, y si concurren a una compuerta
las seales y sus complementos por ms de dos vas con retardos diferentes.
Si denominamos f a la seal de salida, y A a la seal de entrada, se tiene que:
f = (A+A)(A+A)
La perturbacin de ms de un pulso tambin se podra definir como esttica, en el sentido
que un valor lgico que debe permanecer sin cambios (estacionario o esttico), cambia el valor
una o ms veces, y en forma momentnea, para finalmente retomar el valor inicial. En algunos
textos, estas perturbaciones son clasificadas como dinmicas.
2.6.5.3. Perturbaciones dinmicas.
Si la seal de salida cambia de valor lgico, es decir, de 0 a 1 o viceversa, y durante el
cambio ocurren perturbaciones se dice que sta es dinmica.
Figura 2.21. Perturbaciones dinmicas.

La red de la Figura 2.22 muestra una perturbacin dinmica, al cambiar la variable A de
entrada de 1 a 0, y la salida de 0 a 1. Con B=1, C=1 y D=0, se tiene que: f = (A +A)(A) y las
seales concurren al AND de salida a travs de tres vas con diferentes retardos. La seal f1,
tiene una perturbacin esttica en cero, en el canto de bajada de A; si el cambio f 1 se produce
despus del cambio de f2, por ser su va de propagacin ms lenta, la seal f, presentar una
oscilacin: primero pasa a 1, luego a 0 y finalmente a 1.
Se aprecia que f, cambia momentneamente a 0, luego vuelve a tomar valor 1; para
finalmente tomar valor estable 1.
Resumiendo se puede decir que una perturbacin es dinmica si ocurre en una conmutacin
de la salida. Se espera una sola transicin de la salida y se producen oscilaciones de sta.
13-04-2010
18
Sistemas Digitales
En un diseo en dos niveles, no se producen perturbaciones dinmicas. En una red

multinivel, tampoco se producen perturbaciones dinmicas si el diseo se realiza eliminando las
perturbaciones estticas.
A
B
f1
A
C
A
f2
D
Figura 2.22. Red con perturbacin dinmica.
A
A
f1
f
Figura 2.23. Perturbacin dinmica.

El caso dual del anterior, se produce para una red combinacional en la que se produzca en la
salida: f=AA + A.
2.6.5.4. Carreras aleatorias de las entradas. Perturbacin de la funcin.
En redes combinacionales tambin pueden producirse perturbaciones si varias de las entradas
tienen cambios casi simultneos.
En el mapa de la funcin f, de la Figura 2.24, si la funcin cambia de:
f(0, 0, 0, 0) a f(0, 1, 0, 1)
debera permanecer en cero. Sin embargo si no se produce el cambio simultneo de B y D, se
tendrn dos situaciones posibles:
Si B cambia primero, se tendr, que la salida toma los valores:
f(0, 0, 0, 0) , f(0, 1, 0, 0) , f(0, 1, 0, 1)
Si D cambia primero, la salida toma los valores:
13-04-2010
19
f(0, 0, 0, 0) , f(0, 0, 0, 1) , f(0, 1, 0, 1)

En ambos casos la funcin pasa momentneamente por 1.
AB
00
CD
01
0
11
12
00
01
11
10
13
15
14
10
0
0
1
0
8
9
11
10
f(A, B, C, D)
Figura 2.24. Funcin con perturbacin por carreras.
Una forma de controlar las carreras de las entradas es la habilitacin del conjunto durante un
breve lapso de tiempo, luego de un tiempo de ocurrido el cambio de las entradas.
A, B, C, D
p
Figura 2.25. Pulso de habilitacin.

El pulso de habilitacin se denomina strobe, en ingls.
A
B
C
D
p
Figura 2.26. Funcin con perturbacin por carreras.
Ejemplo 2.13.
La red combinacional, de la Figura 2.27, es alimentada por un contador que genera las
seales A, B, C y D. stas cambian casi al mismo tiempo; es decir, varias tienen cantos que
13-04-2010
20
Sistemas Digitales
ocurren con pequeas diferencias temporales. Podra decirse que ocurre una carrera entre las
diferentes conmutaciones.
A
B
TP1
C
D
Clock
CP1 Q1
CP2 Q2
74LS93
f
1
MR1
Q3
MR2 1 Q2
CP0
Q1
CP1
Q0
TP2
Figura 2.27. Carreras en las entradas.

Si se analizan las formas de ondas, cuando A es 1; y B pasa de 0 a 1; y C y D pasan de 1 a 0;
es decir cuando el contador entra en la cuenta 12 en decimal, o 1100 en binario, se produce una
perturbacin de 1 en la salida.
A
B
C
D
TP1
TP2
f
Perturbacin por carreras de las entradas
Figura 2.28. Perturbacin por carreras en las entradas.
13-04-2010
21
Problemas resueltos
Problema 2.1. Diseo multinivel
Un caso ms general de implementacin en base a compuertas NOR y NAND se ilustra en el
siguiente ejemplo.
Se parte de una implementacin multinivel tipo suma de productos, y se emplea la tcnica de
doble complementacin. El diseo se representa mediante un esquemtico.
(A
B) C
(D
E) F
La funcin no est descrita como suma de mintrminos.

En forma inmediata se logra la red en tres niveles, empleando compuertas con fan-in igual a
dos:
A'
B'
D
E
C
F'
Figura P2.1. Funcin en tres niveles.

La implementacin basada en compuertas NAND se logra con el mtodo de doble
complementacin. En forma grfica:
A'
B'
D
E
C
F'
Figura P2.2. Doble complementacin en diseos multinivel.

Aplicando el teorema de De Morgan, se logra una implementacin, en base a NAND:
13-04-2010
22
Sistemas Digitales
A
B
C
F'
D'
E'
Figura P2.3. Diseo multinivel mediante NANDs.

Ntese que las variables de entrada, que recorren un nmero impar de compuertas para llegar
a la salida, deben complementarse. Es el caso de A, B, D y E en el ejemplo anterior.
Problema 2.2. Conversin a NANDs en multinivel
El siguiente ejemplo ilustra una conversin a compuertas nand de un esquemtico multinivel,
del tipo suma de productos. Debe notarse el tratamiento de la seal interna X, y la necesidad de
agregar un inversor.
Desde un punto de vista analtico: F = A X + X + D; X = B C
Complementando, ambos miembros, se logra: F' = ( A X)' ( X' ) ( D' ) ; X' = (B C)'
A
A
X
B
F
C
X
B
D
C
X'
D'
Figura P2.4 Implementacin con NANDs en diseos multinivel.

Problema 2.3. Diseo multinivel. Factorizacin.
Sea una funcin de 7 variables.
X=ADF + AEF + BDF + BEF + CDF + CEF + G
Asumiendo que ya est simplificada lgicamente como suma de productos, se observa que
requiere una compuerta OR de 7 entradas (fan-in = 7), tambin se requieren 6 compuertas AND
de 3 entradas. La expresin est formada por 19 literales. Un diseo directo requiere 25 entradas
(7 al OR de salida y 18 a los ANDs). Esta implementacin tiene alto costo y es en dos niveles.
Efectuando una factorizacin, puede expresarse segn:
X = (A + B + C) (D + E) F + G
Para encontrar los factores adecuados pueden ayudar programas de minimizacin multinivel.
13-04-2010
23
La expresin anterior requiere una compuerta OR de tres entradas, dos ORs de dos entradas,
un AND de 3 entradas. La factorizacin logra una expresin con 7 literales; y 10 entradas.
Se disminuye el tamao, pero aumenta el nmero de niveles.
A
B
C
D
E
F
G
Figura P2.5. Diseo en tres niveles.

Problema 2.4. Diferentes formas de implementacin.
Pueden escogerse diferentes formas de implementar funciones.
Por ejemplo, para la siguiente tabla de verdad:
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
f
0
1
0
1
0
1
1
0
Figura P2.6. Funcin de tres variables.

a) Como suma de mnterminos: f = A'B'C+A'BC+AB'C+ABC'
requiere un OR de 4 entradas, y 4 ANDs de 3 entradas. 16 entradas, con 12 literales, en dos
niveles, asumiendo que se dispone de las variables y sus complementos (los literales).
b) Si se escribe como suma de productos mnima:
f = (A'B'C + A'B'C ) +A'BC+AB'C +ABC' por idempotencia, y agrupando se obtiene:
f = A'C+B'C +ABC' forma mnima que requiere un OR de 3 entradas, 2 ANDs de 2
entradas y un AND de 3 entradas. Con 10 entradas y 7 literales. En dos niveles.
c) Factorizando con S = AB, se logra: f = SC'+S'C;
13-04-2010
24
Sistemas Digitales
A
B
C'
C
Figura P2.7. Empleando un factor comn S.
Que requiere: 3 compuertas AND de 2 entradas, un OR de dos entradas y un inversor. Se
tienen 9 entradas y 4 niveles.
d) Empleando compuertas XOR: f = S
A
B
C; con S = AB
S
f
C
Figura P2.8. Empleando compuertas xor.
Implementacin que emplea 2 compuertas, dos niveles, 4 entradas. Una de las compuertas es
un OR exclusivo que requiere mayor costo interno.
Problema 2.5. Costos de Implementacin.
Dependiendo de la forma de la expresin, las formas mnimas pueden tener costos diferentes,
como se aprecia en el siguiente ejemplo.
La expresin: f = AB + C en su forma cannica de suma de productos requiere: 20 entradas,
5 ANDs de 3 entradas y un OR de 5 entradas. Si se minimiza la suma de productos se requieren:
4 entradas, un AND de 2 entradas y un OR de 2 entradas.
La misma expresin anterior como forma cannica de producto de sumas requiere: 12
entradas, 3 ORs de 3 entradas y un AND de 3 entradas. En su forma minimizada de producto de
sumas requiere: 6 entradas, 2 ORs de 2 entradas y un AND de 2 entradas.
En este caso la suma minimizada de productos lleva a la implementacin de menor costo
espacial.
Un anlisis de las formas de ondas permite establecer diferencias entre las
implementaciones, ya sea por la produccin de perturbaciones o porque tengan retardos
diferentes. Algunas compuertas que tienen mayor nmero de entradas, tienen mayor retardo.
13-04-2010
25
Problema 2.6.
Expresar como suma de mintrminos usando teorema de expansin. Exprese los mintrminos
mediante nmeros decimales, ordenados en forma ascendente.
Con f(a, b, c, d) = a + b c
Solucin:
Para el primer trmino se tiene la siguiente expansin:
a = ab + ab = abc + abc + abc + abc
a = abcd + abcd + abcd + abcd + abcd + abcd + abcd + abcd
a = m(15, 14, 13, 12, 11, 10, 9, 8)
Para el segundo trmino, la expansin resulta:
bc = abc + abc = abcd + abcd + abcd + abcd = m( 11, 10, 3, 2)
Entonces: f(a, b, c, d) = m(15, 14, 13, 12, 11, 10, 9, 8) + m( 11, 10, 3, 2)
Como m10 + m10 = m10 por idempotencia, y tambin: m11 + m11 = m11
Resulta finalmente, ordenando los valores decimales en forma ascendente:
f(a, b, c, d) = a + bc = m(2, 3, 8, 9, 10, 11, 12, 13, 14, 15)
Problema 2.7.
Se tiene una red combinacional con tres entradas (D2, D1, D0) y ocho salidas: (L7, L6, L5, L4,
L3, L2, L1, L0).
Los tres dgitos binarios pueden leerse en su equivalente decimal (n), considerando que D2
es la cifra ms significativa y D0 la menos significativa.
Cuando en la entrada se tiene el nmero n: la salida Ln est baja (0 lgico) y el resto de las
salidas estn altas (1 lgico).
D2
D1
D0
L7
L6
...
L1
L0
Figura P2.9 Entradas y salidas Problema 2.7.

Determinar:
a) Tabla de verdad.
b) Expresin lgica mnima para L5 como suma de productos, efectuando reducciones
algebraicas.
c) Expresin lgica mnima para L5 como producto de sumas, efectuando reducciones
algebraicas.
Solucin.
13-04-2010
26
Sistemas Digitales
a) La tabla de verdad para las ocho salidas:
D2
0
0
0
0
1
1
1
1
D1
0
0
1
1
0
0
1
1
D0
0
1
0
1
0
1
0
1
L7
1
1
1
1
1
1
1
0
L6
1
1
1
1
1
1
0
1
L5
1
1
1
1
1
0
1
1
L4
1
1
1
1
0
1
1
1
L3
1
1
1
0
1
1
1
1
L2
1
1
0
1
1
1
1
1
L1
1
0
1
1
1
1
1
1
L0
0
1
1
1
1
1
1
1
Figura P2.10 Tabla de verdad Problema 2.7.

b) De la tabla, expresando como suma de mintrminos:
L5 = m(0, 1, 2, 3, 4, 6, 7)
L5 = m0+m1+m2+m3+m4+m6+m7
L5 = m0+m0+m1+m2+m2+m2+m3+m3+m4+m6+m6+m7 Por idempotencia. T8.
L5 = (m0+m2+m4+m6) + (m0+m1+m2+m3) + (m2+m3+m6+m7) Por conmutacin. P4.
Aplicando repetidamente fusin: T14
m(0, 2, 4, 6) = (D2D1D0 + D2D1D0) +(D2D1D0 + D2D1D0)
= D2D0 + D2D0 = D0
m(0, 1, 2, 3) = (D2D1D0 + D2D1D0) +(D2D1D0 + D2D1D0)
= D2D1 + D2D1 = D2
m(2, 3, 6, 7) = (D2D1D0 + D2D1D0) +(D2D1D0 + D2D1D0)
= D2D1 + D2D1 = D1
Resulta finalmente:
L5 = D2 + D1 + D0
c) De la tabla, expresando como producto de maxtrminos:
Debido a que la expresin est formada por un solo maxtrmino, no es necesario minimizar:
L5 = M5 = D2 + D1 + D0
En este caso, ambos diseos resultan de igual complejidad (y con la misma expresin).
Problema 2.8.
Se tiene la funcin:
f(a, b, c) =
M(1,2,3,6) +
m(5, 7)
a) Determinar la tabla de verdad.
13-04-2010
27
b) Expresin lgica mnima para f como suma de productos.

c) Expresin lgica mnima para f como producto de sumas.
Solucin:
a) La tabla de verdad para f, resulta de la suma lgica de las columnas asociadas al producto
de maxtrminos y a la suma de mintrminos. Con n el cdigo decimal para el mintrmino.
a
0
0
0
0
1
1
1
1
b
0
0
1
1
0
0
1
1
c
0
1
0
1
0
1
0
1
M(1,2,3,6)
1
0
0
0
1
1
0
1
m(5, 7)
0
0
0
0
0
1
0
1
f
1
0
0
0
1
1
0
1
n
0
1
2
3
4
5
6
7

b) Expresando f como suma de mintrminos, se obtiene: f = m(0, 4, 5, 7)
f = (abc + abc ) + (abc + abc ) = bc + ac Aplicando T14.
c1) Expresando f como producto de maxtrminos:
Se tiene: f(a, b, c) = M(1,2,3,6) = M1 M3 M2 M6 Por conmutacin. P4
f = (a +b +c)(a +b +c)(a +b +c)(a +b +c) Por definicin y Aplicando fusin. T14.
f = (a + c) (b + c)
c2) Alternativamente, Describiendo el complemento de la funcin f, como suma de
mintrminos: f = m(1, 2, 3, 6) = m1 +m3 + m2 +m6 Por conmutacin. P4
f = abc + abc + abc + abc Por fusin. T14
Se obtiene la ecuacin de polaridad inversa:
f = ac + bc Complementando y aplicando Involucin en el lado izquierdo y De Morgan
en la expresin de la derecha, se obtiene igual resultado que en c1):
f = (a + c)(b +c)
Problema 2.9.
Se tiene la funcin:
f(a, b, c, d) = ( a
b)
a) Determinar la tabla de verdad.

b) Expresar como suma de mintrminos.
c) Expresar como producto de maxtrminos.
Solucin:
13-04-2010
28
Sistemas Digitales
a) Planteando tablas de verdad para el OR exclusivo de a y b, y empleando esta columna con

la de la variable c, se obtiene la columna para la funcin f. Con n el equivalente decimal del
cdigo del mintrmino:
a
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
b
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
c
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
d a
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
b (a
0
0
0
0
1
1
1
1
1
1
1
1
0
0
0
0
b)
0
0
1
1
1
1
0
0
1
1
0
0
0
0
1
1
c n
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

b) Leyendo los mintrminos directamente de la tabla, se logra:
f = m(2, 3, 4, 5, 8, 9, 14, 15)
c) Leyendo los maxtrminos directamente de la tabla, se logra:
f(a, b, c, d) =
M(0, 1, 6, 7, 10, 11, 12, 13)
Otro desarrollo:
Se tiene por definicin:
a b = ab +a b
Luego: ( a b ) c = (ab +a b)c + (ab +a b)c = abc +abc + abc +abc Por P6.
f = abcd +abcd + abcd + abcd + abcd + abcd + abcd + abcd por T14.
f = m9 + m8 + m5 + m4 + m11 + m10 + m3 + m2
Conmutando se obtiene igual resultado que el anterior.
Los nmeros de los maxtrminos son los nmeros de los mintrminos que no estn
presentes, en la expresin anterior. Con esta informacin puede escribirse la tabla de verdad.
Problema 2.10.
Para una funcin booleana de 3 variables A, B, C:
13-04-2010
29
f(A,B,C) = m(2,3,5,7)
a) Determinar la tabla de verdad para f.

b) Expresar f ' como producto de maxtrminos. Justificar la respuesta.
c) Expresin booleana, para f, con menos literales. Justificar la respuesta.
Solucin.
a) m2 = A'BC' ; m3 = A'BC ;m5 = AB'C ; m7 = ABC
Los unos de f estn asociados a los mintrminos presentes. El mintrmino 2 en decimal
equivale a la combinacin de valores 010 de las variables ABC, y por lo tanto tendr asociado
un uno en la tabla de verdad de la funcin.
Resulta entonces:
ABC
000
001
010
011
100
101
110
111
f
0
0
1
1
0
1
0
1
f'
1
1
0
0
1
0
1
0
Cdigo decimal
0
1
2
3
4
5
6
7

b) Los maxtrminos de f ' quedan definidos por los ceros de su tabla de verdad. Para A=0,
B=1 y C=0 se tiene que (A + B' +C) genera el cero en el rengln respectivo de f '.
Entonces: f ' = (A+B' +C)(A+B'+C')(A'+B+C')(A'+B'+C')
Codificando los maxtrminos en binario, se logra: f ' = M010 + M011 + M101 +M111
En decimal: f ' = M2 M3 M5 M7
Otro desarrollo:
A partir de f = (m2+m3+m5+m7), negando ambos miembros se logra:
f ' = (m2+m3+m5+m7)' ; P2
= m2' m3' m5' m7' ; T12 De Morgan
=
M ( 2,3,5,7) ;Con mi' = Mi
c) f(A,B,C) = m(2,3,5,7)
= A'BC'+AB'C'+AB'C+ ABC
= A'C'B+AC'B'+ACB'+ ACB
= A'C'(B+B') + AC(B'+B)
= A'C'(1) +AC(1)
= A'C'+AC
; definicin de mintrminos.
; P4 Conmutatividad.
; P6 Distributividad.
; P7 Complemento nico.
; P3 Elementos nicos.
Problema 2.11.
Se tiene un nmero binario de cuatro bits:
13-04-2010
30
Sistemas Digitales
A3A2A1A0, donde A3 es la cifra ms significativa, sea n el equivalente decimal de este

nmero.
Disear un sistema que acepte a n como entrada y que produzca en la salida el equivalente
binario del nmero decimal: ( n*4 +1).
Solucin.
El mayor n que puede escribirse con cuatro bits es 15, por lo tanto la salida mayor ser 61, lo
cual requiere 6 cifras binarias para representarla. Sean stas: S5S4S3S2S1S0.
La siguiente tabla de verdad ilustra la situacin:
n
A3A2A1A0 n*4 +1 S5S4S3S2S1S0
0
0000
1
000001
1
0001
5
000101
2
0010
9
001001
3
0011
13
001101
4
0100
17
010001
5
0101
21
010101
6
0110
25
011001
7
0111
29
011101
8
1000
33
100001
9
1001
37
100101
10
1010
41
101001
11
1011
45
101101
12
1100
49
110001
13
1101
53
110101
14
1110
57
111001
15
1111
61
111101
Observando la tabla, se determina que S1= 0 y S0 = 1 son constantes, y que:
S5 = A3, S4 = A2, S3 = A1, y S2 = A0
El diseo mnimo no requiere compuertas, y se muestra a continuacin:
13-04-2010
31
A3
S5
A2
A1
A0
S4
S3
S2
VCC
S1
S0
S1
tierra
S0
VCC
Figura P2.15 Esquemtico Problema 2.11.

A la derecha se muestra un diseo donde las seales S1 y S0 son salidas de compuertas.
Problema 2.12.
Se tiene un circuito digital de 4 entradas (A, B, C, D) y cuatro salidas (f1, f2, f3, f4).
a) Determinar como suma de mintrminos, la funcin f1 que es verdadera cuando exactamente
dos de las entradas sean verdaderas.
b) Determinar como producto de maxtrminos, la funcin f2 que es verdadera cuando
exactamente tres de las entradas sean verdaderas.
c) Determinar mediante un circuito lgico en base a AND, OR y NOT, la funcin f3, que es
verdadera cuando exactamente cuatro de las entradas sean verdaderas.
d) Determinar mediante una expresin booleana, la funcin f4, que es verdadera cuando
exactamente cuatro de las entradas sean falsas.
Solucin.
Se tienen las siguientes tablas de verdad.
13-04-2010
32
Sistemas Digitales
A
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
B
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
C
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
D
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
f1
0
0
0
1
0
1
1
0
0
1
1
0
1
0
0
0
f2
0
0
0
0
0
0
0
1
0
0
0
1
0
1
1
0
f3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
f4 Cdigo
1
0
0
1
0
2
0
3
0
4
0
5
0
6
0
7
0
8
0
9
0
10
0
11
0
12
0
13
0
14
0
15

Entonces:
f1 = m(3, 5, 6, 9, 10, 12)
f2 = M(0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15)
f3 = m(15) = ABCD
A
B
C
D
f3
f4 = m(0) = A'B'C'D'
Ejercicios propuestos.
Ejemplo 2.1.
Verificar las relaciones:
f
m(2, 6)
M (0,1, 3, 4, 5, 7)
m(0,1, 3, 4, 5, 7)
M (2, 6)
Ejemplo 2.2.
Con f(a, b, c, d) = abd + c(b d) + m9 + M13
a) Expresar como suma de mintrminos.
b) Expresar como producto de maxtrminos.
c) Minimizar como suma de productos empleando teoremas.
13-04-2010
33
Ejemplo 2.3.
Para la funcin:
f(A, B, C, D) = ((A + B)C+B)D + m13m2 +m5 + M2m13
Determinar:
a) Formas cannicas.
b) Minimizar, indicando nmero de entradas.
c) 2-cubos que contienen a m7
d) Agregue un mintrmino (a eleccin) tal que la expresin se simplifique.
Ejemplo 2.4.
Para la funcin:
f(A, B, C, D) = ((A + B)C+B)D + m13m2 +m13 + M2m13
Determinar:
a) Formas cannicas.
b) Minimizar, indicando nmero de entradas.
c) 2-cubos que contienen a m7
d) Agregue un mintrmino (a eleccin) tal que la expresin se simplifique.
Ejemplo 2.5.
Para un diseo libre de perturbaciones, de la funcin:
f ( w, x, y, z )
xy ' w ' y
que eleccin realizara:

a) f ( w, x, y, z ) xy ' w ' y w ' xz
b) f ( w, x, y, z ) xy ' w ' y w ' x
Ejemplo 2.6.
Eliminar las perturbaciones estticas de la funcin:
f (v, w, x, y, z ) v ' wz ' w ' x ' z xz vwy '
13-04-2010
34
Sistemas Digitales
ndice general.
CAPTULO 2.........................................................................................................................................1
SNTESIS EN DOS NIVELES ............................................................................................................1
2.1. FORMAS DE FUNCIONES. ...............................................................................................................1
2.2. MINTRMINOS ..............................................................................................................................2
Ejemplo 2.1. Definicin de mintrmino ..........................................................................................2
Ejemplo 2.2. Suma de mintrminos ................................................................................................3
2.3. MAXTRMINO. ..............................................................................................................................3
Ejemplo 2.3. Definicin de maxtrmino. ........................................................................................4
Ejemplo 2.4. Producto de maxtrminos .........................................................................................4
Relaciones ......................................................................................................................................5
Ejemplo 2.5. De suma de mintrminos a productoria de maxtrminos. .........................................5
2.4. EXPANSIN A FORMAS CANNICAS...............................................................................................6
2.4.1. Expansin de suma de productos .........................................................................................6
Ejemplo 2.7. Expansin a mintrminos. .................................................................................................... 6
2.4.2. Expansin de productos de sumas ........................................................................................6

Ejemplo 2.8. Expansin a maxtrminos ..................................................................................................... 6
2.5. SNTESIS DE LAS FORMAS..............................................................................................................7

2.5.1. Suma de productos ...............................................................................................................7
Ejemplo 2.9. OR de ANDs ........................................................................................................................ 7
Ejemplo 2.10. Dos niveles de NANDs ....................................................................................................... 7
2.5.2. Producto de sumas ...............................................................................................................8

2.5.3. Conversin de producto de sumas a suma de productos. Cambio de lgica. .......................9
2.6. DISEO LGICO ..........................................................................................................................10
2.6.1. Fan-in. Fan out...................................................................................................................10
2.6.2. Observaciones sobre la forma Producto de Sumas. ...........................................................11
2.6.3. Observaciones sobre la forma Suma de Productos. ...........................................................11
2.6.4. Observaciones sobre las diferentes formas de diseo. .......................................................12
2.6.5. Perturbaciones. Diseos con riesgos. ................................................................................12
2.6.5.1. Perturbacin esttica en uno........................................................................................................ 13
2.6.5.2. Perturbacin esttica en cero. ...................................................................................................... 14
Ejemplo 2.11. Anlisis de perturbaciones. ............................................................................................... 15
Ejemplo 2.12. ........................................................................................................................................... 16
2.6.5.3. Perturbaciones dinmicas. ........................................................................................................... 17
2.6.5.4. Carreras aleatorias de las entradas. Perturbacin de la funcin. .................................................. 18
Ejemplo 2.13. ...................................................................................................................................... 19
PROBLEMAS RESUELTOS ....................................................................................................................21

Problema 2.1. Diseo multinivel ..................................................................................................21
Problema 2.2. Conversin a NANDs en multinivel ......................................................................22
Problema 2.3. Diseo multinivel. Factorizacin. .........................................................................22
Problema 2.4. Diferentes formas de implementacin. .................................................................23
Problema 2.5. Costos de Implementacin. ...................................................................................24
Problema 2.6. ...............................................................................................................................25
Problema 2.7. ...............................................................................................................................25
Problema 2.8. ...............................................................................................................................26
13-04-2010
35
Problema 2.9. .............................................................................................................................. 27

Problema 2.10. ............................................................................................................................ 28
Problema 2.11. ............................................................................................................................ 29
Problema 2.12. ............................................................................................................................ 31
EJERCICIOS PROPUESTOS................................................................................................................... 32
Ejemplo 2.1. ................................................................................................................................. 32
Ejemplo 2.2. ................................................................................................................................. 32
Ejemplo 2.3. ................................................................................................................................. 33
Ejemplo 2.4. ................................................................................................................................. 33
Ejemplo 2.5. ................................................................................................................................. 33
Ejemplo 2.6. ................................................................................................................................. 33
NDICE GENERAL. .............................................................................................................................. 34
NDICE DE FIGURAS........................................................................................................................... 36
13-04-2010
36
Sistemas Digitales
ndice de Figuras
Figura 2.1 Tablas de verdad de algunos Mintrminos................................................................... 3
Figura 2.2. Tablas de verdad de algunos Maxtrminos. ............................................................... 4
Figura 2.3. Suma de productos en dos niveles. ............................................................................ 7
Figura 2.4. Suma de productos mediante NANDs. ...................................................................... 8
Figura 2.5. Doble complementacin............................................................................................. 8
Figura 2.6. Equivalencia grfica del teorema de De Morgan. ...................................................... 8
Figura 2.7. Producto de sumas en dos niveles. ............................................................................. 8
Figura 2.8. Suma de productos mediante NORs. ......................................................................... 9
Figura 2.9. Visualizacin esquemtica del teorema de De Morgan. ............................................ 9
Figura 2.10. De producto de sumas a Suma de productos. ........................................................... 9
Figura 2.11. Complementos de las entradas y salidas. ............................................................... 10
Figura 2.12. AND de columnas. ................................................................................................. 11
Figura 2.13. OR de columnas. .................................................................................................... 11
Figura 2.14. Perturbacin en red combinacional ......................................................................... 13
Figura 2.15. Eliminacin de perturbacin en uno........................................................................ 13
Figura 2.15a. Perturbacin en cero. ............................................................................................. 14
Figura 2.15b. Eliminacin de perturbacin en cero. .................................................................... 14
Figura 2.16. Falsos ceros y unos.................................................................................................. 15
Figura 2.17. Anlisis de perturbaciones. ..................................................................................... 15
Figura 2.18. Visualizacin de perturbaciones en mapas.............................................................. 16
Figura 2.19. Ms de una perturbacin esttica. ........................................................................... 16
Figura 2.20. Ms de una perturbacin esttica. ........................................................................... 17
Figura 2.21. Perturbaciones dinmicas. ....................................................................................... 17
Figura 2.22. Red con perturbacin dinmica. .............................................................................. 18
Figura 2.23. Perturbacin dinmica............................................................................................. 18
Figura 2.24. Funcin con perturbacin por carreras. ................................................................... 19
Figura 2.25. Pulso de habilitacin. .............................................................................................. 19
Figura 2.26. Funcin con perturbacin por carreras. ................................................................... 19
Figura 2.27. Carreras en las entradas. .......................................................................................... 20
Figura 2.28. Perturbacin por carreras en las entradas. ............................................................... 20
Figura P2.1. Funcin en tres niveles........................................................................................... 21
Figura P2.2. Doble complementacin en diseos multinivel. .................................................... 21
Figura P2.3. Diseo multinivel mediante NANDs. .................................................................... 22
Figura P2.4 Implementacin con NANDs en diseos multinivel............................................... 22
Figura P2.5. Diseo en tres niveles. ........................................................................................... 23
Figura P2.6. Funcin de tres variables. ...................................................................................... 23
Figura P2.7. Empleando un factor comn S. .............................................................................. 24
Figura P2.8. Empleando compuertas xor.................................................................................... 24
Figura P2.9 Entradas y salidas Problema 2.7. ............................................................................ 25
Figura P2.10 Tabla de verdad Problema 2.7............................................................................... 26
Figura P2.13 Tabla de verdad Problema 2.10............................................................................. 29
13-04-2010
37
Figura P2.14 Tabla de verdad Problema 2.11. ........................................................................... 30

Figura P2.15 Esquemtico Problema 2.11. ................................................................................ 31
Figura P2.16 Tabla de verdad Problema 2.12. ........................................................................... 32
13-04-2010

c02 PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

c02 PDF

Uploaded by

Copyright:

Available Formats

1

Sntesis en dos niveles

Profesor Leopoldo Silva Bijit

Profesor Leopoldo Silva Bijit

Captulo 2. Sntesis en dos niveles

La anterior es una forma particular de suma de productos.

Esto indica que f est formada por la suma de m1 , m3 y m8 .

Profesor Leopoldo Silva Bijit

Profesor Leopoldo Silva Bijit

Captulo 2. Sntesis en dos niveles

Para n variables se tendr que:

Es decir, la suma lgica de todos los mintrminos de n variables es igual a 1; y el producto

Se tiene, para la funcin f:

Finalmente, para la funcin complementada:

2.4. Expansin a formas cannicas

Ejemplo 2.7. Expansin a mintrminos.

El trmino "a" puede expandirse segn:

;se completan las variables que faltan.

Se tiene que: abc = m7 , es un mintrmino.

2.4.2. Expansin de productos de sumas

Ejemplo 2.8. Expansin a maxtrminos

Profesor Leopoldo Silva Bijit

Captulo 2. Sntesis en dos niveles

2.5. Sntesis de las formas.

Figura 2.3. Suma de productos en dos niveles.

Profesor Leopoldo Silva Bijit

Figura 2.5. Doble complementacin.

Figura 2.6. Equivalencia grfica del teorema de De Morgan.

Figura 2.7. Producto de sumas en dos niveles.

Profesor Leopoldo Silva Bijit

Captulo 2. Sntesis en dos niveles

Figura 2.8. Suma de productos mediante NORs.

Figura 2.9. Visualizacin esquemtica del teorema de De Morgan.

Figura 2.10. De producto de sumas a Suma de productos.

Profesor Leopoldo Silva Bijit

Figura 2.11. Complementos de las entradas y salidas.

2.6. Diseo lgico

Profesor Leopoldo Silva Bijit

Captulo 2. Sntesis en dos niveles

2.6.2. Observaciones sobre la forma Producto de Sumas.

Figura 2.12. AND de columnas.

Figura 2.13. OR de columnas.

Donde f1 y f2 son grupos de mintrminos de f, y son agrupaciones disjuntas. Los mintrminos

Profesor Leopoldo Silva Bijit

Captulo 2. Sntesis en dos niveles

Figura 2.14. Perturbacin en red combinacional

El trmino de consenso elimina la perturbacin, colocando un uno lgico cuando se produce

Figura 2.15. Eliminacin de perturbacin en uno.

Profesor Leopoldo Silva Bijit

Con B=1 y C=1, si se producen transiciones de A, stas implican perturbaciones. Esto

Figura 2.15a. Perturbacin en cero.

Figura 2.15b. Eliminacin de perturbacin en cero.

( A 0)( A ' 0)(0 0) 0 , y no se

Resumiendo: se producen perturbaciones estticas, cuando hay agrupaciones adyacentes

Profesor Leopoldo Silva Bijit

Captulo 2. Sntesis en dos niveles

Figura 2.16. Falsos ceros y unos.

Figura 2.17. Anlisis de perturbaciones.

Profesor Leopoldo Silva Bijit

Figura 2.18. Visualizacin de perturbaciones en mapas.

Figura 2.19. Ms de una perturbacin esttica.

Profesor Leopoldo Silva Bijit

Captulo 2. Sntesis en dos niveles