Acontinuación una breve explicación sobre las Bases del Álgebra de Boole.
Historia:
En 1847 el matemático inglés George Boole definió un tipo de álgebra en la que sólo podían adoptar dosvalores,
verdadero o falso. Estos valores se designan por 0 y 1. Estos símbolos no representan números si no dos tipos de
estados diferentes dentro de un dispositivo, como puede ser encendido o apagado, abierto o cerrado etc.
Una variable lógica es una variable que sólo puede tener dos valores posibles de forma que un valor excluye
al otro, es decir que si tiene un valor el otro no puede ser. Por ejemplo, sí o no o también 0 o 1. Imaginemos
que A es una variable que almacena la respuesta a la pregunta ¿está encendida la bombilla? que sólo puede tener
dos respuestas sí o no. Si es sí no puede ser no, si es no, no puede ser sí. Normalmente la variables lógicas se
representan por 0 o 1 de forma numérica lo que conforma el sistema binario de numeración usado en sistemas
digitales (dentro de los digitales están los computacionales).
Combinaciones de variables lógicas en frases como: algo será verdadero cuando "A" sea verdadera o 1 y "B" sea
verdadera o falsa, nos lleva a afirmar que se crea una función lógica. Lo anterior se expresa booleanamente como
S = A·B.