En la teoría de autómatas , la lógica combinatoria (también conocida como lógica independiente del tiempo [1] o lógica combinatoria [2] ) es un tipo de lógica digital que se implementa mediante circuitos booleanos , donde la salida es una función pura de la entrada actual únicamente. . Esto contrasta con la lógica secuencial , en la que la salida depende no sólo de la entrada actual sino también del historial de la entrada. En otras palabras, la lógica secuencial tiene memoria mientras que la lógica combinacional no.
La lógica combinacional se utiliza en circuitos de computadora para realizar álgebra booleana en señales de entrada y datos almacenados. Los circuitos informáticos prácticos normalmente contienen una mezcla de lógica combinacional y secuencial. Por ejemplo, la parte de una unidad lógica aritmética , o ALU, que realiza cálculos matemáticos se construye utilizando lógica combinacional. Otros circuitos utilizados en las computadoras, como medios sumadores , sumadores completos , medios restadores , restadores completos , multiplexores , demultiplexores , codificadores y decodificadores también se crean mediante el uso de lógica combinacional.
El diseño práctico de sistemas lógicos combinacionales puede requerir la consideración del tiempo finito requerido para que los elementos lógicos prácticos reaccionen a los cambios en sus entradas. Cuando una salida es el resultado de la combinación de varias rutas diferentes con diferentes números de elementos de conmutación, la salida puede cambiar momentáneamente de estado antes de establecerse en el estado final, a medida que los cambios se propagan a lo largo de diferentes rutas. [3]
La lógica combinacional se utiliza para construir circuitos que producen salidas específicas a partir de ciertas entradas. La construcción de la lógica combinacional generalmente se realiza utilizando uno de dos métodos: una suma de productos o un producto de sumas. Considere la siguiente tabla de verdad :
Usando la suma de productos, se suman todas las declaraciones lógicas que producen resultados verdaderos, dando el resultado:
Usando álgebra booleana , el resultado se simplifica al siguiente equivalente de la tabla de verdad:
La minimización (simplificación) de fórmulas lógicas combinacionales se realiza utilizando las siguientes reglas basadas en las leyes del álgebra booleana :
Con el uso de la minimización (a veces llamada optimización lógica ), se puede llegar a una función o circuito lógico simplificado, y el circuito lógico combinacional se vuelve más pequeño y más fácil de analizar, usar o construir.
