Escolar Documentos
Profissional Documentos
Cultura Documentos
1/29
P+F. Tema 1
P.1.17:
No
veo
muy
claro
cmo
funciona
el
circuito
de
la
Funcin
Universal
para
dos
variables
de
la
figura
1.16
(pag.35)
del
texto?
..............................................................................
20
P.1.18:
Una
vez
que
he
simulado
la
funcin
Universal
mediante
trminos
mnimos
y
obtengo
el
cronograma,
cmo
puedo
verificar
que
el
circuito
funciona
correctamente?
21
P.1.19:
Me
podran
explicar
el
fundamento
de
los
diagramas
de
Karnaugh?
...............
23
P.1.20:
Podran
explicarme
cmo
se
resuelve
el
caso
c)
del
Ejercicio
de
la
pag.
41
del
texto?
24
P.1.21:
Qu
son
los
trminos
indiferentes
y
cmo
se
usan?
................................................
26
P.1.22:
Sera
posible
ver
un
ejemplo
concreto
en
el
que
se
usaran
los
trminos
indiferentes
para
minimizar?
.............................................................................................................
26
P.1.23:
He
implementado
la
funcin
de
la
ecuacin
1.63
del
texto,
una
vez
minimizada,
con
distintos
tipos
de
puertas,
con
slo
puertas
NAND
y
con
slo
puertas
NOR,
y
he
simulado
las
tres
en
el
PSpice,
Las
respuestas
que
obtengo
en
el
cronograma
de
estos
circuitos
son
cualitativamente
iguales,
pero
veo
que
no
conmutan
a
la
vez,
sino
que
hay
un
desfase
entre
las
conmutaciones
de
las
salidas
de
los
tres
circuitos.
A
qu
se
deben
estas
pequeas
diferencias?
.............................................................................................
28
2/29
P+F Tema 1
P.1.1:
R.1.1:
La funcin XOR es la funcin Anticoincidencia porque toma el valor "1" cuando los
valores de las variables sobre las que opera no coinciden. Es decir, si opera sobre dos
variables, A y B, la funcin anticoincidencia es:
f1 = A B = A B + A B
Obsrvese cmo la funcin f1 toma el valor "1" cuando el valor del bit A es el
complementario del bit B. Es decir, cuando: A =0 y B=1 A=1 y B=0.
Anlogamente la funcin XNOR es la funcin Coincidencia porque toma el valor "1"
cuando ambos bits coinciden, por tanto es:
f2 = A B = A B + A B
Es decir, la funcin toma el valor "1" cuando los dos bits toman el valor "1" los dos
toman el valor "0".
Ambas funciones son complementarias: f1+f2=1.
P.1.2:
R.1.2:
A B C = (A B ) C = A B + A B C = A B + A B C + A B + A B C =
P.1.3:
Cmo puedo obtener una puerta NOR de 3 entradas con puertas NOR de 2
entradas?
R.1.3:
F2 = A + B C = A + B C = A + B + C = A + B + C
3/29
P+F. Tema 1
Luego, F1 = A + B + C = F2 = A + B + C
Comprobmoslo simulando ambas expresiones.
P.1.4:
Cmo puedo obtener una puerta NOR de 4 entradas con puertas NOR de 2
entradas? Y con puertas NOR de 3 y 2 entradas?
R.1.4:
F = A + B C + D = A + B + C + D
Si implementamos esta expresin en el simulador, obtenemos:
4/29
P+F Tema 1
Como podemos comprobar, este circuito realiza la funcin NOR de las cuatro variables
de entrada, ya que se produce un pulso en la salida, F, slo cuando las 4 variables de
entrada toman el valor 0, mientras que en todas las configuraciones de entrada en las
que alguna de las variables toma el valor 1, la salida toma el valor 0.
Anlogamente, para obtener puertas NOR de 4 variables mediante NOR de 2 y 3
entradas tenemos:
F = A + B +C + D = A + B +C D = A + B +C D = A + B +C + D = A + B +C + D
5/29
P+F. Tema 1
Si comparamos este cronograma con el anterior vemos que las respuestas de ambos
circuitos o funciones F en ambos cronogramas son las mismas ante las mismas
configuraciones de entrada.
P.1.5:
R.1.5:
La tabla de verdad de una funcin es una forma de representar dicha funcin en la que se
especifican de forma completa, en extenso, el valor que toma la funcin para cada una de
las posibles configuraciones de valores de las variables que participan en ella.
Generalmente, usamos la tabla de verdad para obtener la expresin lgica de la funcin
que dicha tabla representa.
Vemoslo mediante un ejemplo.
Supongamos que queremos obtener la expresin lgica de la funcin OR que definimos,
en lenguaje natural, como aquella funcin que toma el valor 1 cuando al menos una de
sus variables toma el valor 1 y, lgicamente, toma el valor 0 cuando todas las
variables toman el valor 0.
Cuando tenemos que sintetizar alguna funcin lgica, lo primero que hacemos es
construir la tabla de verdad correspondiente, empezando por poner todos los trminos
mnimos a que dan lugar las variables y expresados mediante sus valores, el 0 para las
variables negadas y el 1 para las variables sin negar.
En este ejemplo la funcin que vamos a sintetizar es de 2 variables por lo que hay 22=4
trminos mnimos. As, si las variables son, por ejemplo, A y B, los trminos mnimos son:
6/29
P+F Tema 1
El siguiente paso es poner los valores que toma la funcin, F=A OR B, ante cada uno de
los trminos mnimos. Luego en este caso ponemos un 1 en todos trminos mnimos
menos en el primero que es el nico que no tiene ningn 1. Por tanto la tabla de verdad
de a funcin OR es:
F = AB+AB+AB
A partir de aqu, minimizamos y obtenemos:
) (
F = A B+B +B A + A = A+B
Que, lgicamente, es la funcin OR o suma lgica de A y B:
F = A OR B = A+B.
P.1.6:
R.1.6:
Como se explica en el texto base (pag. 33), toda funcin lgica se puede representar de
distintas formas sin que cambie dicha funcin.
Aqu vamos a centrarnos en la representacin en su Forma Normal Disyuntiva o suma de
trminos mnimos (minterms) y en su Forma Normal Conjuntiva o producto de trminos
mximos (maxterms) (pag 33 a 43 del texto). Es muy importante que quede claro que, en
realidad, son dos formas distintas y duales de representar la misma funcin.
Partimos de la base de que ya sabemos construir la tabla de verdad de una funcin
lgica. Por tanto slo nos vamos a centrar en cmo representamos una funcin lgica
7/29
P+F.
Tema
1
mediante minterms y mediante maxterms y comprobaremos que ambas funciones
coinciden, slo que representadas de diferente forma.
Vamos a verlo a travs de un ejemplo y para ello vamos a usar la funcin anticoincidencia
de dos variables.
La funcin anticoincidencia de dos variables, como se explica en otra de las Preguntas
Ms Frecuentes, se caracteriza por tomar el valor 1 siempre que las dos variables son
distintas y tomar el valor 0 cuando las dos variables coinciden. As, si llamamos F a la
funcin y A y B a las variables, tenemos que se debe verificar que: F(A,B) = 1, si A es
distinto de B y F(A,B) = 0, si A es igual a B.
Vamos a partir de la tabla de verdad a la que vamos a aadirle dos columnas
encabezadas con minterms y maxterms en cuyas filas vamos a poner las
representaciones mediante minterms y maxterms de las configuraciones de entrada
correspondientes. As, la tabla de verdad para esta funcin es:
Minterms
Maxterms
F=Anticoincidencia
m0 = A B
M0 = A + B
m1 = A B
M1 = A + B
m2 = A B
M2 = A + B
m3 = A B
M3 = A + B
Minterms
Maxterms
F=Anticoincidencia
m0 = A B
M0 = A + B
m1 = A B
M1 = A + B
m2 = A B
M2 = A + B
m3 = A B
M3 = A + B
8/29
P+F Tema 1
F = A B = m1 + m2 = A B + A B
a.2: Elegimos las filas en las que F = 0 y sumamos los trminos mnimos correspondientes,
pero como hemos tomado los trminos mnimos que hacen que F sea igual a 0, la
funcin que obtenemos es F .
Minterms
Maxterms
F=Anticoincidencia
m0 = A B
M0 = A + B
m1 = A B
M1 = A + B
m2 = A B
M2 = A + B
m3 = A B
M3 = A + B
Ahora tendremos que demostrar las dos formas de calcular F (a.1 y a.2) nos llevan
realmente a la misma expresin: .
Para ello vamos a partir de esta ltima expresin de F (calculada en a.2) y, aplicando el
lgebra de Boole, deberemos llegar a la expresin de F que hemos obtenido en el
apartado a.1. En efecto,
0 (porque 10 = 0) 0
F = m0 + m3 = A B + A B = A B A B = (A + B ) A + B = A A + A B + A B + B B = A B + A B = A B
Aplicando De MORGAN
Operando
F = m0 + m3 = 1 - (m0 + m3 ) = m1 + m2 = A B + A B ,
puesto que m0 + m1 + m2 + m3 = 1 y, por tanto,
Luego,
1 - (m0 + m3) = m1 + m2
F = m0 + m3 = m1 + m2
9/29
P+F.
Tema
1
b)
Minterms
Maxterms
F=Anticoincidencia
m0 = A B
M0 = A + B
m1 = A B
M1 = A + B
m2 = A B
M2 = A + B
m3 = A B
M3 = A + B
F = M0 M3 = (A + B ) A + B = A A + A B + A B + B B = A B + A B = A B
Operando
b.2. Al igual que hicimos en la representacin mediante minterms podemos obtener la misma
funcin representacin mediante maxterms usando los 1 en vez de usar los 0. Las filas
en las que F=1 y multiplicamos los trminos mximos correspondientes, pero como
hemos tomado los trminos mximos que hacen que F sea igual a 1, la funcin que
obtenemos es F .
Minterms
Maxterms
F=Anticoincidencia
m0 = A B
M0 = A + B
m1 = A B
M1 = A + B
m2 = A B
M2 = A + B
m3 = A B
M3 = A + B
) (A + B ).
10/29
P+F Tema 1
Por tanto,
F = M1 M2 = A + B
) (A + B)
)(
) (
) (
F = M1 M2 = A + B A + B = A + B + A + B = A B + A B = A B
Aplicando De MORGAN
F por F
F por F
variable por var iable (ejemplo A por A )
P.1.7:
R.1.7:
11/29
P+F.
Tema
1
Vamos a aplicarlo a las expresiones obtenidas en los apartados a.1 y b.1 de esa
Pregunta Ms Frecuente.
Para la funcin del apartado a.1: F = A B = m1 + m2 = A B + A B , resulta:
AB
AB
AB
AB
F = A B+ A B
A+B
A+B
F = (A+B) (A+B)
Como vemos las reas matizadas en verde coinciden. La primera est obtenida como
unin de intersecciones (suma de productos) y la segunda como interseccin de
uniones (producto de sumas).
P.1.8:
R.1.8:
12/29
P+F
Tema
1
Hay distintas formas de hacerlo. En la Pregunta anterior (P.1.8) hemos explicado la forma
de hacerlo mediante el uso de las tablas de verdad. Aqu lo vamos a hacer operando
directamente sobre las variables y sobre los trminos mnimos y los mximos.
a)
F ( A,B ) = A + A B = A A B = A A + B = A A + A B = AB
ya
que
A A = 0
Por
tanto
la
representacin
de
la
funcin
mediante
trminos
mnimo
es:
F ( A,B ) = A + A B = AB = m3
b)
Mi = mi , o bien mi = Mi
Por tanto podemos poner que F ( A,B ) = A + A B = AB = m3 = M 3 = M0 M1 M 2
b.2) Otra forma de llegar a la solucin correcta, sin necesidad de recordar nada, es
operando y aplicando los postulados y teoremas del lgebra de Boole sobre la
expresin inicial. Este procedimiento, por lo general, suele ser el ms seguro, aunque
ms largo y laborioso. As,
F ( A,B ) = A + A B = A B + B + A B = A B + A B + A B = A B A B A B = A + B (A + B ) A + B = M1 M0 M 2
b.3) Operando sobre el resultado de la representacin por minterms. As, si negamos dos
veces dicha expresin y operamos, resulta:
F ( A,B ) = A + A B = AB = m3 = m3 = 1 m3 = m0 + m1 + m2 = m0 m1 m2 = M 0 M1 M 2
Luego, la solucin correcta es:
F ( A,B ) = A + A B = m3 = M0 M1 M 2
F =M M M M M M
P.1.9:
1
2
5
9
12
13 que est
Cmo podemos pasar de la funcin
representada mediante el producto de trminos mximos a representarla mediante
la suma de los trminos mnimos?
R.1.9:
Como hemos visto reiteradamente hay varias formas de pasar de una representacin a
otra.
13/29
P+F.
Tema
1
a)
Mi = mi . As,
A B, A B, A B y A B.
El nmero de funciones lgicas que podemos representar en su Forma Normal
Disyuntiva (suma de trminos mnimos) con estos 4 trminos mnimos es: 42=16. Estas
funciones son todas las funciones que se pueden formar sumando uno, o dos, o tres, o
los cuatros o ninguno de los trminos mnimos. Veamos cuales son estas funciones, sin
minimizar:
Funcin lgica en la que no interviene ningn trmino mnimo:
- F0 = 0
Funciones lgicas en las que slo interviene un trmino mnimo:
- F1 = A B
- F2 = A B
- F3 = A B
14/29
P+F Tema 1
- F4 = A B
Funciones lgicas en las que slo intervienen dos trminos mnimos:
- F5 = A B + A B
- F6 = A B + A B
- F7 = A B + A B
- F8 = A B + A B
- F9 = A B + A B
- F10 = A B + A B
Funciones lgicas en las que interviene tres trminos mnimos:
- F11 = A B + A B + A B
- F12 = A B + A B + A B
- F13 = A B + A B + A B
- F14 = A B + A B + A B
Funcin lgica en las que interviene los cuatro trminos mnimos:
- F15 = A B + A B + A B + A B
Estas son las mismas funciones que aparecen en la tabla de la parte inferior de la figura
1.16 del texto, aunque all, para hacerlo de forma ordenada respecto a los valores que va
tomando la palabra a, estn en el orden correspondiente al equivalente en decimal de la
palabra de programacin del circuito (a0, a1, a2, a3 ).
x1 x 2 resulta
F = x1 x 2 + x1 x 2 + x1 x 2 + x1 x 2
Si ahora sacamos factor comn
x2
cuarto obtenemos:
15/29
P+F. Tema 1
F = x 2 x1 + x1 + x1 x 2 + x 2
F = x1 + x 2
2)
la
suma
de
todos
los
trminos
mnimos
vale
1.
Es
decir,
x1 x 2 + x1 x 2 + x1 x 2 + x1 x 2 = 1 , podemos poner:
F = x1 x 2 + x1 x 2 + x1 x 2 = 1 x1 x 2 ,
Pero,
1 x1 x2 = x1 x2
F = x1 x2 = x1 + x2
3)
x2
x1
x2
x2
x1
x1
x2
x1
F = x1 + x2
Como podemos comprobar, cuando simplificamos una funcin mediante los diagramas
de Karnaugh, estamos aplicando de forma indirecta el Teorema de Idempotencia ya
que, al hacer los agrupamientos tenemos la posibilidad de que un trmino mnimo
participe en ms de un agrupamiento. Obsrvese cmo el trmino mnimo
x1 x 2
P.1.12: Por qu se disean circuitos con slo puertas NAND o slo puertas NOR?
R.1.12: Un parmetro muy importante que hay que optimizar a la hora de implementar
fsicamente un circuito electrnico es el rea que ocupa.
En Electrnica siempre se ha intentado miniaturizar los circuitos introduciendo el mayor
nmero de dispositivos o circuitos integrados en el menor espacio posible. Pues bien, si
16/29
P+F
Tema
1
observamos las hojas de caractersticas de estos dispositivos veremos que contienen
varias puertas. Por ejemplo, en el caso de AND, OR, NAND y NOR de dos entradas,
todos los dispositivos contienen 4 puertas (ver hojas de caractersticas correspondientes
que se encuentran en el tema 1) y en el caso del inversor contiene 6 inversores. Por
tanto, si diseamos con distintos tipos de puertas, tenemos que usar varios tipos de
dispositivos y es muy probable que no usemos todas las puertas que contienen dichos
dispositivos. Esto nos lleva a un derroche de rea.
Por el contrario, si diseamos con slo puertas NAND o NOR utilizaremos menos
dispositivos, aprovechando mejor sus puertas y, por consiguiente, el rea que ocupa el
circuito es menor. Por ejemplo, si consideramos el circuito de la figura 1.24 del texto
vemos que nos hacen falta tres dispositivos y nos sobran 3 inversores, 2 puertas OR y 3
puertas AND, mientras que si diseamos con slo puertas NOR (figura 1.25) slo
usaremos 2 dispositivos (de uno utilizaremos las 4 puertas NOR y del otro slo 2)
ahorrndonos, por tanto, el rea de un dispositivo.
P.1.13: Cual es procedimiento para pasar de una funcin lgica expresada con distintos
tipos de operadores lgicos (AND, OR, NOT, NAND, etc) a su expresin con slo la
funcin NAND slo la funcin NOR?
R.1.13: Los pasos a seguir para expresar una funcin con slo operadores NAND son:
1. Obtener la expresin mnima como suma de productos.
2. Complementar la expresin resultante dos veces, lo que es equivalente a dejarla tal cual.
3. Aplicar reiterativamente los teoremas de De Morgan hasta obtener la funcin expresada
slo con variables negadas y con productos negados.
Vemoslo a travs de un ejemplo:
Sea la funcin lgica:
f = XY Z + XY + XZ
1. Minimizamos:
f = XY Z + XY + X Z = XY ( Z + 1 ) + X Z = XY + X Z
puesto que
2. Negamos dos veces:
( Z + 1) = 1
f = XY + XZ = f = XY + XZ
f = XY + XZ = XY XZ
(aunque
en
este caso slo ha hecho falta aplicar De Morgan una vez para obtener la expresin
con slo operadores NAND).
Recordemos que la expresin de una variable negada con slo NAND es la funcin
NAND de la variable consigo misma. Es decir, X = X X
Para expresar una funcin con slo operadores NOR el procedimiento es anlogo, slo
que detenemos la aplicacin reiterada de los teoremas de De Morgan cuando tengamos
la expresin expresada slo con variables negadas y con sumas negadas.
17/29
P+F.
Tema
1
Veamos ahora la forma de representar la misma funcin con slo puertas NOR.
Los 3 pasos anteriores son comunes. Por tanto, partimos de la expresin:
f = XY X Z
Si seguimos aplicando De Morgan reiteradamente obtenemos:
)(
) (
) (
f = XY XZ = X + Y X + Z = X + Y + X + Z
Como podemos observar, la funcin f est expresada como la funcin OR (no NOR) de
dos funciones NOR. Por lo tanto, como tenemos que expresarla en funcin slo de NOR,
tendremos que ver la forma de pasar de la OR a la NOR. Esto se consigue directamente
negando la expresin dos veces. As, en este caso conseguimos la funcin NOR de la
NOR de dos funciones NOR. Es decir:
) (
) (
) (
f = X +Y + X +Z = X +Y + X +Z
F = A + (B + C ) = A + D , siendo D = B + C
Por tanto, el circuito resultante es:
18/29
P+F Tema 1
A
partir
de
este
cronograma
obtenemos
la
siguiente
tabla
de
verdad
prctica:
C
B
0
0
0
0
0
1
0
1
1
0
1
0
1
1
1
1
0
0
1
1
1
1
1
1
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
1
D =C B +C B +C B =C + B
Si sustituimos en F la expresin obtenida para D resulta:
F = A + D = A + (C + D) = A + C + D
De igual forma operaramos para el caso de una puerta OR de ms entradas.
19/29
P+F. Tema 1
A+B = AB
AB=A+B
La demostracin del primer teorema se encuentra en la pag. 31, fig. 1.14 del texto.
El segundo teorema lo podemos demostrar, por ejemplo, a travs de la tabla de verdad.
As,
AB
AB
A+B
AB = A+B
P.1.17: No veo muy claro cmo funciona el circuito de la Funcin Universal para dos
variables de la figura 1.16 (pag.35) del texto?
R.1.17: Con
(x
variables
(x1
x 2 , x1 x2 , x1 x 2 , x1 x2
x 2)
tenemos
22=4
trminos
mnimos
20/29
P+F
Tema
1
una u otra dependiendo del valor de la palabra a. Por tanto, puede ocurrir que no
participe ningn trmino mnimo, que participe slo uno de los cuatro, que participen dos,
tres o los cuatro trminos mnimos, lo que supone 16 casos posibles correspondientes a
los 16 valores que puede tomar una palabra de 4 bits, ya que puede tomar cualquier valor
comprendido entre la palabra 0000 y 1111.
Por ejemplo, si la palabra "a" toma el valor 0000 la funcin resultante es:
f = 0 x 1 x 2 + 0 x1 x 2 + 0 x1 x 2 + 0 x1 x 2 = 0
Pero, si la palabra es 0001 la funcin que realiza es:
f = 0 x1 x 2 + 0 x1 x 2 + 0 x1 x 2 + 1 x1 x 2 = x1 x 2
Es decir, realiza la funcin AND entre las variables de entrada x1 y x2.
Anlogamente, si la palabra de control, "a", toma el valor 1001, la funcin que realiza es:
f = 1 x1 x 2 + 0 x1 x 2 + 0 x1 x 2 + 1 x1 x 2 = x1 x 2 + x1 x 2 = x1 x 2
De igual modo podemos calcular cada una de las 16 funciones posibles, hasta llegar a la
palabra "a" = 1111 cuya respuesta es:
f = 1 x1 x 2 + 1 x1 x 2 + 1 x1 x 2 + 1 x1 x 2 = 1
P.1.18: Una vez que he simulado la funcin Universal mediante trminos mnimos y
obtengo el cronograma, cmo puedo verificar que el circuito funciona
correctamente?
R.1.18: Hemos simulado la funcin Universal con trminos mnimos y hemos obtenido el
cronograma que se muestra a continuacin.
El siguiente paso es comprobar que el circuito implementado realiza las operaciones para
las que ha sido diseado. Para ello debemos comprobar que ante cada una de las
21/29
P+F.
Tema
1
palabras de programacin a(a3 a2 a1 a0), y para las 4 configuraciones de las variables de
entrada (x1 y x2), realiza la funcin que le corresponde.
Para ello, construimos la tabla de verdad, a partir del cronograma obtenido, viendo los
valores que toma la salida, y, ante las distintas configuraciones de las entradas (datos, xj,
y control, ai,)
As, si nos fijamos en los primeros cuatro valores de la salida, y, que se corresponden
con los valores de los coeficientes de control a3=a2=a1=a0=0, tenemos:
Luego:
a3 a2 a1 a0
x2 x1
0000
00
01
10
11
y=f0=0
Por tanto,
a0=1.
a3 a2 a1 a0
x2 x1
0001
00
01
10
11
y = f1 = x 2 x1
Por tanto,
a3 a2 a1 a0
x2 x1
0010
00
01
10
11
y = f2 = x 2 x1
As seguiremos hasta completar las 16 funciones lgicas posible que se pueden obtener
con las dos variables de entrada.
22/29
P+F
Tema
1
Observe cmo la ltima, para a3=a2=a1=a0=1, la salida es:
y = f15 = 1.
CD
00
AB
CD
CD
CD
01
11
CD
10
AB
00
AB
01
AB
11
12
13
15
14
23/29
P+F. Tema 1
AB
10
11
10
Con cuatro bits podemos obtener 24 = 16 trminos mnimos, desde el 0000 (0 en decimal)
al 1111 (15 en decimal). As, cada casilla de la tabla la numeramos con el decimal
equivalente de la palabra que le corresponde. Es decir, la primera casilla (primera fila,
primera columna) corresponde a la palabra, A B C D , o sea 0000 (0 en decimal) que es el
nmero pequeito que ponemos en la esquina inferior derecha de la casilla.
Anlogamente, la casilla correspondiente a la primera fila y segunda columna la
numeramos con un 1, que es el decimal correspondiente a la palabra A B C D (0001=1 en
decimal), la casilla siguiente (primera fila y tercera columna) corresponde a A B C D y por
tanto la numeramos con 3 en decimal, y as sucesivamente.
Observe ahora cmo cada una de las casillas se diferencia de sus 4 vecinas (la de
encima, la de abajo, la de su derecha y la de su izquierda) en un solo bit. As, por
ejemplo, las cuatro vecinas de la casilla numerada con 13 (correspondiente a A B C D )
son: 5 ( A B C D , que se diferencia del 13 en la variable A), 9 ( A B C D , que se diferencia
del 13 en la variable B), 12 ( A B C D , que se diferencia del 13 en la variable D), y 15
( A B C D ,que se diferencia del 13 en la variable C), que son las cuatro palabras posibles
cada una de las cuales se diferencian de ella en un slo bit.
Con esto, espero que quede clara la estructura de la tabla, el porqu no se enumeran las
casillas de forma consecutivas y que ahora resulte fcil entender su funcionamiento,
cuando agrupamos las casillas contiguas formando agrupamientos cuadrados o
rectangulares para eliminar variables y minimizar las expresiones, ya que en la propia
estructura de la tabla est implcitamente aplicado el teorema de la adyacencia.
P.1.20: Podran explicarme cmo se resuelve el caso c) del Ejercicio de la pag. 41 del
texto?
R.1.20: Veamos distintas formas de obtener la solucin al Caso c) del ejercicio de la pag. 41.
Partimos de
1.
fmc = x 1 x 2 + x 1 x 2 + x1 x 2
fmc = x 1 x 2 + x 1 x 2 + x1 x 2 = x 1 x 2 + x 1 x 2 + x 1 x 2 + x1 x 2
Ahora podemos sacar factor x 1 del primer y tercer sumando y x 2 del segundo y cuarto
sumando. Llegando a la expresin:
24/29
P+F Tema 1
fmc = x1 x 2 + x1 x 2 + x1 x2 + x1 x 2
fmc = x1 x 2 + x2 + x 2 x1 + x1
x 1 + x1 = 1
fmc = x 1 1 + x 2 1 = x 1 + x 2
Resulta:
2.
fmc = m3
(el
complementario
fmc = m0 + m1 + m2
de
ya
que
fmc + fmc = m0 + m1 + m2 + m3 = 1 ).
Si ahora complementamos y aplicamos De Morgan, obtenemos:
fmc = m3 = x1 x2 = x1 + x 2
Como podemos ver hemos obtenido la misma expresin.
3.
fMc = M3 = x1 + x 2
De nuevo, llegamos a la misma expresin.
4.
x2
x1
x1
Luego,
x2
fmc = x1 + x 2
25/29
P+F. Tema 1
26/29
P+F
Tema
1
Como tenemos 4 variables de entrada, tendremos 24=16 configuraciones de entrada.
Slo necesitamos una variable de salida, que tomar el valor 0, 1 d (indiferente).
En realidad esta d tomar un valor, pero a nosotros lo mismos nos da porque, por lo
general, lo que ocurre es que son configuraciones que no se van a presentar.
Pasemos ahora a construir la tabla de verdad del funcionamiento del sistema. Para ello,
transcribimos las condiciones especificadas en los tres apartados de la descripcin del
sistema. As hemos matizado en amarillo las condiciones que producen 0 en la salida
VA, en verde las que producen un 1 y en azul las que son indiferentes.
SA
00
01
11
10
00
01
11
10
TS
PS
PD
Agrupando las celdas enmarcadas en rojo, azul y verde, obtenemos la expresin mnima
de la funcin lgica que disparar a la alarma, SA. As,
SA
=
TS+PS+PD
27/29
P+F.
Tema
1
Que traducido al lenguaje natural equivale a decir: la alarma sonar siempre que se
active el sensor del saln y el de alguna de las dos puertas, o el de la puerta de entrada y
el del dormitorio.
P.1.23: He implementado la funcin de la ecuacin 1.63 del texto, una vez minimizada, con
distintos tipos de puertas, con slo puertas NAND y con slo puertas NOR, y he
simulado las tres en el PSpice, Las respuestas que obtengo en el cronograma de
estos circuitos son cualitativamente iguales, pero veo que no conmutan a la vez,
sino que hay un desfase entre las conmutaciones de las salidas de los tres
circuitos. A qu se deben estas pequeas diferencias?
R.1.23: Se deben a que las puertas introducen un retardo y el retardo total existente en un
circuito combinacional depende del tipo de puertas (cada tipo introduce un retardo
distinto) y del nmero de niveles de puertas que tenga dicho circuito.
Si implementamos y simulamos las tres representaciones de la funcin minimizada de la
ecuacin 1.63 resulta:
28/29
P+F Tema 1
Al ampliar el cronograma vemos que la configuracin que introduce menos retardo es la
realizada con puertas NAND (6.893ns). En esta representacin tenemos tres niveles de
puertas.
El siguiente retardo lo introduce la configuracin realizada con distintos tipos de puertas
(22.059ns). En este caso slo tenemos dos niveles de puertas, pero hemos usado una
puerta XOR que introduce mayor retardo (del orden de 15ns) que el resto de las puertas.
Finalmente, el mayor retardo lo introduce la configuracin realizada con slo puertas
NOR (38,603ns).
De todas formas, en el simulador hay posibilidad de controlar, el retardo que introducen
las puertas. Para ello, en la ventana del "Analysis Setup", se selecciona la opcin "Digital
Setup" y en el cuadro "Timing Mode" se puede elegir la opcin "Minimum". Observe que,
por defecto, aparece el valor "Typical".
bacd
29/29