Debería crear un K-map con control y estado actual como su eje. De eso se puede derivar el siguiente estado.
$$
\ begin {array} {lc | cccc} \
& & \ rlap {AB_ \ text {(estado actual)}} \\
&erio; &erio; 00 & 01 & 11 y amp; 10 \\ hline
XY & 00 & \ color {azul} {1} \ color {rojo} {1} & \ color {azul} {0} \ color {rojo} {0} & \ color {azul} {1} \ color {rojo} {0} & \ color {azul} {0} \ color {rojo} {1} \\
&erio; 01 & \ color {azul} {0} \ color {rojo} {1} & \ color {azul} {1} \ color {rojo} {0} & \ color {azul} {0} \ color {rojo} {0} & \ color {azul} {1} \ color {rojo} {1} \\
&erio; 11 y amp; \ color {azul} {0} \ color {rojo} {1} & \ color {azul} {1} \ color {rojo} {1} & \ color {azul} {1} \ color {rojo} {0} & \ color {azul} {0} \ color {rojo} {0} \\
&erio; 10 & \ color {azul} {1} \ color {rojo} {0} & \ color {azul} {0} \ color {rojo} {0} & \ color {azul} {0} \ color {rojo} {1} & \ color {azul} {1} \ color {rojo} {1} \\
\ end {array}
\\
\ begin {align}
\ color {azul} {a} _ \ text {(estado siguiente)} & = \ bar {Y} \ bar {A} \ bar {B} + Y \ bar {A} B + \ bar {X} \ bar {Y} AB + \ cdots_ \ color {azul} {\ text {(otros agrupaciones azules)}} \\
\ color {rojo} {b} _ \ text {(estado siguiente)} & = XY \ bar {A} + X \ bar {Y} A + \ cdots_ \ color {rojo} {\ texto {(otras agrupaciones rojas)}} \\
\ end {align}
$$
Nota : para asegurarte de que no estoy haciendo tu tarea, las ecuaciones intencionalmente están incompletas y las entradas de k-map pueden / no ser exactas. Si es difícil encontrar los grupos de una variable doble, divídalos en k-maps separados (uno para las entradas en rojo, el otro en azul).