lgebra de Boole (tambin llamada lgebra booleana(/_\) en informtica y matemtica, es

una estructura algebraica que esquematiza las operaciones lgicas Y, O, NO y SI (AND, OR,
NOT, IF), as como el conjunto de operaciones unin, interseccin y complemento.

Historia[editar]
Se denomina as en honor a George Boole (2 de noviembre de 1815 a 8 de
diciembre de 1864), matemtico ingls autodidacta, que fue el primero en definirla como parte
de un sistema lgico, inicialmente en un pequeo folleto: The Mathematical Analysis of
Logic,1 publicado en 1847, en respuesta a una controversia en curso entre Augustus De
Morgan y sir William Rowan Hamilton. El lgebra de Boole fue un intento de utilizar
las tcnicas algebraicas para tratar expresiones de lalgica proposicional. Ms tarde fue
extendido como un libro ms importante: An Investigation of the Laws of Thought on Which
are Founded the Mathematical Theories of Logic and Probabilities (tambin conocido como An
Investigation of the Laws of Thought2 o simplemente The Laws of Thought3 ), publicado en
1854.
En la actualidad, el lgebra de Boole se aplica de forma generalizada en el mbito del diseo
electrnico. Claude Shannon fue el primero en aplicarla en el diseo de circuitos de
conmutacin elctrica biestables, en 1948. Esta lgica se puede aplicar a dos campos:

Al anlisis, porque es una forma concreta de describir como funcionan los circuitos.

Al diseo, ya que teniendo una funcin aplicamos dicha lgebra, para poder
desarrollar una implementacin de la funcin.

Definicin[editar]
Dado un conjunto:

formado cuando menos por los elementos:

en el que se ha

definido:

Una operacin unaria interna, que llamaremos complemento:

En esta operacin definimos una aplicacin que, a cada elemento a de B, le asigna

un b de B.

Para todo elemento a en B, se cumple que existe un nico b en B, tal que b es el

complemento de a.

La operacin binaria interna, que llamaremos suma:

por la que definimos una aplicacin que, a cada par ordenado (a, b) de B por B, le
asigna un c de B.

Para todo par ordenado (a, b) en B por B, se cumple que existe un

nico c en B, tal que c es el resultado de sumar a con b.

La operacin binaria interna, que llamaremos producto:

Con lo que definimos una aplicacin que, a cada par ordenado (a, b)
de B por B, le asigna un c de B.

Para todo par ordenado (a, b) en B por B, se cumple que existe un

nico c en B, tal que c es el resultado del producto a y b.
Dada la definicin del lgebra de Boole como una estructura
algebraica genrica, segn el caso concreto de que se trate, la
simbologa y los nombres de las operaciones pueden variar.

Axiomas necesarios[editar]
Diremos que este conjunto y las operaciones as
definidas:

son un lgebra de boole, si cumple las

siguientes axiomas:

1a: La ley asociativa de la suma:

1b: La ley asociativa del producto:

2a: Existencia del elemento neutro para la suma:

2b: Existencia del elemento neutro para el producto:

3a: La ley conmutativa de la suma:

3b: La ley conmutativa del producto:

4a: Ley distributiva de la suma respecto

al producto:

4b: Ley distributiva del producto

respecto a la suma:

5a: Existe elemento

complemento para la suma:

5b: Existe elemento

complemento para el
producto:

Teoremas fundamentales[editar]
Partiendo de los cinco axiomas anteriores, se pueden deducir y demostrar los
siguientes teoremas fundamentales:

6a: Ley de idempotencia para la suma:

6b: Ley de idempotencia para el producto:

7a: Ley de absorcin para la suma:

7b: Ley de absorcin para el producto:

8a: Ley de identidad para la suma:

8b: Ley de identidad para el producto:

9: Ley de involucin:

10: Ley del complemento:

11: Leyes de De Morgan:

Orden en el lgebra de Boole[editar]

Sea:

un lgebra de Boole, sean a, b dos elementos del conjunto, podremos

decir entonces que a antecede a b y lo denotamos:

si se cumple alguna de las siguientes condiciones:

1.
2.
3.
4.
Estas cuatro condiciones se consideran equivalentes y el cumplimiento de una de ellas implica
necesariamente el cumplimiento de las dems. Definiendo unconjunto parcialmente ordenado.
Si se cumple que:

Para los valoras a, b de

, que cumples qua a antecede a b, o que b antedede a a, se dice

que a y b son comparables.

Si se cumple que:

Para los valoras a, b de

, que cumples qua a no antecede a b, y que b no antedede a a, se

dice que a y b son no comparables.

Principio de dualidad[editar]
El concepto de dualidad permite formalizar este hecho: a toda relacin o ley lgica le
corresponder su dual, formada mediante el intercambio de los operadoressuma con los

Adicin

Producto

1
2
3
4
5
6
7
8
9

de producto, y de los

con los

Otras formas de notacin del lgebra de Boole[editar]

En Lgica binaria se suele emplear la notacin

, comn en la tecnologa

digital, siendo la forma ms usual y la ms cmoda de representar.

Por ejemplo las leyes de De Morgan se representan as:

Cuando el lgebra de Boole se emplea en electrnica, suele emplearse la misma

denominacin que para las puerta lgica AND (Y), OR (O) y NOT (NO), amplindose en
ocasiones con X-OR (O exclusiva) y su negadas NAND (NO Y), NOR (NO O) y X-NOR
(equivalencia). las variables pueden representarse con letras maysculas o minsculas, y
pueden tomar los valores {0, 1}
Empleando esta notacin las leyes de De Morgan se representan:

En su aplicacin a la lgica se emplea la notacin

y las variables pueden tomar los

valores {F, V}, falso o verdadero, equivalentes a {0, 1}

Con la notacin lgica las leyes de De Morgan seran as:

En el formato de Teora de conjuntos el lgebra de Boole toma el aspecto:

En esta notacin las leyes de De Morgan seran as:

Otra forma en la lgebra de conjuntos del lgebra de Boole, las leyes de De Morgan seran
as:

Desde el punto de vista prctico existe una forma simplificada de representar expresiones
booleanas. Se emplean apstrofos (') para indicar la negacin, la operacin suma (+) se
representa de la forma normal en lgebra, y para el producto no se emplea ningn signo, las
variables se representan, normalmente con una letra mayscula, la sucesin de dos variables
indica el producto entre ellas, no una variable nombrada con dos letras.
La representacin de las leyes de De Morgan con este sistema quedara as, con letra
minsculas para las variables:

y as, empleando letras maysculas para representar las variables:

Todas estas formas de representacin son correctas, se utilizan de hecho, y pueden verse al
consultar bibliografa. La utilizacin de una u otra notacin no modifica el lgebra de Boole,
solo su aspecto, y depende de la rama de las matemticas o la tecnologa en la que se est
utilizando para emplear una u otra notacin.

Estructuras algebraicas que son lgebra de Boole[editar]

Hay numerosos casos de distintas anlisis de estructuras algebraicas que corresponden al
lgebra de Boole, aunque en apariencia son muy diferentes, su estructura es la misma, vamos
a ver algunos de ellos, con el propsito de hacer palpable las similitudes en la estructura y los
distintos mbitos de aplicacin y distinta terminologa para referirse a las operaciones o a las
variables, vemoslos.

Lgica binaria[editar]
Artculo principal: Lgica binaria
Artculo principal: Sistema digital
Artculo principal: Sistema binario
Artculo principal: Tabla de verdad
Artculo principal: Sistema combinacional
Artculo principal: Formas cannicas (lgebra de Boole)
Artculo principal: Circuito de conmutacin

Una serie de temas, aparentemente tan distintos, tiene dos cosas en comn, la lgica binaria
basada en los ceros y los unos y el lgebra de Boole, posiblemente la forma ms conocida de
este lgebra, que en ocasiones da lugar a la interpretacin que el lgebra de Boole es la
lgica binaria exclusivamente, as el conjunto

en este caso est formado por dos elementos

{0,1}, o {F, V}, o {no, s}, dos valores contrapuestos, que son las dos posibles alternativas entre
dos situaciones posibles, aqu, sin perdida de la generalidad, tomaremos el conjunto: {0,1}
como ya hemos dicho:

Donde:

La operacin unaria interna, que llamaremos negacin:

La operacin unaria interna negacin, definimos una aplicacin que a cada

elemento a de {0,1}, le asigna un b de {0,1}.

Para todo elemento a en {0.1}, se cumple que existe un nico b en {0,1}, tal que b es la
negacin de a. Como se ve en la tabla.

La operacin binaria interna, que llamaremos suma:

Con la operacin suma definimos una aplicacin que, a cada par ordenado (a, b) de B por B,
le asigna un c de B.

Para todo par ordenado (a,b) en B por B, se cumple que existe un nico c en B, tal que c es el
resultado de sumar a con b.

la operacin binaria interna, que llamaremos producto:

Con la operacin producto definimos una aplicacin que, a cada par ordenado (a, b)
de B por B, le asigna un c de B.

Para todo par ordenado (a, b) en B por B, se cumple que existe un nico c en B, tal que c es
el resultado del producto a y b. Como se puede ver en la tabla.
Axiomas[editar]
As

es un lgebra de boole al cumplir los siguientes axiomas:

1a: La ley asociativa de la suma:

1b: La ley asociativa del producto:

2a: Existencia del elemento neutro para la suma:

2b: Existencia del elemento neutro para el producto:

3a: La ley conmutativa de la suma:

3b: La ley conmutativa del producto:

4a: Ley distributiva de la suma respecto al producto:

4b: Ley distributiva del producto respecto a la suma:

5a: Existe elemento complementario para la suma:

5b: Existe elemento complementario para el producto:

Luego

es lgebra de boole.

Teoremas fundamentales[editar]
Partiendo de estos axiomas se puede demostrar los siguientes teoremas:

6a: Ley de idempotencia para la suma:

6b: Ley de idempotencia para el producto:

7a: Ley de absorcin para la suma:

7b: Ley de absorcin para el producto:

8a: Ley de identidad para la suma:

8b: Ley de identidad para el producto:

9: Ley de involucin:

10: Ley del complemento:

11: Leyes de De Morgan:

Orden en el lgebra de Boole[editar]

Partiendo de

lgebra de Boole, dadas dos variables binarias: a, b, que

cumplen alguna de estas condiciones:

entonces a es menor o igual que b. Dados los valores binarios 0 y 1, podemos ver:
1.
2.
3.
4.
Estas cuatro condiciones son equivalentes y el cumplimiento de una de ellas supone el
cumplimiento de las otras, en este caso es sencillo comprobarlas todas. Luego podemos
decir que 0 antecede a 1 y lo denotamos:

Si adems sabemos que 0 y 1 son valores distintos:

El valor binario 0 es menor que el valor binario 1.

lgebra de conjuntos[editar]
Artculo principal: lgebra de conjuntos
Artculo principal: Teora de conjuntos
Artculo principal: Conjunto potencia
Artculo principal: Diagrama de Venn

Partiendo de un conjunto U, cualesquiera, llamamos conjunto potencia de U, al conjunto de

todos los subconjuntos posibles de U y lo denotamos

A ttulo de ejemplo podemos considerar:

Que tiene como conjunto potencia:

Donde podemos definir:

Y como es obvio:

La operacin unaria interna, que llamaremos complemento:

En esta operacin definimos una aplicacin que, a cada elemento A de P(U), le asigna
un B de P(U).

Para todo elemento A en P(U), se cumple que existe un nico B en P(U), tal que B es el
complemento A.
Definiendo el complemento de un conjunto as:

B es el complemento de A, si se cumple que para todo x que pertenezca a B, x pertenece

a U y x no pertenece a A.

La primera operacin binaria la llamaremos unin:

Con esta operacin binaria interna definimos una aplicacin que, a cada par ordenado (A, B)
de P(U) por P(U), le asigna un C deP(U).

Para todo par ordenado (A,B) en P(U) por P(U), se cumple que existe un nico C en P(U), tal
que C es la unin A y B.
Definiendo la unin de dos conjuntos como:

El conjunto C es la unin de A y B, si para todo elemento x de C, se cumple que x es

elemento de A o de B

La segunda operacin binaria la llamaremos interseccin:

Con lo que definimos una aplicacin que, a cada par ordenado (A, B) de P(U) por P(U), le
asigna un C de P(U).

Para todo par ordenado (A,B) en P(U) por P(U), se cumple que existe un nico C en P(U), tal
que C es la interseccin A y B.

Definiendo la interseccin de dos conjuntos como:

El conjunto C es la interseccin de A y B, si para todo elemento x de C, se cumple que x es

elemento de A y de B.
Axiomas[editar]
Con lo que podemos plantear:

, para un U conocido, como lgebra de

boole si cumple las siguientes axiomas:

1a: La ley asociativa de la unin:

1b: La ley asociativa de la interseccin:

2a: Existencia del elemento neutro para la unin:

2b: Existencia del elemento neutro para la interseccin:

3a: La ley conmutativa de la unin:

3b: La ley conmutativa de la interseccin:

4a: Ley distributiva de la unin respecto de la interseccin:

4b: Ley distributiva de la interseccin respecto a la unin:

5a: Existe elemento complementario para la unin:

5b: Existe elemento complementario para la interseccin:

Concluyendo que

es un lgebra de boole.

Teoremas fundamentales[editar]
Partiendo de estos axiomas se puede demostrar los siguientes teoremas:
6a: Ley de idempotencia para la unin:

6b: Ley de idempotencia para la interseccin:

7a: Ley de absorcin para la unin:

7b: Ley de absorcin para la interseccin:

8a: Ley de identidad para la unin:

8b: Ley de identidad para la interseccin:

9: Ley de involucin:

10: Ley del complemento:

11: Leyes de De Morgan:

Orden en el lgebra de Boole[editar]

Dado

lgebra de Boole, podemos comprobar:

1.
2.
3.
4.
Para los conjuntos A y B que cumplen estas propiedades, podemos decir que A antecede a B,
que en el caso de conjuntos se dira A es igual o un subconjunto deB y lo denotamos:

Entendindose que A es igual o un subconjunto de B cuando:

El conjunto A es igual o un subconjunto de B, si para todo elemento x que pertenezca

a A, x pertenece a B.
Tambin se puede comprobar:

Para todo A de las partes de U, si se cumple que: la unin de A y U es U, la interseccin

de A y U es A, la unin del complemento de A y U es U, la interseccin deA y el complemento
de U es el conjunto vaco, entonces A es igual o un subconjunto de U.
Esta conclusin forma parte de la definicin de las partes de U, pero se puede llegar a ella por
el cumplimiento de una de las cuatro condiciones expuestas, como ya se mencion, las cuatro
condiciones son equivalentes y el cumplimiento de una de ellas implica el cumplimiento de las
dems.
Aplicando el mismo razonamiento podemos ver:

Siendo B un conjunto de las partes de U, llegando a la conclusin de que el conjunto vaco es

igual o un subconjunto de B.

Lgica proposicional o de predicados[editar]

Artculo principal: Lgica proposicional
Artculo principal: Proposicin
Artculo principal: Clculo lgico
Artculo principal: Lgica matemtica
Artculo principal: Lgica de primer orden

Una proposicin, o un predicado, es un valor de verdad que puede expresarse de forma verbal
o con expresiones o relaciones matemtica o lgica, por ejemplo:

'Hoy es mircoles.'

'El edificio es alto.'

'El perro est ladrando.'

Son proposiciones expresadas verbalmente, y tambin lo son:

'x = 3'

'mcd(a, b) = 2n + 1'

Dado que cada una de ellas puede ser verdadera o falsa, las proposiciones suelen designarse
con letra:

p= 'Llueve'

q= 'Llueve mucho'

r= 'Llevo paraguas'

s= 'La calle est mojada'

Las afirmaciones verdadero y falso tambin son proposiciones, designaremos con:

al

conjunto de proposiciones, a fin de ver que la lgica de proposiciones es un lgebra de Boole,

adems consideraremos:

La operacin unaria interna, que llamaremos negacin:

La operacin unaria interna negacin, definimos una aplicacin que a cada proposicin a, le
asigna otra poposicin b.

Para toda proposicin a, se cumple que existe una nica proposicin b, tal que b es la
negacin de a.

La primera operacin binaria interna, que

llamaremos disyuncin:

Con la operacin disyuncin, definimos una aplicacin que a cada par ordenado (a, b)
de B por B, le asigna un c de B.

Para todo par ordenado (a,b) en B por B, se cumple que existe un nico c en B, tal que c es el
resultado de la disyuncin de a y b.

La segunda operacin binaria interna, que llamaremos conjuncin:

Con la operacin conjuncin definimos una aplicacin que, a cada par ordenado (a, b)
de B por B, le asigna un c de B.

Para todo par ordenado (a, b) en B por B, se cumple que existe un nico c en B, tal que c es
el resultado de la conjuncin de a y b.
Axiomas[editar]

As

es un lgebra de boole al cumple los siguientes axiomas:

1a: La ley asociativa de la disyuncin:

1b: La ley asociativa de la conjuncin:

2a: Existencia del elemento neutro para la disyuncin:

2b: Existencia del elemento neutro para la conjuncin:

3a: La ley conmutativa de la disyuncin:

3b: La ley conmutativa de la conjuncin:

4a: Ley distributiva de la disyuncin respecto a la conjuncin:

4b: Ley distributiva de la conjuncin respecto al disyuncin:

5a: Existe elemento complementario para la disyuncin:

5b: Existe elemento complementario para la conjuncin:

Luego

es lgebra de boole.

Teoremas fundamentales[editar]
Partiendo de estos axiomas se puede demostrar los siguientes teoremas:
6a: Ley de idempotencia para la disyuncin:

6b: Ley de idempotencia para la conjuncin:

7a: Ley de absorcin para la disyuncin:

7b: Ley de absorcin para la conjuncin:

8a: Ley de identidad para la disyuncin:

8b: Ley de identidad para la conjuncin:

9: Ley de involucin:

10: Ley de complemento:

11: Leyes de De Morgan:

Orden en el lgebra de Boole[editar]

Sabiendo que

es lgebra de Boole, se puede comprobar que:

Para las proposiciones: a, b que cumplen alguna de estas condiciones se puede afirmar
que a antecede a b. Que en el caso de proposiciones o predicados se dice que a es tanto o
ms fuerte que b, o que b es ms dbil que a, y lo representamos:

As por ejemplo dadas las proposiciones:

a= Llueve mucho
b= Llueve
podemos ver:
Si: llueve mucho o llueve entonces llueve.
Si se da la circunstancia de cualesquiera de dos, que llueve mucho o llueve,
claramente llueve en cualquier caso.
Si: llueve mucho y llueve entonces llueve mucho.
Si afirmamos que llueve mucho y que llueve, y se cumplen las dos circunstancias entonces es
que llueve mucho.

Si: no llueve mucho o llueve es verdadero.

No llueve mucho indica que puede que llueva poco o que no llueva, si no llueve
mucho o llueve abarca todas las posibilidades, desde tiempo seco a muy lluvioso, luego la
afirmacin es verdadera en todo caso.

Si: llueve mucho y no llueve es falso.

Si afirmamos que llueve mucho y simultneamente que no llueve, la afirmacin es
claramente falsa.
La afirmacin ms restrictiva es la ms fuerte y la menos restrictiva la ms dbil, en este caso:

La proposicin llueve mucho es tanto o ms fuerte que llueve, la afirmacin llueve mucho es
un caso particular o el mismo caso de llueve.

Operaciones en lgebra de Boole[editar]

Artculo principal: Conectiva lgica

Artculo principal: Operacin matemtica

El lgebra de Boole se basa en un conjunto en el que se han definidos tres operaciones

internas: una unaria y dos binarias, como ya hemos visto, siendo cmoda esta definicin.
Estrictamente hablando solo son necesarias dos, la unaria y una de las binarias, as, por
ejemplo, en la lgica binaria con la negacin y el producto podemos definir la suma.
Con la ley de De Morgan:

Esta expresin resulta ms compleja, pero partiendo de la negacin y el producto binarios

define la suma binaria.
En la imagen de la derecha podemos ver un circuito en paralelo de dos pulsadores a y b, que
corresponde a la suma binaria de a y b, y su equivalente en un circuito en serie de a y b, los
dos dan como resultado la misma tabla de verdad, y por tanto son equivalentes, lo artificioso
el circuito serie para obtener el mismo resultado que en un circuito paralelo deja ver lo
conveniente de considerar esa funcin, la posibilidad de obtener la suma de dos variables
binarias mediante la negacin y el producto sealan que, de forma primaria, el lgebra de
Boole se basa solo en dos operaciones, y que cualquier expresin en la que intervenga la

suma puede transformarse en otra equivalente en la que solo intervienen la negacin y el

producto.
En el caso de la teora de conjuntos con el complemento y la interseccin podemos definir la
unin:

De una forma similar al lgebra binaria, o cualquier otra lgebra de Boole, La definicin del
lgebra con solo dos operaciones complica las expresiones, pero permite determinar ciertas
relaciones muy tiles, as como otras operaciones distintas.
En el lgebra de Boole definido en un conjunto
parte de elemento de

las operaciones son internas, dado que

, para obtener un resultado en

Sin perdida de la generalidad, y dado los distintos formas que puede adoptar el lgebra de
Boole consideraremos la lgica proposicional con las proposiciones: a,c, b, etc. Que pueden
tomar los valores verdadero: V o falso: F. Y las conectivas lgicas sobre esas proposiciones
que dan como resultado otras proposiciones lgicas, cada proposicin: a, b, c, etc. Define un
conjunto A, B, C, etc. Que podemos representar de forma grfica en un diagrama de Venn.

Operaciones nularias[editar]

Una Operacin nularia es la que devuelve un valor sin necesidad de argumentos, podemos
ver Tautologa y Contradiccin
La tautologa presenta el valor verdadero sin necesidad de argumentos o independientemente
de las variables sobre la que se calcule. En teora de conjuntos corresponde al conjunto
universal.
En lgica proposicional corresponde al valor: verdadero:

En un circuito de conmutacin corresponde a una conexin fija o puente cerrado.

La contradiccin, por el contrario, presenta siempre el valor falso, sin necesitar argumentos o
independientemente de los argumentos presentados. En teora de conjuntos corresponde al
conjunto vaco.
En lgica proposicional corresponde al valor: falso:

En un circuito de conmutacin, corresponde a la no conexin o puente abierto.

Operaciones unarias[editar]
Una Operacin unaria es la que solo necesita un argumento para presentar un resultado,
podemos ver dos operaciones unarias: identidad y negacin.

La operacin identidad de una proposicin presenta el valor de la variacin.

Esta operacin se puede hacer con el dispositivo electrnico Buffer amplificador.

En un circuito de conmutacin corresponde a un interruptor normalmente

abierto: Interruptor NA.

La operacin negacin lgica de una variable presenta el valor contrario del argumento, o los
casos contrarios de los recogidos en el argumento.

Esta operacin se hace con la Puerta NOT.

En un circuito de conmutacin corresponde a un interruptor normalmente

cerrado: Interruptor NC.

Operaciones binarias[editar]
La operacin binaria es la que necesita dos argumentos, de hecho es la forma ms

generalizada de operacin, normalmente cuando nos referimos a operaciones, nos

referimos a operaciones binarias, en el lgebra de Boole podemos ver las siguientes
operaciones binarias:
La conjuncin lgica presenta resultado verdadero solo cuando sus dos argumentos son
verdaderos.

Normalmente representado:

La conjuncin lgica de proposiciones es equivalente a la interseccin de

conjuntos en teora de conjuntos, o a la puerta lgica AND:

en circuitos de conmutacin seria un circuito en serie de interruptores.

La Negacin alternativa presenta resultado verdadero en todos los casos excepto cuando sus
dos argumentos son verdaderos. Esta operacin es la negacin de la conjuncin.

La conjuncin lgica de proposiciones es equivalente a la puerta

lgica NAND.

La disyunci
n
lgica acept
a dos

argumentos presentando como resultado verdadero si uno u otro de los argumentos es

verdadero.
La disyuncin puede expresarse:

La operacin disyuncin lgica de proposiciones, es equivalente a la unin de conjuntos en

teora de conjuntos, a la puerta lgica OR:

y al circuito en paralelo en circuitos de conmutacin

La Negacin conjunta presenta resultado verdadero solo cuando sus dos argumentos son
falsos. Esta operacin es la negacin de la disyuncin.

La negacin conjunta de proposiciones es equivalente a la puerta lgica NOR.

La cond cional material presenta resultado falso si el primer argumento es verdadero y el

segundo falso, en el resto de los casos presenta resultado verdadero, esta operacin no es
conmutativa y puede expresarse:

A esta operacin tambin se llama implicacin: a implica b:

si a es verdadero b es verdadero.
si a es falso y b es verdadero, la implicacin es falsa.
si a es falsa, la implicacin es vedadera independientemente el valor de b.
A esta operacin le corresponde un conjunto de puertas lgicas complejas:

La negacin condicional material presenta resultado verdadero si el primer argumento es

verdadero y el segundo falso, en el resto de los casos presenta resultado falso, esta operacin
no es conmutativa y es la negacin de la condicional material, tambin suele llamarse
diferencia de a y b, puede expresarse:

A esta operacin le corresponde un conjunto de puertas lgicas complejas:

La Condicional material inversa es la operacin que presenta resultado falso si el primer

argumento es falso y el segundo verdadero, en el resto de los casos presenta resultado
verdadero, esta operacin no es conmutativa y es el resultado de permutar a y b en la
condicional material, puede expresarse:

A esta operacin le corresponde un conjunto de puertas lgicas complejas:

La Negacin condicional material inverso presenta resultado verdadero si el primer argumento

es falso y el segundo verdadero, en el resto de los casos presenta resultado falso, esta
operacin no es conmutativa y es la negacin de la condicional inverso, tambin suele
llamarse diferencia: b - a, puede expresarse:

A esta operacin le corresponde un conjunto de puertas lgicas complejas:

La bi
cond
icion
al pr
esen
ta

resultado verdadero si los dos argumentos son iguales, esto es: si a y b son verdaderos o
si a y b son falsos.

Le corresponde la Puerta XNOR.

La disyuncin exclusiva presenta resultado verdadero si los dos argumentos son dispares,
esto es si de los dos argumentos uno es verdadero y otro falso, es la negacin de la
bicondicional:

Esta operacin tambin se llama o exclusivo, uno o el otro pero no los dos, le corresponde la
puerta lgica:XOR.

Frmula de Boole bien formada[editar]

Artculo principal: Gramtica formal
Artculo principal: Lenguaje formal
Artculo principal: Semntica formal
Artculo principal: Frmula bien formada

Partiendo de un conjunto:

y donde a, b, c, d, ... son variables o constantes que pueden

tomar valores del conjunto

, donde se han definido las siguientes operaciones internas:

podemos decir que son frmulas bien formadas: fbf:

1: Una variable o constante:

2: La negacin de una variable o constante:

3: La operacin binaria entre dos variables o constantes:

4: El resultado de sustituir en una frmula bien formada, una variable o constante por una
frmula bien formada:

La aplicacin repetida de estos criterios dar siempre una frmula bien formada.
ejemplo:

Se podrn emplear tantos parntesis como sean necesarios para evitar ambigedades,
evitando siempre la utilizacin superflua de parntesis.

Jerarqua de los operadores[editar]

Al evaluar una expresin booleana, deben realizarse las operaciones de acuerdo con su nivel
jerrquico, realizando primero la de mayor jerarqua. Si existen parntesis, deben resolverse
primero los ms internos y trabajar hacia fuera. En ausencia de parntesis, la jerarqua de las
operaciones es, de mayor a menor, la siguiente:
1.
2.
3.
Si se tienen varias operaciones con la misma jerarqua, stas pueden ser evaluadas de
derecha a izquierda o de izquierda a derecha, el resultado ser el mismo.
Como ejemplo, considrese la evaluacin de las siguientes expresiones booleanas:

George Boole [bul] (2 de noviembre de 1815 - 8 de diciembre de 1864) fue

un matemtico y lgico britnico.
Como inventor del lgebra de Boole, que marca los fundamentos de la aritmtica
computacional moderna, Boole es considerado como uno de los fundadores del campo de
las Ciencias de la Computacin. En 1854 public "An Investigation of the Laws of Thought" en
el que desarrollaba un sistema de reglas que le permitan expresar, manipular y simplificar
problemas lgicos y filosficos cuyos argumentos admiten dos estados (verdadero o falso) por
procedimientos matemticos. Se podra decir que es el padre de las operaciones lgicas y
gracias a su lgebra hoy en da es posible manipular operaciones lgicas.

Biografa[editar]

El padre de George Boole, John Boole (1779-1848), fue un comerciante de escasos recursos.
Estuvo especialmente interesado en las matemticas y la lgica. John dio a su hijo sus
primeras lecciones, pero el extraordinario talento matemtico de George Boole no se
manifest durante la juventud, ya que al principio mostraba mayor inters por las
humanidades. En su adolescencia haba aprendido latn, griego, alemn, italiano y francs.
Con estas lenguas fue capaz de leer una gran variedad de teologa cristiana. La combinacin
de sus intereses en las matemticas y la teologa le llev a comparar la trinidad cristiana del
Padre, Hijo y Espritu Santo con las tres dimensiones del espacio, y se sinti atrado por el
concepto hebreo de Dios como una unidad absoluta. Boole consider la conversin
al judasmo, pero al final opt por el unitarismo.
No fue hasta su establecimiento exitoso en una escuela en Lincoln, su traslado a Waddington,
y ms tarde su nombramiento en 1849 como el primer profesor de matemticas del
entonces Queen's College, Cork en Irlanda (en la actualidad la Universidad de Cork , en la
biblioteca, lectura de metro complejo teatral y el Centro de Boole para la Investigacin en
Informtica se nombran en su honor) que sus habilidades matemticas se realizaron
plenamente. En 1855 se cas con Mary Everest (sobrina de George Everest), que ms tarde,
como la seora de Boole, escribi varios trabajos educativos tiles en los inicios de su marido.
A pesar de que Boole public poco, excepto su lgica y obras matemticas, su conocimiento
de la literatura en general era amplia y profunda. Dante fue su poeta favorito, y que prefera el
Paraso al Infierno. La metafsica de Aristteles, la tica de Spinoza, las obras filosficas
de Cicern y muchas obras afines fueron tambin temas frecuentes de estudio. Sus
reflexiones sobre cuestiones filosficas y religiosas de carcter cientfico estn contenidas en
cuatro direcciones en el genio de Sir Isaac Newton, el uso correcto de ocio, Las demandas de
la Ciencia y el aspecto social de la cultura intelectual, que se entrega y se imprimen en
diferentes momentos.
El carcter personal de Boole inspir a todos sus amigos con la estima ms profunda. l se
caracteriz por la modestia, y entreg su vida a la bsqueda de la mente individual de la
verdad. A pesar de que recibi una medalla de la Royal Society por sus memorias de 1844, y
el doctor honoris causa en Derecho de laUniversidad de Dubln, no solicit ni recibi los
beneficios ordinarios a los que sus descubrimientos le dara derecho.
El 8 de diciembre de 1864, en el pleno vigor de sus facultades intelectuales, muri de un
ataque de fiebre, el cual termina en un derrame pleural, una acumulacin de lquido alrededor
de los pulmones. Est enterrado en el cementerio de Irlanda, en la Iglesia de San Miguel,

Church Road, Blackrock (un suburbio de la ciudad de Cork). Hay una placa conmemorativa en
la iglesia contigua.

Trabajo[editar]
Para el pblico ms amplio Boole era conocido slo como el autor de numerosos trabajos
abstrusos en temas de matemticas, y de distintas publicaciones que se han convertido en
obras. Su primer trabajo publicado fue "Investigaciones en la teora de las transformaciones de
anlisis, con una aplicacin especial a la reduccin de la ecuacin general de segundo orden."
impresa en el Diario Matemticas de Cambridge en febrero de 1840 (Volumen 2, no. 8, pp 6473), esta llev a una amistad entre Boole y DF Gregory, el editor de la revista, que dur hasta
la muerte prematura de este ltimo en 1844.
Una larga lista de las memorias y documentos de Boole, tanto en temas de lgica y
matemticas, se encuentran en el Catlogo de las Memorias de la Ciencia publicada por
la Royal Society, y en el volumen suplementario de Ecuaciones Diferenciales, editado
por Isaac Todhunter.
Al Diario Cambridge y sus sucesores, la Dublin y Cambridge Diario de Matemticas, Boole
contribuy con veintids artculos en total. En la cuarta y la tercera serie de la revista de
filosofa se encuentran documentos de diecisis aos. La Royal Society tiene impresas seis
memorias importantes en la transicin filosfica, y las memorias de algunos otros se
encuentran en las Transacciones de la Royal Society de Edimburgo y de la Real Academia de
Irlanda, en el Boletn de l'Academia de San Petersburgo- para 1862 (bajo el nombre de G
Boldt, vol. iv. pp. 198-215), y en el Diario de Crelle. Tambin se incluye un documento sobre la
base matemtica de la lgica, publicado en el Magazine de mecnica en 1848.
Las obras de Boole figuran de manera dispersa en cincuenta artculos y publicaciones
separadas unos pocos. Slo dos tratados sistemticos sobre temas matemticos fueron
completados por Boole durante su vida. El conocido Tratado sobre Ecuaciones Diferenciales
apareci en 1859, y fue seguido, al ao siguiente, por un Tratado sobre el Clculo de las
Diferencias Finitas, diseado para servir como una secuela de la obra anterior. Estos tratados
son valiosas contribuciones a las ramas importantes de la matemtica que se trate. Hasta
cierto punto, estas obras representan los ms importantes descubrimientos de su autor. En los
captulos decimosexto y decimosptimo de la Ecuaciones Diferenciales encontramos, por
ejemplo, una cuenta del mtodo simblico general, y el hbil empleo audaz de lo que llev al
jefe de los descubrimientos de Boole, y de un mtodo general de anlisis, descrito
originalmente en su famosa memoria impresa en el Philosophical Transactionsde 1844. Boole
fue uno de los ms eminentes de aquellos que perciben que los smbolos de la operacin

