La lógica de los aparatos informáticos es una lógica binaria. Es semejante a la lógica de las proposiciones. Esto es debido a que el estado de un interruptor (transistor) puede ser 0, 1 (abierto, cerrado) al igual que las proposiciones pueden adoptar 2 valores: V, F (verdadero, 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 serie.
Vamos a usar un simulador de circuitos online para entender un poco el funcionamiento de esta lógica. Pincha aquí.
EJERCICIO 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 lógica AND es la siguiente:
Colocar dos entradas en paralelo en todas las posiciones posibles.
Construir un contador hexadecimal.
EJERCICIO 4:
Construir un semáforo que esté dos segundo en verde y dos segundos en rojo.
EJERCICIO 5:
Construir un semáforo con los tres colores.
PROBLEMAS DE LÓGICA:
1.- En una celda está 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 miente siempre y el otro dice la verdad. Al prisionero se le permite hacer una sola pregunta a uno de los guardianes, sin saber si es el que miente o no. ¿Qué pregunta debe hacer para elegir siempre la puerta que conduce a la libertad?
Solución: ¿Si tú fueras el otro qué puerta me dirías que conduce a la libertad?
Independientemente de a quién de preguntes, has conseguido el tener información de dos proposiciones, una verdadera y otra falsa, y por lo tanto el resultado (Y, AND) 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 quién quiera y tiene que adivinar quién es quién.
Este problema se puede complicar hasta el problema de lógica más difícil del mundo que se puede ver aquí.