Académique Documents
Professionnel Documents
Culture Documents
I. FUNDAMENTO TERICO
A. FUNCIONES LGICAS COMBINACIONALES.
Variables y funciones:
Si recuerda la mquina de refresco de la introduccin ver muy claro el concepto de variables y funciones.
Si toma como referencia la tarjeta de control, son variables todos los captadores conectados en sus entradas
y son funciones todas las salidas de la tarjeta. Por lo tanto, cada salida tiene asociada una funcin lgica que
determina cundo se activa o desactiva y depende de las variables o entradas. Las funciones se disean para
controlar automticamente accionadores o preaccionadores como los rels de la mquina de refresco, sin
intervencin humana. En las entradas se conectan los elementos del sistema que aportan algn tipo de
informacin a la tarjeta, a partir de los cuales toma las decisiones. La figura representa de nuevo la tarjeta de
control de la mquina de refresco, donde ha sido aadida la funcin lgica de cada salida (pronto comprender
su significado).
Aunque veremos ms adelante recursos para facilitar la resolucin de automatismos, siempre ser bueno
ejercitar una comprensin intuitiva de las funciones o relaciones lgicas:
Para detectar errores y para resolver o simplificar casos sencillos sin recurrir a largos procedimientos de
resolucin. No debemos olvidar que sin intuicin y experiencia seremos incapaces de interpretar porqu no
funciona en la prctica lo que pareca perfecto en teora. Si con experiencia se encuentran muchos
contratiempos, sin experiencia se encuentran muchsimos ms. Las funciones lgicas se parecen mucho a
nuestro lenguaje, por lo tanto, con un poco de prctica seremos capaces de "ver" en nuestra mente qu funcin
o circuito resolvera un determinado automatismo solo con escuchar el planteamiento, siempre y cuando lo
sepamos expresar de forma clara y simplificada. Supongamos un caso en el que un motor M deber funcionar
cuando se cumplan dos condiciones a la vez:
1. Primera condicin que est pulsado alguno de los botones a y b.
2. Segunda condicin que no est accionado un interruptor c.
Una descripcin en trminos lgicos sera la siguiente, en la que se obserba la equivalencia directa entre la
funcin y la expresin que describe el problema:
B
A
AB
AB
AB
AB
En un mapa de Karnaugh se adopta un rea igual, de forma cuadrada, para cada mintrmino; y adems, estos
cuadrados se disponen de tal forma que reflejen las adyacencias. Se ha superpuesto el 2-cubo, con un mapa
de dos variables. La identificacin de los cuadros con el nmero del mintrmino, depende de la eleccin del
orden de las variables que se haya elegido para la representacin decimal equivalente. Por ejemplo, para dos
variables A y B:
B B
A 0 1 A 0 1
0 1 0 2
0 0
2 3 1
1 1 3
f(A,B) f(B,A)
La representacin de funciones mediante mapas, se logra marcando los mintrminos presentes con un "1";
los ceros suelen omitirse.
B
B 2 6
A 4 6 2
0 A
7 4
5 3 3
7
1 0 1 5
C
C
La siguiente figura muestra un desarrollo de un 3-cubo. Ntese que al abrir las caras del cubo, los
mintrminos que estn a distancia uno, quedan adyacentes(exceptuando los de la cara que no se representa
en el plano). Los cdigos de los mintrminos quedan ordenados segn cdigo Gray. El 3-cubo muestra
tambin la propiedad del cdigo Gray de ser reflejado.
B B=1
A=0
2 A=1
6
4 2 6
0 A 0
C=0 4
3
7
1 3 7
5 C=1 5
1
C
f(A, B, C)
f(A, B, C)
Formas de Mapas
A continuacin se ilustran mapas, para 3, 4 y 5 variables. Los valores de columnas y renglones se ordenan
empleando cdigo Gray, para reflejar mejor las adyacencias. El orden de las variables, para la representacin
decimal equivalente del mintrmino, figura en la base del mapa.
Manejo de Mapas
Los siguientes conceptos son tiles en la manipulacin de mapas:
Un mapa de n variable tiene 2n cuadros.
Cada bloque o casillero de un mapa de n variables, tiene n bloques adyacentes; es decir, los cdigos
binarios de los mintrminos estn a distancia uno.
Un bloque est asociado a un producto que contiene las n variables, pudiendo stas estar o no
complementadas.
Agrupando dos bloques adyacentes, se logra una expresin tipo producto de (n-1) variables. Esto
empleando:
a ab ab
Esto, considerando que dos bloques adyacentes difieren en slo una variable, ya que estn a distancia 1. Los
bloques pueden agruparse en un nmero que es una potencia de dos; es decir: 2, 4, 8, 16...
Agrupando 2k bloques, que forman un k-cubo, la expresin booleana asociada es la que resulta de
eliminar k variables de las n correspondientes a un mintrmino.
Uso de mapas
La obtencin del mapa, a partir de una forma cannica es asunto trivial, si los casilleros han sido rotulados
con los nmeros decimales de los mintrminos.
Se tiene: AB
C 00 01 11 10
0 2 6 4
0 1
1 3 7 5
1 1 1
f(A, B, C)=(1,2,5)
La obtencin del mapa, a partir de una forma suma de productos puede obtenerse empleando los
conceptos desarrollados en manejo de mapas.
A. Diseos:
F1= m(0,1,2,3,8,10,12,14)
F2= M(0,3,4,7,8,11,12,15)
F3= M(1,2,3,5,6,7,9,13,14,15)
F4= m(1,2,4,7,8,11,13,14)
a. Simplificar F1 por el mtodo Quine.
m8
m(0,1,2,3)
m3 m(0,2,8,10)
m(1,3)
m(0,1,2,3)
m(2,3)
2 m(2,10)
m10
m(8,10)
a m(8,12)
m12 A
m(10,14)
3 m14
m(12,14)
continuacin se muestra la Tabla de Implicantes:
0 1 2 3 8 10 12 14
m(0,1,2,3) * * * *
m(0,2,8,10) * * * *
m(0,1,2,3)
* * * *
Finalmente, de la Tabla de Implicantes: F1 = AD+AB
b. Simplificar F2 por el mtodo de Q-M.
1 2 5 6 9 10 13 14
1-5-9-13 (4,8) * * * *
2-6-10-14 (4,8) * * * *
AB-CD 00 01 11 10
00 1 1
01 1 1
11 1 1
10 1 1
F4=ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABC
D
e. Implementar la funcin simplificada F1 usando solo NAND.
De la premisa a sabemos que el valor de F1 queda definido por F1 = AD+AB, por lo que no es
necesario incluir los valores de C en nuestra tabla de valores, quedando de la siguiente forma:
A B D F1
0 0 0 1
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0
Por tanto el diseo usando solo NAND sera como se muestra a continuacin:
A B C D F4
0 0 0 0 0
0 0 0 1 1
0 0 1 0 1
0 0 1 1 0
0 1 0 0 1
0 1 0 1 0
0 1 1 0 0
0 1 1 1 1
1 0 0 0 1
1 0 0 1 0
1 0 1 0 0
1 0 1 1 1
1 1 0 0 0
1 1 0 1 1
1 1 1 0 1
1 1 1 1 0
Por tanto el diseo usando solo XOR sera como se muestra a continuacin:
2. Diseo 2:
Simplificar e implementar en el laboratorio a cuatro literales por el mtodo del tabulado o numrico
la siguiente funcin no especificada completamente, hallando IPE, IPES, IPNE y trminos opcionales,
si los hay.
f(A,B,C,D,E ) = m (1,4,5,7,12,14,17,20,21,22,23,28) + d (0,3,6,19,30)
Como primer paso determinamos los Implicantes Primos:
1 4 5 6 7 12 14 17 20 21 22 23 28
a * * *
b * * * * * *
c * * * * * * * *
d * * * * * * *
* * * *
Encontramos as:
Implicantes Primos Esenciales (IPE): { b, d }
Implicantes Primos No Esenciales (IPNE): { a, c }
Una vez que tenemos implementado el circuito conversor de cdigo, procedemos a controlar las salidas con
compuertas de tres estados, que a la vez se regirn por la siguiente tabla de funcin:
S0 S1 Comp. a 2 Paridad Gray-Binario Binario-Gray
0 0 1 0 0 0
0 1 0 1 0 0
1 0 0 0 1 0
1 1 0 0 0 1
X:
Y1:
Como resultado de la formacin de grupos obtenemos:
Y1=ABC
Y2:
Y4:
Como resultado de la formacin de grupos obtenemos:
Y4=D
F4 = A ;
F5 = A' C' D' + A C + A D;
F6 = A D' + A' D;
F7 = A B' + A' C' D + A C' D' + A' B C D' + A C D;
Diseo 9:
Disear e implementar en el laboratorio un circuito combinacional con cuatro lneas de entrada que
representan decimales en BCD cuatro lneas de salida que generan el complemento de 9 del digito
de entrada. Visualice la salida en un display de 7 segmentos.