podran ser separados de los de cantidad y tratados como objetos distintos del clculo.Su
caracterstica principal fue la confianza perfecta en cualquier resultado obtenido por el
tratamiento de los smbolos de conformidad con sus leyes primarias y condiciones, y una
habilidad casi inigualable y el poder en la localizacin de estos resultados.
Durante los ltimos aos de su vida Boole se dedicaba constantemente a la ampliacin de sus
investigaciones con el objeto de producir una segunda edicin de sus ecuaciones diferenciales
mucho ms completa que la primera edicin, y parte de sus ltimas vacaciones las gast en
las bibliotecas de la Royal Society y elMuseo Britnico, pero esta nueva edicin nunca se
complet. Incluso los manuscritos dejados a su muerte fueron tan incompletos que Isaac
Todhunter, en cuyas manos se puso, le fue imposible para el uso en la publicacin de una
segunda edicin del tratado original, y los imprimi, en 1865, en un volumen suplementario.
Con la excepcin de Augustus De Morgan, Boole fue probablemente el primer matemtico
Ingls desde los tiempos de John Wallis, que haba escrito tambin sobre la lgica. Sus
puntos de vista de la novela de mtodo lgico se deban a la misma confianza profunda en el
razonamiento simblico con el que haba confiado, con xito, en la investigacin matemtica.
Las especulaciones sobre un clculo del razonamiento ocuparon los pensamientos de Boole,
pero no fue hasta la primavera de 1847 que puso sus ideas en el panfleto llamado Anlisis
Matemtico de la Lgica. Boole despus de considerar esto como una precipitada e
imperfecta exposicin de su sistema lgico deseaba que su trabajo ms grande, una
investigacin de las leyes del pensamiento (1854), en el que se sustentan las teoras
matemticas de Lgica y Probabilidad, solo debe ser considerada una declaracin madura de
sus puntos de vista. Esto marc el comienzo de un nuevo enfoque sobre la naturaleza de las
pruebas, argumentos y pruebas. Sin embargo, hay un encanto en la originalidad de su obra
lgica anterior que es fcil de apreciar.
l no consideraba la lgica como una rama de las matemticas, como podra interpretarse con
el ttulo de su panfleto anterior, pero seal una profunda analoga entre los smbolos del
lgebra y las que se puede hacer, en su opinin, para representar formas lgicas y silogismos,
que no podemos dejar de decir que (sobre todo la suya) la lgica formal es la matemtica
limitada a los, 0 y 1. Por la unidad Boole denot el universo de objetos imaginables; literal
smbolos, tales como x , y , z , v , u , etc, se utiliza con el significado electivos
correspondientes a adjetivos y sustantivos comunes. Por lo tanto, si x = cuernos e y = oveja,
entonces los sucesivos actos de eleccin representada por x e y , si se realiza en la unidad,
que confiere al conjunto de la clase de ovejas con cuernos. Boole mostr que los smbolos
eleccin de este tipo obedecen las mismas leyes primarias de la combinacin de smbolos
algebraicos, de donde se deduca que podan sumar, restar, multiplicar y hasta dividir, casi
exactamente de la misma manera como los nmeros. Por lo tanto, (1 - x ) representara la

