Desarrollo de experiencia 4 Caja fuerte.

Integrantes : George Castillo

Para entender este problema debemos entender el modelo de mealy, y asi enfocar el
diagrama de estados que se vera luego.

Esta caja fuerte funciona con la secuencia ABBA donde A produce un 1 lógico y B un 0
lógico por lo que la secuencia del sistema secuencial debe ser 1001.Esta caja fuerte y el
diagrama de estado debe ser capaz de reconocer la entrada 1001 para asi dar aviso, de
lo contrario se volvera a pedir la entrada nuevamente desde el comienzo, acontinuacion el
diagrama de estado de caja fuerte.

A continuacion tabla de estados de acuerdo al diagrama

Estado inicial Entrada Estado final salida

externa x
q0 0 qo 0
q0 1 q1 0
q1 0 q2 0
q1 1 q0 0
q2 0 q3 0
q2 1 q0 0
q3 0 q0 0
q3 1 q0 1
Para la caja fuerte se usa los flip flop jk acontinuacion

Qt Qt+1 j k
0 0 0 x
0 1 1 x
1 0 x 1
1 1 x 0

Teniendo en cuaenta los flip flop jk y la tabla de estados

q0 00
q1 01
q2 10
q3 11

A continuacion teniendo en cuenta la tabla de estados y los flip flop se hace la tabla de estados
exitada y codificada

Estado Entrada Estado final salida

inicial
Q1t Q0t x Q1t+1 Q0t+1 J1 K1 J0 K0 s
0 0 0 0 0 0 x 0 x 0
0 0 1 0 1 0 x 1 x 0
0 1 0 1 0 1 x x 1 0
0 1 1 0 0 0 x x 1 0
1 0 0 1 1 x 0 1 x 0
1 0 1 0 0 x 1 0 x 0
1 1 0 0 0 x 1 x 1 0
1 1 1 0 0 x 1 x 1 1

mapas de Karnaugh de las funciones j1, k1, j0, k0

 mapa de K de J1

0 0 0 1

x x x x

j1= Q0t*X

J0

Mapa de K de K1

x x x x

0 1 1 1

k1= Q0t+X

k0

mapa de K J0

0 1 x x

1 0 x x

J0=(Q1t+*x’)+(Q1t’*x)

Mapa de k de K0

x x 1 1

x x 1 1

K0=Q0t

Salidas
 0 0 0 0

0 0 1 0

S= Q0t*Q1t*x

Simplificando por Karnaugh obtendremos las funciones de entrada a los biestables (J1, K1, J0 y K0)
para el cálculo del nuevo estado, y la función de salida S.

J1 = E Q0

K1 = E + Q0

J0 = E XOR Q1

K0 = 1

S = E Q1 Q0