Escolar Documentos
Profissional Documentos
Cultura Documentos
Ejercicios
Asignacin de estados
Ejercicios
El comportamiento de los circuitos secuenciales se determina de las entradas, las salidas y los
estados de los multivibradores (MVB). Ambas entradas y el estado siguiente son una funcin de las
entradas y del estado presente. El anlisis de los circuitos secuenciales consiste en obtener una
tabla o un diagrama de la secuencia de tiempos de las entradas, salidas y estados internos. Es
posible escribir expresiones booleanas que describan el comportamiento de los circuitos secuenciales.
Sin embargo, estas expresiones deben incluir la secuencia de tiempos necesaria directa o
indirectamente.
Un diagrama lgico secuencial se reconoce como un circuito si ste incluye multivibradores. Los
MVB pueden ser de cualquier tipo y el diagrama lgico puede o no incluir compuertas combinacionales.
Muchos circuitos lgicos contienen multivibradores biestables, monoestables y compuertas lgicas
que se conectan para realizar una operacin especfica. Con frecuencia se usa una seal de reloj
primaria para ocasionar que los niveles lgicos del circuito pasen a travs de una determinada
secuencia de estados. En trminos generales, los circuitos secuenciales se analizan siguiendo el
procedimiento que se describe a continuacin:
1. Examinar el diagrama del circuito y buscar estructuras como contadores o registros de corrimiento
para su simplificacin.
2. Determinar los niveles lgicos que estn presentes en las entradas de cada multivibrador antes de
la incidencia del primer pulso del reloj.
3. Utilizar estos niveles para determinar la forma en que cada multivibrador cambiar en respuesta al
primer pulso de reloj.
Observase que en el caso de diseo, se parte de la definicin del problema, despus el diagrama
de estados y su tabla de estados, se continua con la reduccin de la tabla de estados, la asignacin
de estados, la seleccin de los multivibradores y finalmente, el circuito lgico.
El proceso de anlisis es en sentido contrario: se inicia con el circuito y se recorren los pasos
previos en sentido contrario hasta llegar a especificar el problema.
J1 = x y0.........................................................(1)
K1 = x' y'0......................................................(2)
J0 = x..............................................................(3)
K0 = y'1..........................................................(4)
Q+1 = y1(x' y'0)' + y'1(x y0) = y1(x + y0) + y'1 y0 x = y1 x + y1 y0 + y'1 y0 x = Y1................(5)
z = y1 y'0 x ..................................................................................................................................(7)
De las ecuaciones (5), (6) y (7), se obtienen las mascarillas para las tablas de estados. Para esto se
utilizan mapas K:
Tabla de asignacin de estados (asignando: 0 0=q0, 0 1=q1, 1 1=q2, 1 0=q3):
Tabla 2 Tabla 3
Tabla 1
Estados Siguientes Transicin
0 0 0 0 0 1 q0 q0 q1 q0 q0,0 q1,0
0 1 0 0 1 0 q1 q0 q3 q1 q0,0 q3,0
1 1 1 1 1 1 q2 q2 q2 q2 q2,0 q2,0
1 0 0 0 1 1 q3 q0 q2 q3 q0,0 q2,1
Para construir las tablas anteriores, se toma en cuenta lo siguiente: Para la tabla 1: la combinacin y
secuencia de valores para y1 y y0, corresponden a los que dichas variables toman en los mapas de
Karnaugh de la figura anterior. Para x=0: los valores de la primera columna, corresponden a la
columna 1 del mapa de Q1+ y los de la segunda columna, a los valores de la columna 2 del mapa de
Q0+. Para x=1: los valores de la primera columna, corresponden a la columna 2 del mapa de Q1+ y los
de la segunda columna, a los valores de la columna 2 del mapa de Q0+.
Para la tabla 3 de transicin, los valores de qestado,salida, los valores de los estados corresponden a
la tabla de estados siguientes y los valores de z se determinan de su ecuacin obtenida en el mapa de
Karnaugh correspondiente, o sea: z=y1y'0x. Cuando x=0, todos los valores de z son cero; cuando x=1,
slo cuando y1=1, y0=0 y x=1, z toma el valor de 1, o sea en la ltima combinacin, para las otras
combinaciones z=0.
De la figura se observa que Z=1 si X tiene la secuencia 1100, el cualquier otro caso Z=0.
Con estos datos se puede construir la carta de tiempo,
como se muestra en la siguiente figura:
Claramente se observa que durante 2 ciclos de reloj, X=1 y Z=0, que en los siguientes 2 ciclos X=0,
cumplindose las condiciones del enunciado, por lo que Z=1 a partir del cuarto ciclo de reloj y
permanece en ese valor.
Otra forma de visualizacin es por medio del diagrama de estados, que es equivalente a la carta de
tiempo.
Se parte de un estado inicial q0, despus se analiza es valor de la entrada y la salida; si la entrada es
1 y la salida 0, se pasa al estado q1 (1/0 sobre la flecha), pero si la entrada es 0 y la salida 0,
permanece en el estado q0 (0/0 sobre la flecha); del estado q1 se tienen dos posibilidades: si la entrada
es 1 se pasa al estado q2 y si es 0 al estado q5 (1/0 y 0/0 sobre las flechas, respectivamente); del
estado q2 se pasa al estado q3 si la entrada es igual a 0 y al estado q5 si la entrada es igual a 1, en
ambos casos la salida es 0 (0/0 y 1/0 sobre las flechas, respectivamente); del estado q3 se pasa al
estado q4 si la entrada es 0 y la salida 1 (se cumple la secuencia que establece el enunciado), si la
entrada es 1 y la salida 0 se pasa al estado q5 (0/1 y 1/0 sobre las flechas, respectivamente); el estado
q4 se mantiene en 0, independientemente de que la entrada cambie a 0 o 1; finalmente, el estado q5 se
mantiene mientras la entrada sea 0 y pasar al estado q1 si la entrada es 1, en ambos casos la salida
es 0.
El diagrama de estados se resume en la tabla de estados, en donde los valores para las columnas
x=0 y x=1, corresponden a los estados siguientes:
Estado Estados
presente siguientes
qv x=0 x=1
0 0,0
q q q1,0
q1 q5,0 q2,0
q2 q3,0 q5,0
q3 q4,1 q5,0
q4 q4,0 q4,0
q5 q5,0 q1,0
En la tabla de estados se tiene la siguiente notacin para los estados siguientes: qestado siguiente,salida
2. Si L(q, x) = L(p, x)
donde:
L = funcin de salida
p, q = estados presentes
x = vector de entrada
entonces: q = p
De la tabla de estados, se observa que q0 y q5 son equivalentes; por tanto, si cumplen con esta
regla se puede anular a cualesquiera de los dos. En este ejemplo se eliminar q5, sustituyndolo en
todos los casos por q0. Haciendo lo anterior, se
llega a la tabla (a) y al diagrama de estados
reducido:
(a)
Tabla de estados
Reducida
qv x=0 x=1
q0 q0,0 q1,0
q1 q0,0 q2,0
q2 q3.0 q0.0
q3 q4,1 q0,1
q4 q4,0 q4,0
El siguiente paso consiste en la asignacin de estados, que depende del nmero de estados, las
variables de estado requeridas para generar dichos estados y el nmero de multivibradores para
obtener las variables de estado. Su relacin est dada por:
m = nmero de estados = 5
r = nmero de variables de estado = 2r > m
r = nmero de multivibradores = 23 > 5
Como 8 > 5, entonces se tienen 3 variables de estado: y2, y1 y y0. Es decir, se requerirn 3
multivibradores, como se muestra en la figura adjunta, en la cual no se indica el tipo de multivibrador,
ya que an no se han establecido, lo que
significa que podran ser de cualquier tipo.
Tablas de
Asignacin de Estados
y2 y1 y0 q1v q2v q3v q4v
0 0 0 q0 x x x
1 0
0 0 1 q q x x
2 1 0
0 1 0 q q q x
0 1 1 q3 q2 q1 q0
1 0 0 q4 q3 q2 q1
1 0 1 x q4 q3 q2
1 1 0 x x q4 q3
1 1 1 x x x q4
Tomando en cuenta la primera asignacin (q1v), se obtiene la tabla (b), que toma como referencia la
tabla (a):
(b)
En la tabla (b), se observa que en las columnas para x=0 y x=1 hay 4 dgitos, los cuales
corresponden a los estados siguientes de los tres multivibradores y la salida, o sea: y2+y1+y0+,z. As,
los valores para y2+ corresponden a la columna de color amarillo, para y1+ la columna en verde, para
y0+ la columna color azul y para z la columna en rojo. Los valores de excitacin dependern del tipo
de multivibrador a usar.
Tabla de
EXCITACIN
Q Q+ J K
0 0 0 x
0 1 1 x
1 0 x 1
1 1 x 0
Para obtener los mapas de Karnaugh, se combinan las dos tablas anteriores, en las siguientes
tablas:
x=0
Estado
presente Estado
MB2 MB1 MB0 z
siguiente
y2 y1 y0 y2+ y1+ y 0+ J2 K2 J1 K1 J0 K0
0 0 0 0 0 0 0 x 0 x 0 x 0
0 0 1 0 0 0 0 x 0 x x 1 0
0 1 1 0 1 0 0 x x 0 x 1 0
0 1 0 1 1 0 1 x x 0 0 x 1
1 1 0 1 1 0 x 0 x 0 0 x 0
1 1 1 x x x x x x x x x x
1 0 1 x x x x x x x x x x
1 0 0 x x x x x x x x x x
x=1
Estado
presente Estado
MB2 MB1 MB0 z
siguiente
y2 y1 y0 y2+ y1+ y 0+ J2 K2 J1 K1 J0 K0
0 0 0 0 0 1 0 x 0 x 1 x 0
0 0 1 0 1 1 0 x 1 x x 0 0
0 1 1 0 0 0 0 x x 1 x 1 0
0 1 0 0 0 0 0 x x 1 0 x 0
1 1 0 1 1 0 x 0 x 0 0 x 0
1 1 1 x x x x x x x x x x
1 0 1 x x x x x x x x x x
1 0 0 x x x x x x x x x x
Obtencin de los mapas de Karnaugh para cada una de las entradas de los multivibradores J-K y la
salida z. Para J2, se copia la informacin en el mapa de la columnas para x=0 y x=1, sin incluir los
ceros, de las tablas anteriores. Lo mismo se hace para las otras entradas de los multivibradores y la
salida z.
El logigrama queda:
Ejemplo 2 de diseo.
Se desea disear un circuito secuencial de dos lneas de entrada x1 y x2 y una sola salida z. Si un
pulso de reloj llega cuando x1=0 y x2=0 (00), el circuito debe asumir un estado de restauracin que se
puede representar con Q0. Suponer que los siguientes 6 pulsos de reloj, despus de un pulso de
restauracin, coinciden con la siguiente secuencia de combinaciones de entrada. Las entradas,
representadas por x1 y x2, son 01, 10, 11, 01, 10 y 11. La salida z=1 coincidiendo con el sexto pulso de
esta secuencia de 6 pulsos de reloj, pero z=0 en todos los otros momentos. El circuito no puede
restaurar a Q0 excepto mediante la entrada 00. Definir un estado especial al que puede pasar el circuito
una vez que sea imposible que se produzca una secuencia que origine una salida. Por lo tanto, el
circuito deber esperar en el estado especial hasta que se restaure.
Secuencia: 01 10 11 01 10 11
Carta de tiempos:
Diagrama de estados:
x1 x2 x1 x2 x1 x2 x1 x2 x1 x2 x1 x2 x1 x2 x1 x2
qv qv
0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0
0 0,0 1,0 7,0 7,0 0
q q q q q q q0,0 q1,0 q6,0 q6,0
q1 q0,0 q7,0 q7,0 q2,0 q1 q0,0 q6,0 q6,0 q2,0
q2 q0,0 q7,0 q3,0 q7,0 q2 q0,0 q6,0 q3,0 q6,0
q3 q0,0 q4,0 q7,0 q7,0 q3 q0,0 q4,0 q6,0 q6,0
q4 q0,0 q7,0 q7,0 q5,0 q4 q0,0 q6,0 q6,0 q5,0
q5 q0,0 q7,0 q6,1 q7,0 q5 q0,0 q6,0 q6,1 q6,0
q6 q0,0 q7,0 q7,0 q7,0 q6 q0,0 q6,0 q6,0 q6,0
q7 q0,0 q7,0 q7,0 q7,0
Uno de los criterios de asignacin, es considerar al circuito de salida de tal manera que sea ste el
ms sencillo. Para conseguir esto, se mueve el estado q5 (en este caso) que contenga la seal de
salida igual a 1, a una posicin tal que sea fcil de hacer enlaces con los estados opcionales.
x1 x2 x1 x2 x1 x2 x1 x2
qv
0 0 0 1 1 1 1 0
0 0,0 1,0 6,0 6,0
q q q q q
q1 q0,0 q6,0 q6,0 q2,0
q2 q0,0 q6,0 q3,0 q6,0
q3 q0,0 q4,0 q6,0 q6,0
q4 q0,0 q6,0 q6,0 q5,0
q6 q0,0 q6,0 q6,0 q6,0
q5 q0,0 q6,0 q6,1 q6,0
qx qx,x qx,x qx,x qx,x
q0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1
q1 0 0 1 0 0 0 1 1 1 1 1 1 0 1 1
q3 0 1 1 0 0 0 1 1 1 0 1 0 1 1 1
2
q 0 1 0 0 0 0 1 1 0 1 1 1 1 1 1
q4 1 1 0 0 0 0 1 1 1 1 1 1 1 0 1
6
q 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1
5
q 1 0 1 0 0 0 1 1 1 1 1 1 1 1 1
qx 1 0 0 x x x x x x x x x x x x
Tabla de
EXCITACIN
Estado presente Estado siguiente Entrada
Q Q+ D
0 0 0
0 1 1
1 0 0
1 1 1
Mapas de Karnaugh: Se obtienen tres mapas, uno para cada multivibrador; As para D2, se toman
los valores indicados en la columna verde, considerando los valores de x1 y x2. As, para x1=x2=0, los
valores corresponden a la primera columna de mapa K; para x1=0 y x2=1, a los de la segunda columna
de mapa y as sucesivamente. Para D1 se sigue el mismo procedimiento pero tomando los valores de la
columna naranja. Finalmente para D0, se consideran los valores de la columna azul. Obsrvese que
z=1, cuando x1=x2=0 , y2=1 y y1=y0=0.
El logigrama correspondiente es:
EJERCICIOS.
1. Determinar el diagrama y la tabla de estados de un circuito detector de secuencia que detecte 101.
La salida debe ser 1 cuando ocurra el ltimo pulso de la secuencia. La salida Z deber restablecerse a
0 para el siguiente pulso. La secuencia deber presentar traslape.
x = 010101101
2. Obtener el diagrama y la tabla de estados para un circuito detector de secuencia de tal manera
que Z=1 en el segundo bit de 2 unos consecutivos. El circuito debe disearse con traslape siempre y
cuando se siga la siguiente secuencia:
x = 01100111110
3. Obtener el diagrama y la tabla de estados tal que Z=1 cuando ocurra el segundo bit de la
secuencia 01.
x = 010100100
4. Obtener la tabla y el diagrama de estados tal que Z=1 cuando la secuencia sea 1010.
x = 00101001010101110
5. En una interseccin de dos calles, una en la direccin norte-sur (N-S) y otra en la direccin este-
oeste (E-O). Se instalan semforos con indicaciones de rojo, mbar y verde. Disear un circuito
mostrando la secuencia de estados que recorrern las luces. Suponer que el sistema est controlado
por un reloj cuyo perodo es de 5 segundos. En cada direccin se permite trfico durante 20 segundos
y la luz mbar dura 20 segundos.
Relacin de equivalencia. Cuando un par de ordenadas de elementos x e y posee una propiedad que
los relaciona, se dice que x est relacionado con y; se expresa en la forma:
xRy
Estados equivalentes. La condicin para que existan estados equivalentes, es que el circuito est
completamente especificado. Se dice que un circuito est completamente especificado si las salidas y
los estados siguientes se especifican para cada combinacin de estados presentes y de entrada.
La funcin de estado siguiente se denota por el smbolo ) y la funcin de salida por 8. Se emplear la
siguiente notacin:
x (condiciones de entrada)
Estado presente 00 01 11 10
q
0 1 3 2
q3,0 q1,0 q2,0 q2,0
q1
q3,0 q3,0 q4,0 q4,0
q2 q3,0 q1,1 q1,3 q1,2
q3 q4,0 q4,0 q2,0 q2,0
q4
qestado siguiente,salida
)(q1,0) = q3 8(q1,0) = 0 = 00
)(q3,2) = q1 8(q3,2) = 2 = 10
)(q1,3) = q2 8(q1,3) = 0 = 00
)(q2,0) = q3 8(q2,0) = 0 = 00
)(q3,0) = q3 8(q3,0) = 0 = 00
)(q3,1) = q1 8(q3,0) = 1 = 01
Donde: )(q1,0) = q3 indica: )(qestado presente,entrada)=qestado siguiente; 8(q1,0) = 0 indica: 8(qestado presente,entrada)=
salida (en decimal y binario), para el primer rengln y en forma similar para los siguientes renglones.
)A (q, x1, x1, x1,...., x1) = 8B (p, x1, x1, x1,...., x1)
Definicin 2: Se dice que los circuitos secuenciales A y B son equivalentes, lo cual se expresa A=B,
si para cada estado q de A, existe una tabla de estado p de B, tal que p=q, e inversamente para cada
estado p de B existe un estado q de A, tal que q=p.
Conclusin: Dada una tabla de estados, el objetivo es obtener una tabla de estados con el menor
nmero posible de ellos, porque esto implica utilizar un nmero menor de elementos de memoria
(multivibradores).
Definicin 3: Se har que los estados de un circuito secuencial se dividan en clases separadas. p=q
denota que los estados p y q quedan dentro de la misma clase en la particin. Esta particin se
compone de clases de equivalencia de estados indistinguibles (2 estados indistinguibles deben estar
en la misma clase), si y slo si se satisfacen las dos condiciones siguientes para cada par de estados
p y q en la misma clase (p=q) y cada entrada individual x:
1. 8 (p, x) = 8 (q, x) indica que las salidas son iguales
2. )(p, x) = )(q, x) significa que quedan dentro de la misma clase
Definicin: Los estados S1,S2,...,Sj de un circuito secuencial son de equivalencia, si y slo si, para
cada secuencia posible Ip se producir la misma secuencia de salida, sin importar que S1,S2,...,Sj sean
los estados iniciales.
Esta definicin puede plantearse de otra forma, por la condicin de pares siguientes: Considerar que
Sk y Sl sean los estados siguientes del circuito secuencial, al aplicarse la entrada Ip en los estados Si y
Sj, respectivamente.
Se dice entonces que Si y Sj son equivalentes si y slo si para cada entrada posible Ip:
Estado Entrada
presente x=0 x=1
A C/1 B/0
B C/1 E/0
C B/1 E/0
D D/0 B/1
E E/0 A/1
estado siguiente/salida
(A B C D E) Conjunto universal
x=0 11100
Primero salidas. Formamos subconjuntos, de acuerdo a la tabla anterior
x=1 00011
1ra. PARTICIN
x=0 CCB DE
Analizamos sobre puros estados siguientes. CCB van al mismo subconjunto con x=0
x=1 BEE BA
BEE van a distinto subconjunto con x=1, por lo que debe particionarse
2a. PARTICIN
(A)(B C)(D E)
x=0 C B D E DE van al mismo subconjunto con x=0
x=1 E E B A BA van a distinto subconjunto con x=1
3a. PARTICIN
(A)(B C)(D)(E)
x=0 CB
As queda, ya que no es posible dividir en ms subconjuntos
x=1 EE
a b d e a=(A), B=(BC), d=(D) y e=(E)
Estado Entrada x
presente x=0 x=1
a b/1 b/0
b b/1 e/0
d d/0 b/1
e e/0 a/1
EJEMPLO 2. Dada la siguiente tabla, obtener una tabla de estados mnima y equivalente:
TABLA 1
Estado Entrada
presente x=0 x=1
A A/1 E/0
B A/0 E/0
C B/0 F/0
D B/0 F/0
E C/0 G/1
F C/0 G/1
G D/0 H/1
H D/0 H/1
estado siguiente/salida
1ra. PARTICIN
(A B C D E F G H) Conjunto universal
x=0 1 0 0 00000
De acuerdo a salidas
x=1 0 0 0 01111
2a. PARTICIN
(A)(B C D)(E F G H)
A ABB CCD
x=0
D
ABB van a distinto subconjunto, por lo que particionamos
E EFF GGH
x=1
H
3a. PARTICIN
(A)(B)(C D)(E F G
H)
BB CCD
x=0
D
Van a los mismos subconjuntos
FF GGH
x=1
H
a b c d a=(A), b=(B), c=(CD) d=(EFGH)
Tomando en cuenta la Tabla 1 inicial, se obtiene la tabla equivalente mnima y el diagrama de estados
mnimo, presentados a continuacin:
Estado Entrada x
presente x=0 x=1
a a/1 d/0
b a/0 d/0
c b/0 d/0
d c/0 d/1
EJEMPLO 3. Dada la siguiente tabla, obtener una tabla de estados mnima y equivalente:
Tabla 1
Estado Entrada
presente x=0 x=1
A E/0 D/0
B A/1 F/0
C C/0 A/1
D B/0 A/0
E D/1 C/0
F C/0 D/1
G H/1 G/1
H C/1 B/1
estado siguiente/salida
1ra. PARTICIN
x=0 01 0 01 01 1
De acuerdo a salidas
x=1 00 1 00 11 1
2a. PARTICIN
(A D C F B E G H)
x=0 00 00 11 1 1
Arreglamos de acuerdo a salidas iguales
x=1 00 11 00 1 1
3a. PARTICIN
x=0 E B CC A D H C
HC van a distinto subconjunto
x=1 DA AD FC GB
3a. PARTICIN
Estado Entrada x
presente x=0 x=1
a c/0 a/0
b b/0 a/1
c a/1 b/0
d e/1 d/1
e b/1 c/1
EJEMPLO 4. Dada la siguiente tabla, obtener una tabla de estados mnima y equivalente:
Estado Entrada
presente x=0 x=1
A A/0 B/0
B A/0 C/0
C A/0 D/0
D A/0 D/1
estado siguiente/salida
1ra. PARTICIN
(A B C D) Conjunto universal
x=0 0 0 0 0
De acuerdo a salidas
x=1 0 0 0 1
2a. PARTICIN
(A B C)(D)
x=0 AAA A
De acuerdo a estados siguientes
x=1 BCD D
3a. PARTICIN
(A B)(C)(D)
TABLA A
Estado Entrada
presente x=0 x=1
1 1/0 1/0
2 1/1 6/1
3 4/0 5/0
4 1/1 7/0
5 2/0 3/0
6 4/0 5/0
7 2/0 3/0
estado siguiente/ salida
Estado presente
1 2 3 45 6 7 Conjunto universal
x=0 0 1 0 1 0 0 0
De acuerdo a salidas
x=1 0 1 0 0 0 0 0
(1 3 5 6 7) (4) (2)
x=0 0 0 0 0 0 1 1
Primero agrupamos de acuerdo a salidas
x=1 0 0 0 0 0 0 1
1ra. PARTICIN
(1 3 5 6 7) (4) (2)
x=0 1 4 2 4 2 1 1
Considerando estados siguientes
x=1 1 5 3 5 3 7 6
2a. PARTICIN
a d e c b
Considerando la tabla inicial A y los resultados anteriores, se obtiene la tabla de estados reducida:
Estado Entrada x
presente x=0 x=1
a a/0 a/0
b a/1 d/1
c a/0 e/0
d c/1 e/0
e b/0 d/0
EJERCICIOS.
1. 2. 3.
1. a) Se forma una tabla anotando verticalmente las variables de estado presente, menos la primera; y
b) horizontalmente todos los estados a excepcin del ltimo. De esta tabla se obtienen todas las
posibles combinaciones por pares de estados.
2. Como nicamente los estados siguientes con salidas idnticas pueden ser equivalentes, se coloca
una cruz en las celdas correspondientes de aquellos pares de estados cuyas salidas no son iguales
para cada entrada.
3. Por la condicin de pares de estado, deben completarse todas las celdas vacantes, escribindose
sobre cada celda todos los pares siguientes, cuya equivalencia est implicada por la interseccin de
los estados que definen cada celda.
Si los pares implicados contienen nicamente los mismos estados que lo definen, o bien, si los estados
equivalentes son iguales para una entrada dada, se coloca el smbolo que indica que estos estados
son equivalentes por inspeccin e independientes de otros pares implicados.
4. Una vez completada la tabla deben realizarse pasos sucesivos para determinar si otras celdas
deben cruzarse adems de las indicadas en el paso 2. Una celda debe cruzarse si contiene al menos
un par implicado definido en otra celda que haya sido cruzada anteriormente.
5. Se realiza un listado a una columna por los definidos en la lnea horizontal, se examina la tabla
columna por columna para localizar celdas no cruzadas, siendo estos los pares de estados
equivalentes, para aplicar enseguida la propiedad de transitividad (absorcin).
Estado x
presente 0 1
A C/1 E/0
B C/1 E/0
C B/1 E/0
D D/0 B/1
E E/0 A/1
estado siguiente/salida
Estado x
presente 0 1
a a/1 b/0
b b/0 a/1
estado siguiente/salida
Estado x
presente
0 1
A E/0 D/0
B A/1 F/0
C C/0 A/1
D B/0 A/0
E D/1 C/0
F C/0 D/1
G H/1 G/1
H C/1 B/1
ESTADO SIGUIENTE/SALIDA
EJEMPLO 3. Reducir al mnimo la siguiente
tabla de estados por el mtodo de implicantes.
Estado x
presente
0 1
A C/1 B/0
B C/1 E/0
C B/1 E/0
D D/0 B/1
E E/0 A/1
ESTADO SIGUIENTE/SALIDA
EJEMPLO 4. Reducir al mnimo la siguiente
tabla de estados por el mtodo de implicantes.
Estado x
presente
0 1
A A/1 E/0
B A/0 E/0
C B/0 F/0
D B/0 F/0
E C/0 G/1
F C/0 G/1
G D/0 H/1
H D/0 H/1
ESTADO SIGUIENTE/SALIDA
EJEMPLO 5. Dada la siguiente tabla,
reducirla por el mtodo de tablas de implicacin:
qv x=0 x=1
1 2,0 3,0
2 4,0 5,0
3 6,0 7,0
4 8,0 9,0
5 10,0 1,0
6 4,0 12,0
7 10,0 12,0
8 8,0 1,0
9 10,1 1,0
10 4,0 1,0
11 2,0 1,0
12 2,0 1,0
estado siguiente/salida
qv 0 1 2 3
1 3 4 2 4
2 4 4 3 4
3 1 1 3 4
4 1 2 1 4
Pasos eliminados:
Primer paso:
1-9 2-9 3-9 4-9 5-9 6-9 7-9 8-9 9-10 9-11 9-12
Segundo paso: Para este paso, se eliminan todos los que tengan implicados los de primer paso.
1-4 2-4 3-4 4-5 4-6 4-7 4-8 4-10 4-11 4-12
Tercer paso:
1-2 1-6 1-10 2-3 2-5 2-7 2-8 2-11 3-6 3-10 5-6 5-10 6-7 6-8 6-11 6-12 7-10 8-10 10-11 10-12
Cuarto paso:
11 11-12
10 11-12
9 11-12
8 11-12
7 11-12 7-11 7-12
6 11-12 7-11 7-12 6-10
5 11-12 7-11 7-12 6-10 5-7 5-11 5-12
4 11-12 7-11 7-12 6-10 5-7 5-11 5-12
3 11-12 7-11 7-12 6-10 5-7 5-11 5-12 3-5 3-7 3-11 3-12
2 11-12 7-11 7-12 6-10 5-7 5-11 5-12 3-5 3-7 3-11 3-12 2-6 2-10
1 11-12 7-11 7-12 6-10 5-7 5-11 5-12 3-5 3-7 3-11 3-12 2-6 2-10 1-3 1-5 1-7 1-11 1-12 4 8 9
Diagrama de Merger:
Tabla reducida
qv x=0 x=1
1 2,0 1,0
2 4,0 1,0
4 8,0 9,0
8 8,0 1,0
9 2,1 1,0
estado siguiente/salida
EJEMPLO:
Estado x
presente 0 1
A A/- -/-
B C/- B/0
C D/0 -/-
D -/- B/-
E A/0 C/-
estado siguiente/salida
x x
0 1 0 1
A'=ABD AC/1 B/0 A' A'B'/1 A'/0
B'=EC DA/0 C/1 B' A'/0 B'/1
se llena con la primera tabla se llena con la tabla adjunta
x x
01 1
A
'A B
B
=D '
/
A/ /
1
C0 1
D
B B
CB
' '
//
= /
10
B 0
C A
AC
' '
//
= /
0-
E -
x x
0 1 0 1
A'=ACE AD/0 C/1 A' A',B'/0 A'/1
2 5
L=MX {NSMI1 , NSMI2 , NSMI3}
2 2 2
L <= K <= U
Ejercicios
Reducir por medio de tablas de implicacin, los siguientes problemas:
1. 2.
00 01 10 11 00 01 10 11 00 01 10 11
qv qv
0 1 2 3 0 1 2 3 0 1 2 3
1 6 2 1 1 0 0 0 0 A E,1 C,0 B,1 E,1
2 6 3 1 1 0 0 0 0 B C,0 F,1 E,1 B,0
3 6 9 4 1 0 0 1 0 C B,1 A,0 D,1 F,1
4 5 6 7 8 1 0 1 0 D G,0 F,1 E,1 B,0
5 5 9 7 1 1 0 1 0 E C,0 F,1 D,1 E,0
6 6 6 1 1 0 0 0 0 F C,1 F,1 D,0 H,0
7 5 10 7 1 1 0 1 0 G D,1 A,0 B,1 F,1
8 6 2 1 8 0 0 0 0 H B,1 C,0 E,1 F,1
9 9 9 1 1 0 0 0 0
10 6 11 1 1 0 0 0 0
11 6 9 4 1 0 0 1 0
Asignacin de estados
2r - 1 < m < 2 r
Regla I
A) Se deben examinar los renglones de la tabla reducida que tengan anotaciones idnticas para el
estado siguiente en cada columna. Estos renglones deben recibir asignaciones adyacentes. De ser
posible las anotaciones del estado siguiente en esos renglones deben recibir asignaciones de
acuerdo con la regla II.
B) Se verifican los renglones de la tabla de estados reducida que tienen las mismas anotaciones del
estado siguiente pero en diferente orden de columna. A estos renglones se les deben dar
asignaciones adyacentes. Las anotaciones del estado siguiente pueden recibir asignaciones
adyacentes.
C) Los renglones con anotaciones idnticas para el estado siguiente, en algunas pero no en todas las
columnas, deben recibir asignaciones adyacentes, en donde los renglones que tengan ms
columnas idnticas asuman la mxima prioridad.
Regla II
Las anotaciones del estado siguiente para un rengln dado, deben recibir asignaciones diferentes.
Regla III
Las asignaciones deben hacerse de tal manera que simplifiquen los mapas de salida.
Ejemplo:
0
q0 0 0,0 0 1,0 0 0 0 x
0
0
q1 0 0,0 1 1,0 0 1 1 x
1
1
q2 0 0,0 1 0,1 1 0 x 1
1
1
q3 1 0,0 1 0,0 1 1 x 0
0
Donde y1, y0 son los estados presentes y y+1, y+0 son los estados siguientes, para x=0 y x=1.
Combinando las dos tablas previas, se obtienen los valores para los dos multivibradores J-K para los
mapas de Karnaugh, como se muestra en la siguiente tabla:
y1 x=0 x=1
qv
y0 J1 K1 J0 K0 J1 K1 J0 K0
0
q0 0 x 0 x 0 x 1 x
0
0
q1 0 x x 1 1 x x 0
1
1
q2 x 1 x 1 x 0 x 1
1
1
q3 x 0 0 x x 0 0 x
0
Los valores de esta tabla se encuentran de la siguiente manera: Para los valores de J1 y K1, se
consideran las columnas y1 y y+1 (corresponden a Q y Q+), de la tabla 1ra. asignacin; se buscan en
la tabla de excitacin del multivibrador J-K y se determinan los valores de J1 y K1. Se sigue el mismo
procedimiento para J0 y K0. Los valores de z, se encuentran directamente de la tabla 1ra. asignacin.
A continuacin se presentan los mapas para determinar las funciones de entrada de los
multivibradores.
2a. asignacin
x=0 x=1
qv y1 y0
y+1y+0,z y+1y+0,z
q0 0 0 0 0,0 1 1,0
q1 0 1 0 0,0 1 0,0
q2 1 1 0 0,0 0 1,1
q3 1 0 1 0,0 1 0,0
Nuevamente, combinando esta tabla con la tabla de excitacin del multivibrador tipo J-K, se tiene:
qv y1 x=0 x=1
y0 J1 K1 J0 K0 J1 K1 J0 K0
0
q0 0 x 0 x 1 x 1 x
0
0
q1 0 x x 1 1 x x 1
1
1
q2 x 1 x 1 x 1 x 0
1
1
q3 x 0 0 x x 0 0 x
0
Esta tabla se obtuvo siguiendo el mismo procedimiento que en el caso anterior. Los mapas de
Karnaugh para la 2a. asignacin son:
3a. asignacin
x=0 x=1
qv y1 y0
y+1y+0,z y+1y+0,z
q0 0 0 0 0,0 1 0,0
q1 0 1 0 0,0 1 1,1
2
q 1 1 1 1,0 1 1,0
3
q 1 0 0 0,0 0 1,0
Nuevamente, combinando esta tabla con la tabla de excitacin del multivibrador tipo J-K, se tiene:
y1 x=0 x=1
qv
y0 J1 K1 J0 K0 J1 K1 J0 K0
0
q0 0 x 0 x 1 x 0 x
0
0
q1 0 x x 1 1 x x 0
1
1
q2 x 0 x 0 x 0 x 0
1
1
q3 x 1 0 x x 1 1 x
0
Esta tabla se obtuvo siguiendo el mismo procedimiento que en el caso anterior. Los mapas de
Karnaugh para la 3a. asignacin son:
El logigrama para la 3a. asignacin es:
EJERCICIOS