operacin de seleccin de todas las cosas en el mundo, excepto las cosas con cuernos, es
decir, no todos los cuernos de las cosas, y (1 - x ) (1 - y ) nos dara todas las cosas ni cuernos
ni ovejas . Mediante el uso de smbolos tales proposiciones se podra reducir a la forma de
ecuaciones, y la conclusin silogstica a partir de dos premisas se obtiene eliminando el
trmino medio de acuerdo a las reglas ordinarias algebraicas.
An ms original y notable, sin embargo, fue que parte de su sistema, totalmente afirm en su
leyes del pensamiento, form un mtodo simblico general de la lgica de la inferencia. Dado
que ninguna de las proposiciones que impliquen en cualquier nmero de trminos, Boole
mostr cmo, por el tratamiento puramente simblica de los locales, para sacar cualquier
conclusin lgica contenida en dichos locales. La segunda parte de la leyes del pensamiento
contiene su correspondiente intento de descubrir un mtodo general de las probabilidades,
que nos debe permitir a partir de las probabilidades de cualquier sistema dado de eventos
para determinar la probabilidad como consecuencia de cualquier otro evento lgicamente
relacionada con los acontecimientos dados.
En 1921 el economista John Maynard Keynes public un libro que se ha convertido en un
clsico en la teora de la probabilidad, "Tratado de la probabilidad." Keynes coment sobre la
teora de Boole de probabilidad.Keynes crea que Boole haba cometido un error fundamental
que adolece la mayor parte de su anlisis. En un libro reciente, "The Last resolverlo", David
Miller proporciona un mtodo general de acuerdo con el sistema de Boole, y los intentos de
resolver los problemas reconocidos antes por Keynes y otros.
Boole propuso que las proposiciones lgicas se deben expresar en forma de ecuaciones
algebraicas. La manipulacin algebraica de los smbolos en las ecuaciones proporciona un
mtodo a prueba de fallas de la deduccin lgica, es decir, la lgica se reduce al lgebra.
Boole sustituye la operacin de la multiplicacin por la palabra "y" y la operacin de suma por
la palabra o. Los smbolos en las ecuaciones pueden presentarse a las colecciones de
objetos (conjuntos) o declaraciones en la lgica. Por ejemplo, si "x" es el conjunto de todas las
vacas color marrn e "y" es el conjunto de todas las vacas gordas, entonces "x+y" es el
conjunto de todas las vacas que son de color marrn o son gordas, y "xy" es el conjunto de
todas las vacas que son de color marrn y son gordas. Sea "z" el conjunto de todas las vacas
de Irlanda. Entonces z (x + y) = zx + zy, es decir 'el conjunto de las vacas irlandesas que son
color marrn o gordas es igual que el conjunto de las vacas que son irlandesas y marrn o
irlandesas y gordas'.

