La lógica de los sistemas informáticos es una lógica binaria. Es semejante a la lógica de las proposiciones.Esto es debido a que el estado de u interruptor (transistor).Puede ser 0 ó 1 (abierto o cerrado) al igual que las proposiciones pueden adoptar dos valores V,F (verdadero o falso).
Esta lógica binaria tiene sus operaciones propias.En circuitos la suma corresponde a una conexión en paralelo y el producto a una conexión en seco
Vamos a usar un simulador de circuitos online para entender un poco el funcionamiento de esta logica
http://www.neuroproductions.be/logic-lab/
1-Colocar dos entradas en serie en todas las posiciones posibles
La tabla en la que se resume todos los estados posibles de estos dos interruptores(a,b) con la puerta logica AND es la siguiente :
2-Colocar dos entradas en paralelo en todas las posiciones posibles:
La tabla en la que se resume todos los estados posibles de estos dos interruptores(a,b) con la puerta lógica OR es la siguiente :
3-Construir un contador exadecimal
4-Construir un semáforo que este dos segundos en verde y dos en rojo
5-Construir un semáforo con los tres colores
PROBLEMAS DE LÓGICA
1-En una celda esta un prisionero.La celda tiene dos puertas, una de las puertas conduce a la libertad y la otra a la muerte.Cada puerta tiene un guardián , uno de los guardianes mientes siempre y el otro dice la verdad. Al prisionero se le permite hace una sola pregunta a uno de los guardianes, sin saber si es el teniente o no, o el que dice la verdad,¿Que pregunta debe hacer para elegir la puerta que conduce a la libertad?
SOLUCIÓN
Si tu fueras el otro, ¿Qué puerta me dirías que conduce a la libertad?
EXPLICACIÓN
Independientemente de a quien le preguntes , has conseguido , el tener información de dos proposiciones , una verdadera y otra falsa y por lo tanto el resultado ( y, and) por lo tanto el resultado es siempre falso.
2-Un lógico se encuentra con tres personas , una siempre miente, otra siempre dice la verdad y la tercera contesta aleatoriamente . El lógico tiene que hacer tres preguntas a quien quiera y tiene que adivinar quien es quien.