Está en la página 1de 7

George Boole nacio el 2 de noviembre de 1815, Lincoln, Reino Unido.

Matemtico britnico, creador de un nuevo


sistema de clculo lgico que pstumamente sera llamado lgebra de Boole. Dicho sistema, en el que las
proposiciones se reducen a smbolos sobre los que puede operarse matemticamente, supuso un avance
fundamental en el desarrollo de la lgica y, ms de un siglo despus, hallara un formidable e insospechado campo
de aplicacin en la informtica y los microprocesadores, cuyo funcionamiento se basa en la lgica binaria de Boole.
Miembro de una familia venida a menos, George Boole tuvo que desestimar su propsito de
hacerse monje al verse obligado a mantener a sus padres. A los diecisis aos enseaba
matemticas en un colegio privado y ms tarde fund uno propio. A los veinticuatro aos,
tras la publicacin de su primer escrito, pudo ingresar en Cambridge, pero hubo de declinar
la oferta a causa de sus deberes respecto a su familia. En 1849 fue nombrado profesor de
matemticas del Queen's College, en Cork, donde permaneci el resto de su vida.
Prcticamente autodidacta, George Boole se interes sobre todo por el anlisis matemtico,
y muy pronto alcanz gran notoriedad gracias a sus brillantes aportaciones y artculos
referidos a este tema. En esa direccin debe destacarse su obra Anlisis matemtico de la
lgica (1847), que contiene sus primeras observaciones sobre los vnculos entre la lgica y las matemticas y que
muchos consideran como el acta de nacimiento de la lgica matemtica.
El gran descubrimiento de Boole fue aplicar una serie de smbolos a elementos y operaciones lgicas y hacer que
estos smbolos y operaciones -por eleccin cuidadosa- tuvieran la misma estructura lgica que el lgebra
convencional. En el lgebra de Boole, los smbolos podan manipularse segn reglas fijas que produciran resultados
lgicos.
En 1854 public Investigacin sobre las leyes del pensamiento, libro que trataba por completo de la lgica simblica
y su lgebra. La influencia de esta lgica matemtica sobre las matemticas modernas tendra una evolucin lenta:
si en un primer momento no pareca ms que un intrincado juego de palabras, ms adelante se vio que era de lo
ms til, y hasta completamente indispensable para llegar a la matemtica lgica. Boole se cas a la edad de
cuarenta aos y tuvo cinco hijas, a las que no lleg a ver adolescentes.
El lgebra de Boole
Esta forma de clculo desarrollada por George Boole es un sistema mediante el cual ciertos razonamientos lgicos
pueden expresarse en trminos matemticos. Los elementos del lgebra de Boole son un conjunto de proposiciones,

es decir, de hechos expresados mediante oraciones del lenguaje natural. Tales proposiciones tienen como propiedad
ser verdaderas o falsas. Al mismo tiempo, y prescindiendo de si son verdaderas o falsas, cada proposicin tiene lo
que se llama su proposicin complementaria, que no es sino la negacin de la misma: la negacin de la proposicin
P es la proposicin complementaria P'.
Las consecuencias de estas proposiciones pueden descubrirse realizando operaciones matemticas sobre los
smbolos que las representan. Las dos operaciones bsicas son la conjuncin y la disyuncin. Su sentido es fcil de
comprender si se piensa en las dos partculas gramaticales correspondientes, la conjuncin copulativa "y" (con idea
de adicin o suma) y la conjuncin disyuntiva "o" (con idea de exclusin). En el lenguaje natural, sin embargo, tales
conjunciones pueden tener otras valores, cosa que obviamente no ocurre en el lgebra de Boole.
Como ejemplo simple, consideremos las dos proposiciones siguientes: "hoy estar en casa" y "maana estar en
casa". Representamos la primera proposicin con el smbolo P y la segunda con el smbolo Q. Las dos proposiciones
pueden combinarse en una de dos formas: por un lado, P o Q (hoy estar en casa o maana estar en casa), y, por
otro P y Q (hoy estar en casa y maana estar en casa).
Las reglas del lgebra de Boole pueden utilizarse para determinar las consecuencias de las diversas combinaciones
de estas proposiciones en funcin de si las proposiciones son verdaderas (V) o falsas (F). As, si ambas proposiciones
son verdaderas, la combinacin P y Q es tambin verdadera. Es decir, si la proposicin "hoy estar en casa" (P) es
verdadera, y la proposicin "maana estar en casa" (Q) tambin es verdadera, entonces la combinacin "hoy estar
en casa y maana estar en casa" (P y Q) tambin debe ser verdadera.
Supongamos, en cambio, que P es verdadera y Q es falsa. Es decir, la proposicin "hoy estar en casa" (P) es
verdadera, pero la proposicin "maana estar en casa" (Q) es falsa. En tal caso, la combinacin "hoy estar en casa
y maana estar en casa" (P y Q) debe ser falsa. Como puede imaginarse, la mayora de las cuestiones que aborda
el lgebra de Boole son mucho ms arduas que este ejemplo simple. Con el paso del tiempo, los matemticos han
desarrollado complejas tcnicas para formalizar y calcular procesos lgicos muy complicados.
Dos elementos del lgebra de Boole la convierten en una forma matemtica muy importante para su aplicacin
prctica. En primer lugar, las proposiciones expresadas en el lenguaje diario (como "hoy estar en casa") pueden
convertirse en expresiones matemticas, como letras y nmeros. En segundo lugar, esos smbolos generalmente
tienen uno de dos valores: las proposiciones pueden ser afirmativas o negativas (complementarias); las operaciones
son conjuncin o disyuncin; y no slo las proposiciones, sino tambin el resultado de sus combinaciones (P, Q, P y

Q, P o Q), son verdaderas o falsas. Esto significa que pueden expresarse por medio de un sistema binario: verdadero
o falso; s o no; 0 1.

E
Ejercicio N11 F(X,Y,Z,T)=( Z + XYT + T ) (XYZ + XT + YZT )(

EJEMPLO

F(X,Y,Z,T)=( Z + XYT + T ) (XYZ + XT +

YZT )( XZ + Y + YZT )
( Z + XYT + T ) (XYZ + XT + YZT )( XZ + Y + YZT )
[ XYZT + XYZT + XTZ + YZT+YZT +][XZ + Y + YZT]
[ XYZ (T+T) + YZT +XTZ ] [ XZ + Y + YZT ]
[ XYZ + YZT + XTZ ] [ XZ + Y + YZT ]
XYZ + XTZY + XYZT

XYZ
XYZ

+ XZT (Y+ Y)
+ XZT Resultado simplificado

Mapa de karnaugh

00
01
11
10

00

01

11

Circuito electrico

10

1
1