En lógica digital , un término indiferente [1] [2] (abreviado DC , históricamente también conocido como redundancias , [2] irrelevancia , [2] entradas opcionales , [3] [4] combinaciones inválidas , [5] [4] combinaciones vacías , [6] [4] combinaciones prohibidas , [7] [2] estados no utilizados o residuos lógicos [8]) para una función es una secuencia de entrada (una serie de bits) para la cual la salida de la función no importa. Una entrada que se sabe que nunca ocurrirá es un término que no puede ocurrir . [9] [10] [11] [12] Ambos tipos de afecciones se tratan de la misma manera en el diseño lógico y pueden denominarse colectivamente como condiciones de indiferencia por brevedad. [13] El diseñador de un circuito lógico para implementar la función no necesita preocuparse por tales entradas, pero puede elegir la salida del circuito arbitrariamente, generalmente de manera que resulte el circuito más simple ( minimización ).
Es importante considerar los términos de indiferencia al minimizar el diseño de circuitos lógicos, incluidos los métodos gráficos como los mapas de Karnaugh-Veitch y los métodos algebraicos como el algoritmo de Quine-McCluskey .
En 1958, Seymour Ginsburg demostró que la minimización del circuito no importa [ aclarar ] no necesariamente produce un resultado mínimo. [14]
Ejemplos de términos de indiferencia son los valores binarios 1010 a 1111 (10 a 15 en decimal) para una función que toma un valor decimal codificado en binario (BCD), porque un valor BCD nunca toma tales valores (los llamados pseudo -términos ); En las imágenes, el circuito que calcula la barra inferior izquierda de una pantalla de 7 segmentos puede minimizarse a a b + a c mediante una elección adecuada de salidas de circuito para dcba = 1010… 1111 .
Los registros de solo escritura , como se encuentran con frecuencia en hardware antiguo, a menudo son una consecuencia de optimizaciones indiferentes en el compromiso entre la funcionalidad y el número de puertas lógicas necesarias. [15]
"No me importa" también puede referirse a un valor desconocido en un sistema lógico de valores múltiples , en cuyo caso también se puede llamar valor X o no sabe . [16] En el lenguaje de descripción de hardware de Verilog , dichos valores se indican con la letra "X". En el lenguaje de descripción de hardware VHDL , dichos valores se indican (en el paquete lógico estándar) con la letra "X" (desconocido forzado) o la letra "W" (desconocido débil). [17]