Lógica Booleana

George Boole (1810 - 1864) definió lo que actualmente se conoce como la Lógica Booleana, en la que sólo se trabaja con dos valores: Falso y Verdadero (1 y 0).

La lógica booleana es la teoría en la que se basan los ordenadores para manipular los datos y consiste en tres operadores lógicos: O (or) Y (and) NO (not)

Cada uno de estos operadores se puede describir visualmente usando conjuntos, como se muestra a continuación

INTERSECCIÓN

UNIÓN

NEGACIÓN

O bien, cada operador se define a través de la tabla de la verdad que genera, a partir de los dos posibles valores boleanos 1 (verdadero) o 0 (falso). A continuación veremos los distintos operadores, con sus correspondientes tablas de verdad.

AND

      P   Q         R = P AND Q   
      0   0             0
      0   1             0
      1   0             0
      1   1             1 	

OR

      P   Q         R = P OR Q   
      0   0             0
      0   1             1
      1   0             1
      1   1             1 	

NOT

      P          Q = NOT P   
      1             0
      0             1