Estimado,
Ya en la tabla de estados y en la de transiciones y salidas, si para un estado se da que una cierta entrada es imposible, es correcto indicar que el próximo estado es don't care y también las salidas, porque como es una entrada que no se va a dar, no tiene sentido especificar qué va a pasar en ese caso.
Por ejemplo, en el problema 8 podés asumir que los bits de cocina y comedor nunca van a estar activos al mismo tiempo. Por lo tanto, todas las filas de las tablas con esas entradas en 1 deberían ser don't care.
Saludos,
Federico