Lógica binaria

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 un interruptor (transistor) puede ser 0,1 (abierto, cerrado) al igual que las proposiciones puedes adoptar dos valores V,F.
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: http://www.neuroproductions.be/logic-lab/

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: 

Ejercicio 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:

Ejercicio 3: construir un contador hexadecimal.

Ejercicio 4: construir un semáforo que este dos segundos en verde y dos en rojo.

Ejercicio 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 otra a la muerte. Casa 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 que es el que miente o el que dice la verdad. ¿Qué pregunta debe hacer para elegir siempre la pregunta que conduce a la libertad?

Solución: ¿Si tu fueras el otro que puerta me dirías que conduce a la  libertad?

Explicación: independientemente de a cual le preguntes has conseguido el tener información de dos proposiciones, una verdadera, y otra falsa y por lo tanto el resultado (Y, AND) va a ser siempre falso.

2- Un lógico se encuentra con tres personas, una siempre miente, otra siempre dice la verdad y la tercera contesta aleatoria mente. El lógico tiene que hacer tres preguntas a quien quiera y tiene que adivinar quien es quien. Este problema se puede complicar hasta el problema de lógica más difícil del mundo.