Tengo un pequeño problema al intentar resolver un ejercicio de máquina de estados. Básicamente se supone que debo diseñar el bloqueo, cuando obtengamos la entrada correcta en secuencia, etc. se abrirá.
El problema son las expresiones lógicas complejas que obtengo para q1+
, q0+
y u
de la tabla de estado, ¿hay alguna forma de simplificarlas? Ya he hecho los mapas de Karnaugh en ellos, pero aún parecen ser demasiado complejos.
q1+ = q0*x1*x0' + q1*x1*x0 + q1*q0*x0
q0+ = q1*q0 + q1*x1*x0 + q1'*q0'*x1'*x0'
u = q1*x1*x0 + q1*q0*x0 + q1*q0*x1