tabla de verdad para flip flop D con variables de control x e y

Debe crear un mapa K con el control y el estado actual como eje. A partir de ahí se puede derivar el siguiente estado.

$$\begin{array}{lc|cccc} \ && \rlap{AB_\text{(current state)}} \\ & & 00 & 01 & 11 & 10 \\\hline XY & 00 & \color{blue}{1}\color{red}{1} & \color{blue}{0}\color{red}{0} & \color{blue}{1}\color{red}{0} & \color{blue}{0}\color{red}{1} \\ & 01 & \color{blue}{0}\color{red}{1} & \color{blue}{1}\color{red}{0} & \color{blue}{0}\color{red}{0} & \color{blue}{1}\color{red}{1} \\ & 11 & \color{blue}{0}\color{red}{1} & \color{blue}{1}\color{red}{1} & \color{blue}{1}\color{red}{0} & \color{blue}{0}\color{red}{0} \\ & 10 & \color{blue}{1}\color{red}{0} & \color{blue}{0}\color{red}{0} & \color{blue}{0}\color{red}{1} & \color{blue}{1}\color{red}{1} \\ \end{array} \\ \begin{align} \color{blue}{a}_\text{(next state)} & = \bar{Y}\bar{A}\bar{B} + Y\bar{A}B + \bar{X}\bar{Y}AB + \cdots_\color{blue}{\text{(other blue groupings)}} \\ \color{red}{b}_\text{(next state)} & = XY\bar{A} + X\bar{Y}A + \cdots_\color{red}{\text{(other red groupings)}} \\ \end{align}$$

Nota : para asegurarme de que no estoy haciendo su tarea, las ecuaciones están intencionalmente incompletas y las entradas del mapa k pueden o no ser precisas. Si encontrar los grupos de una variable doble es un desafío, divídalos en k-maps separados (uno para entradas rojas, el otro azul).