Familia[editar]
Boole tuvo cinco hijas:

Mary Ellen, (1856-1908) que se cas con el matemtico y escritor Charles Howard
Hinton y tuvo cuatro hijos: George (1882-1943), Eric (* 1884), William (1886 a 1909) y
Sebastin, ( 1887-1923) inventor del gimnasio de la selva . Sebastin tuvo tres hijos:

William H. Hinton visit China en la dcada de 1930 y 1940, y escribi un

relato influyente sobre la reforma agraria comunista.

Joan Hinton (1921-2010) trabaj en el Proyecto Manhattan y vivi en China

desde 1948 hasta su muerte el 8 de junio de 2010, se cas con Sid Engst.

Jean Hinton (nombre de casada Rosner) (1.917-2002) fue activista por la paz.
Margarita, (1858 -?) Se cas con Edward Ingram Taylor, un artista.

Su hijo mayor Geoffrey Ingram Taylor se convirti en un matemtico y un

miembro de la Royal Society.

Su hijo menor, Julin era un profesor de Ciruga.

Alicia (1860-1940) hizo importantes contribuciones a la geometra de cuatro

dimensiones.

Lucy Everest (1862-1905) fue la primera mujer profesora de Qumica en Inglaterra.

Ethel Lilian (1864-1960) se cas con el cientfico polaco y revolucionario Wilfrid

