Ya que esto suena como un problema de tarea, solo te daré algunos consejos para que comiences, en lugar de un diagrama de estado completo.
El concepto clave aquí es que necesita realizar un seguimiento continuo del historial de la entrada A, incluso cuando la salida Z está siendo "mantenida" por la entrada B. Esto requiere un mínimo de 4 estados (más un estado "inicial"); Z está desactivado para dos de ellos y encendido para dos de ellos.
Si todavía estás atascado, deja un comentario aquí y agregaré un boceto del diagrama de estado completo.
ASIDE: Es interesante saber que la máquina de estados abstracta no ayuda mucho con una implementación práctica del circuito, que se puede realizar con un par de flip-flops maestro-esclavo de tipo D y cuatro puertas de 2 entradas de varios tipos.
Estaimplementacióndivideelproblemaendosmáquinasdeestadoseparadas.LasalidadeU2esaltacuandolosestadosactualesyanterioresdeAsonlosmismos.U3-U6formauntipoespecialdepestilloS-RqueseestablececuandoU2esalto,peroserestablecesolositantoU2comoBsonbajos.
EDITAR:OK,aquíestálamáquinadeestadoreal.Cadaestadoseetiquetaconelvalordesalida(Z).Cadaborde(flecha)quedejaunestadoestáetiquetadoconlosdosvaloresdeentrada(AB),y"x" denota "no importa".
Inicialmentecomencéconundiagramaquetenía8estados,peroprontomedicuentadequehabíadosgruposdetresestadosquepodíancombinarse,yaquelosestadosdecadagrupoteníanelmismovalordesalidayrealizabantodaslasmismastransiciones..Estomepermitióreducireldiagramaaloscuatroestadosquesemuestranaquí.
Elquintoestadoopcionaldelaizquierdaessimplementeparaevitarunimpulsodeinicioenlasalida.Sinella,lamáquinadeestadoasumequeelestado"anterior" (no existente) de A era 0, por lo que si el estado actual también es 0, la salida será alta. El estado extra previene esto. Tenga en cuenta que la implementación que se muestra arriba no tiene esta función.