CIRCUITOS LGICOS

Las computadoras digitales estn diseadas para obtener salidas apropiadas a partir de entras dadas. Tanto las entradas,
como las salidas, son procesadas en trminos de bits (binary digits); es decir, 0 1. Todos los datos y programas se
reducen, en ltima instancia, a combinaciones de bits. Durante la poca digital se han utilizados diversos recursos para el
procesamiento de los bits en una computadora. Para lograr esto, se escogen de la vida real objetos que, como
las proposiciones, gozan de la propiedad de bivalencia (asumen slo dos valores). Entre estos tenemos el interruptor o
conmutador (switch) de un circuito elctrico, que puede estar cerrado o abierto, dejando o no pasar la corriente
elctrica. El transistor, cuya corriente puede estar presente o ausente. Las computadoras digitales modernas estn
construidas basndose en los transistores
Los circuitos lgicos pueden pensarse como una mquina procesadora que acepta un conjunto de entradas y genera un
conjunto salidas. Cada dato de entrada o salida es un bit. Los datos de salida estn unvocamente determinados por la
combinacin de los datos de entrada, es decir, que cada vez que se introducir los mismos datos de entrada produce la
misma salida siempre. Esta caracterstica tambin es propia de las funciones matemticas.

Definicin:
Es un circuito formado por un conjunto de compuertas lgicas en el cual las salidas estn determinadas de forma univoca
por las entradas actuales.
Compuerta Lgica:
Todo circuito lgico, por complicado que sea, se puede construir sobre la base de unos pocos circuitos muy simples, a los
que se les da el nombre de compuerta lgica. Las Compuertas Lgicas esenciales son tres: Compuerta-NO(NOT),
Compuerta-Y(AND) y Compuerta-O(OR) las cuales se usan como los bloques fundamentales de la implementacin de
todos los circuitos lgicos.
Para entender las cualidades de una compuerta lgica, lo vamos a ejemplificar mediante un interruptor que presenta dos
estados. Uno, abierto que no permite pasar la corriente cuando; y otro cerrado que si deja pasar la misma. Las siguientes
figuras nos muestra estos dos estados.

Definicin:
Las compuertas lgicas son circuitos electrnicos que operan con una o ms seales de entrada para producir una seal de
salida. Las seales elctricas como voltaje o corriente existen en todas las partes de un sistema digital en cada uno de los
dos valores definidos.
A los interruptores cerrados, al igual que las proposiciones verdaderas, les asignamos el valor 1; y a los interruptores
abiertos, como las proposiciones falsas, le asignaremos el valor 0. Llamaremos Valor de conduccin (V.C) de un
interruptor al valor 1 0 que le corresponda, segn el interruptor est abierto o cerrado.
Compuerta-No (NOT):

Esta compuerta lgica se comporta como el conectivo lgico de la negacin. Tambin es llamado inversor ya que
cambia el estado de la conduccin del circuito:
Tabla de Verdad:

Compuerta-Y (AND):

El conectivo de la conjuncin corresponde, en la teora de circuitos, a la conexin en serie de interruptores. Esta

compuerta solo deja pasar la corriente cuando ambos interruptores estn cerrados:

Circuito en Serie
Tabla de Verdad:

Compuerta-O (OR):

El conectivo de la disyuncin corresponde, en la teora de circuitos, a la conexin en serie de interruptores. Esta

compuerta no deja pasar la corriente slo cuando ambos interruptores estn abiertos:
Tabla de Verdad:

Los otros conectivos lgicos se pueden representar mediante estos tres elementales. Usando las equivalencias vistas
anteriormente vamos a escribir los otros conectivos
Condicional:
p q ~p q (Ley del Condicional)
Comprobamos los distintos valores con el simulador de circuitos digitales LOGISIM:

Y efectivamente se puede observar que el resultado es el mismo que la tabla de verdad del condicional.
Bicondicional:
p q (p q ) (q p) (Ley del Bicondicional)
(~p q) (~q p) (Ley del Condicional)
 Disyuncin Exclusiva:
p q (p ~q) (q ~p) (Ley de Disyuncin Exclusiva)

SIMPLIFICACIN DE CIRCUITOS:
Gracias a las leyes de proposiciones vista anteriormente, es posibles optimizar circuitos para que se obtenga los mismos
resultados con menos compuertas posibles.
 Ejemplo: Simplifica: ~(p ~q ) ( ~q~p)
1. ~(p~q ) ( ~q~p)
2. ~p q (~q ~p) Ley de Morgan
3. ~p ((q ~q)(q ~p) Ley Asociativa
4. ~p (1(q ~p)) Ley de Tercer Excluido
5. ~p (q ~p) Ley de Elemento Neutro
6. ~p q Ley Conmutativa

Aqu se observa la comparacin entre ambos circuitos. El de la izquierda contiene ms compuertas. El de la derecha a
pesar que tiene menos compuertas genera los mismos valores lgicos.