Buenas, tengo una duda respecto al problema 1 (modo nivel). En la solución, no entindo por qué en el mapa de la salida Ready está el término !Qn0.Hierve ya que podría considerar que los don't care son ceros y solo quedarme con el término Qn1.
Desde ya gracias.