¿Mi tabla de verdad está bien?

Todos sus estados de salida son correctos, pero necesita agregar M arriba / abajo como salida.

Los primeros 4 estados serían:

\ begin {array} {| c | c | c | c |} \ hline M & Estado & M & Out \\ \ hline 0 & 00 & 0 & 01 \\ \ hline 0 & 01 & 0 & 10 \\ \ hline 0 & 10 & 1 & 11 \\ \ hline 0 & 11 y amp; X & XX \\ \ hline \ end {array}