Una condición de indiferencia marca una combinación de entrada cuya salida genuinamente no importa — normalmente porque esa entrada nunca puede ocurrir realmente en el sistema real. Marcada como X en un mapa o en una tabla de verdad, una indiferencia puede tratarse como 0 o como 1, lo que ayude a formar un grupo más grande, y nunca es obligatorio cubrirla. Usada correctamente, puede reducir drásticamente una expresión. Usada descuidadamente, introduce un error que solo aparece cuando alguien le da al circuito una entrada que asumiste imposible.
De dónde vienen realmente las indiferencias
No son una comodidad matemática inventada para facilitar la tarea — provienen directamente de restricciones reales de un sistema. Una entrada de 4 bits pensada para representar un dígito BCD (decimal codificado en binario) solo toma valores del 0 al 9; los patrones de bits del 10 al 15 simplemente nunca ocurren si el resto del sistema funciona correctamente, así que lo que el circuito produzca para esos seis patrones es irrelevante. La misma idea aparece en estados no usados de un contador, en combinaciones de entrada que un enclavamiento de hardware impide físicamente, o en cualquier sistema donde ciertas combinaciones de sensores se sabe que son físicamente imposibles.
Un ejemplo resuelto: un detector de dígito BCD impar
Toma un circuito pensado para dar como salida 1 siempre que un dígito BCD (0-9) sea impar — así que debería dar 1 para los minterms 1, 3, 5, 7 y 9. Tratado como una simple función de 4 variables sin indiferencias — es decir, exigiendo que las entradas del 10 al 15 sean 0 — la minimización da:
Ahora marca las entradas del 10 al 15 como indiferencias, ya que representan códigos BCD inválidos que este circuito nunca recibirá realmente. Minimizando los mismos cinco minterms requeridos, pero con esas seis celdas ahora libres para ser 0 o 1, se obtiene:
La función completa se reduce a un solo literal. Eso funciona porque cada 1 requerido (1, 3, 5, 7, 9) tiene D = 1 — así que "dar D directamente como salida" ya coincide con cada caso que importa. La trampa es que D también vale 1 para tres de los códigos inválidos (11, 13, 15), lo que haría que este circuito diera 1 para esos casos si alguna vez ocurrieran. Eso está bien aquí, específicamente porque hemos declarado esas entradas como imposibles — la simplificación solo es válida por esa restricción declarada, no a pesar de ella.
El error que esto crea cuando se usa mal
Ese último punto es exactamente donde las indiferencias fallan en la práctica: marcar una entrada como indiferencia es afirmar que no puede ocurrir, y el minimizador producirá con gusto un circuito que se comporta incorrectamente para esa entrada si esa afirmación resulta ser falsa. Si existe alguna posibilidad realista de que una entrada "inválida" llegue realmente al circuito — un fallo del sensor, un error previo, un estado de reinicio — esa entrada no es una indiferencia genuina, y marcarla como tal cambia un circuito más pequeño por un error de corrección silencioso.
El otro error común: tratarlas como obligatorias
El error opuesto es más un hábito que un fallo: olvidar que una indiferencia nunca tiene que cubrirse. Si un grupo necesitaría una indiferencia para completar un rectángulo pero ningún 1 requerido depende de que esa indiferencia esté incluida, no hay obligación de tomarla — úsala solo cuando realmente ayude a formar un grupo más grande, y déjala fuera en caso contrario.