Explicación del término de restricción: si el término ABC se escribe en la función, cuando Y=ABC=111, su valor Y debe ser 1 porque es el término mínimo. En otras palabras, si aparece este 111 que no debería aparecer, ¡realmente afectará los resultados de salida! La máquina no funciona correctamente, la lógica es confusa, etc.
Pero en circunstancias extremadamente especiales (la máquina funciona muy bien, o el estado ideal supuesto en la pregunta = =), ABC=111, ¡esta entrada no aparecerá en absoluto! Sólo habrá algún otro valor mínimo, como 110. En este punto, el valor de ABC siempre será 0 (debido a la naturaleza del minterm, solo una entrada generará 1 y todas las demás entradas serán 0). Entonces, en este caso extremadamente especial (entrada restringida), ¡el resultado de salida definitivamente no hará que ABC sea igual a 1! Se considera constante 0. No importa si existe o no. Escribe o no.