Michael Voynich y fue el autor de la novela The Gadfly.

Legado[editar]
El lgebra de Boole lleva su nombre.
El trabajo de Boole fue ampliado y perfeccionado por William Stanley Jevons, Augustus De
Morgan, Charles Sanders Peirce y William Ernest Johnson. Este trabajo fue resumido
por Ernst Schrder, Louis Couturat, y Clarence Irving Lewis.
El trabajo de Boole (as como el de su descendencia intelectual) fue relativamente oscuro,
excepto entre los lgicos. En ese momento pareca no tener usos prcticos. Sin embargo,
aproximadamente setenta aos despus de la muerte de Boole, Claude Shannon asisti a una
clase de filosofa en la Universidad de Michigan que le introdujo en los estudios de Boole.

Shannon reconoci que el trabajo de Boole poda ser la base de los mecanismos y procesos
en el mundo real y que por lo tanto era de gran relevancia. En 1937 Shannon se dedic a
escribir una tesis de maestra en el Instituto de Tecnologa de Massachusetts, en la que
demostr cmo el lgebra de Boole puede optimizar el diseo de los sistemas
electromecnicos de rels, entonces se utilizaban en conmutadores de enrutamiento de
telfono. Tambin demostr que los circuitos con rels podran resolver problemas de lgebra
booleana. El empleo de las propiedades de los interruptores elctricos a la lgica de proceso
es el concepto bsico que subyace en todos los sistemas electrnicos modernos en los
equipos digitales. Shestakov Victor, de la Universidad Estatal de Mosc (1907-1987), propuso
una teora de los interruptores elctricos basados en la lgica booleana, incluso antes de
que Claude Shannonen 1935, en el testimonio de los lgicos y los matemticos
soviticos Sofia Yanovskaya, Gaaze-Rapoport, Dobrushin, Lupanov, Dmitri Medvdev y
Uspensky, a pesar de que presentaron sus tesis acadmicas en el mismo ao de 1938
[aclaracin necesaria]. Pero la primera publicacin de los resultados Shestakov tuvo lugar slo
en 1941 (en ruso). Por lo tanto, el lgebra de Boole se convirti en el fundamento de la
prctica de circuitos digitales de diseo, y Boole, a travs de Shannon y Shestakov, en la base
terica para la era digital.
El crter de Boole en la Luna lleva dicho nombre en su honor.