Agrego algo más:
hay un error en la solución, en el primer renglón de la Tabla de Estados:
para el estado "quieto abajo" y entrada 0 0 0 se pone motor en 0 y debería ponerse en 1 (según la transición X0X/01).
Me parece que este error se arrastra hasta el final de la solución (Tabla de Verdad, mapas de Karnaugh, ...)
Saludos.