1

UNIVERSIDAD DE SANTIAGO
FACULTAD DE INGENIERIA
INGENIERIA ELECTRICA

ALGEBRA DE BOOLE

MANUEL VEGA PEREZ

1
 2

Para poder comprender el funcionamiento y disear circuitos digitales es

necesario conocer y aplicar una herramienta matemtica simple, denominada
Algebra de Boole
El Algebra de Boole es una herramienta fundamental para el anlisis y diseo de
circuitos lgicos. Fue planteada por el matemtico ingls George Boole en 1854 y
aplicada por primera vez en 1938, por el ingeniero francs Claude Shannon.

El Algebra de Boole define tres operaciones bsicas que son las siguientes:

La suma booleana u operacin OR

La multiplicacin booleana u operacin AND
La complementacin u operacin NOT

Estas operaciones son distintas del lgebra clsica, an cuando tienen

algunos nombres comunes y usan los mismos smbolos. Las magnitudes lgicas
como hemos sealado anteriormente, pueden tener slo dos valores: 0 o 1.
Las variables usadas en el lgebra de Boole son smbolos que se utilizan
para representar las magnitudes lgicas.

Veamos en primer lugar, la definicin de las operaciones bsicas:

a) Operacin OR o suma booleana

La operacin OR o suma booleana produce un resultado igual a 1 cuando

cualquiera de los operandos es igual a 1. El smbolo usado para la operacin OR
es el mismo usado para la suma aritmtica.
Por ejemplo, la operacin Q = 0 + 1 tiene el valor 1. Del mismo modo, la
operacin S = 1 + 1 + 1 tambin tiene el valor 1, de acuerdo, a la definicin de la
operacin OR. La operacin OR tiene el valor 0, slo cuando todos los operandos
tienen el valor 0.

b) Operacin AND o multiplicacin booleana

La operacin AND produce un resultado igual a 1 slo cuando todos los

operandos tienen el valor 1. El smbolo usado para la operacin AND es el mismo
usado para la multiplicacin aritmtica.
Por ejemplo, la operacin Q = 1x1x1 = 1. La operacin AND tiene el valor 0
cuando cualquiera de los operandos tiene el valor 0.

c) Operacin NOT o complemento

La operacin NOT complementa el valor del operando. El smbolo usado

para representar el complemento es una barra sobre la variable.
Por ejemplo Q A . Si A es 1, Q es 0 y si A es 0, su complemento Q es 1.

2
 3

A partir de la definicin de las operaciones bsicas, se puede obtener un

conjunto de propiedades del Algebra de Boole. Estas propiedades son las
siguientes:

Idempotencia
Conmutatividad
Asociatividad
Complementariedad
Distributividad

Veamos a continuacin, las propiedades del Algebra de Boole

PROPIEDADES

I. Propiedad de Idempotencia.

La propiedad de idempotencia establece que :

A+A=A y AA=A

Esta propiedad, como todas las propiedades del Algebra de Boole, puede
demostrarse por el Mtodo de Induccin Perfecta. Este mtodo indica que una
propiedad lgica queda demostrada, si ella se cumple para todas las
combinaciones posibles de los valores de las variables.
En este caso, tenemos solamente una variable: A. Por lo tanto,
demostraremos que la propiedad se cumple para el caso en que A vale 0 y para el
caso en que A vale 1.

Si A vale 0, se tiene que A + A es igual a 0 + 0 y por definicin de la

operacin suma booleana, el resultado es 0, es decir es igual a A.
Si A vale 1, se tiene que A + A es igual a 1 + 1 y por definicin de la
operacin suma booleana, el resultado es 1, es decir es igual a A.

En consecuencia, cualquiera que sea el valor de A siempre se cumple que

A + A = A y por lo tanto, la propiedad queda demostrada.

Para la segunda expresin de la propiedad de idempotencia, el

razonamiento es el mismo.

Si A vale 0, se tiene que AxA es igual a 0x0 y por definicin de la operacin

multiplicacin booleana, el resultado es 0, es decir es igual a A. El smbolo
de multiplicacin x puede normalmente omitirse, como ocurre con la
multiplicacin aritmtica.
Si A vale 1, se tiene que AxA es igual a 1x1 y por definicin de la operacin
multiplicacin booleana, el resultado es 1, es decir es igual a A.

3
 4

En consecuencia, cualquiera que sea el valor de A siempre se cumple que

A x A = A y por lo tanto, la propiedad queda demostrada.
Es interesante observar algunos corolarios de esta propiedad, tales como:

i. A + 1 = 1

Si un operando de una suma booleana es 1, el resultado es siempre 1,

independientemente del valor de los otros operandos, por definicin de la
operacin suma booleana.

ii. A + 0 = A

Si A = 0, tenemos que A+ 0 = 0 + 0. Por definicin de la operacin suma

booleana el resultados es 0, es decir A.
Si A = 1, tenemos que A+ 0 = 1 + 0. Por definicin de la operacin suma
booleana el resultados es 1, es decir A.

iii. A x 0 = 0

Por definicin de multiplicacin booleana, si uno de los operandos es 0, el

resultado ser siempre 0, no importando cual sea el valor de los otros operandos.

iv. A x 1 = A

Si A vale 0, se tiene que Ax1 es igual a 0x1 y por definicin de la operacin

multiplicacin booleana, el resultado es 0, es decir es igual a A.
Si A vale 1, se tiene que Ax1 es igual a 1x1 y por definicin de la operacin
multiplicacin booleana, el resultado es 1, es decir es igual a A.

II. Propiedad de Conmutatividad

La propiedad de conmutatividad para 2 variables establece que :

A+B=B+A y A B = B A(El signo x suele omitirse)

La primera parte de esta propiedad dice que cualquiera sea el orden en que se
efecte la operacin OR, el resultado es el mismo. Ejemplo, la operacin Q = 0 +
1, entrega el mismo resultado que la operacin S = 1 + 0, es decir 1. Esta
propiedad, de acuerdo a la definicin de la operacin OR resulta evidente.
Lo mismo ocurre con la segunda parte de esta propiedad que dice que cualquiera
que sea el orden en que se realice la operacin AND entre dos variables, el
resultado es el mismo. Por ejemplo, la operacin Q = 1 x 0 tiene el mismo
resultado que la operacin S = 0 x 1, es decir 0..
De acuerdo a la definicin de la operacin AND, esta propiedad es evidente.

4
 5

III. Propiedad de Asociatividad

La propiedad de asociatividad establece que:

A + (B + C) = (A + B) + C y A (B C) = (A B) C

La primera parte de esta propiedad establece que el resultado de la operacin OR

de ms de dos variables es el mismo independientemente de la forma en que se
agrupen las variables.
La segunda parte de la propiedad de asociatividad establece que la operacin
AND de ms de dos variables es el mismo independientemente de la forma en que
se agrupen las variables.
Para demostrar esta propiedad usaremos el mtodo de induccin perfecta, es
decir probaremos que esta propiedad se cumple para todas las combinaciones
posibles de las variables. Si consideramos tres variables A, B y C, stas tendrn
slo ocho posibles combinaciones. Estas combinaciones son las siguientes:

A B C
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1

Efectuaremos primeramente la operacin OR entre B y C y luego, se efectuar la

operacin OR entre el resultado de (B + C) y la variable A. La Tabla, entonces
queda de la siguiente manera:

A B C B+C A + (B + C)
0 0 0 0 0
0 0 1 1 1
0 1 0 1 1
0 1 1 1 1
1 0 0 0 1
1 0 1 1 1
1 1 0 1 1
1 1 1 1 1

Ahora, efectuaremos la operacin asociando las variables de la siguiente manera.

Primero, la operacin OR entre A y B y luego la operacin OR entre el resultado

(A + B) y la variable C. Esto se ilustra en la siguiente Tabla:

5
 6

A B C (A + B) (A + B) + C
0 0 0 0 0
0 0 1 0 1
0 1 0 1 1
0 1 1 1 1
1 0 0 1 1
1 0 1 1 1
1 1 0 1 1
1 1 1 1 1

Podemos apreciar que el resultado es idntico para ambas formas de asociar las
variables. Por lo tanto, si la propiedad se cumple para todas las combinaciones
posibles de las variables, la propiedad queda demostrada.
Procediendo de manera anloga con la segunda parte de la propiedad, se tiene
que:
Si efectuamos primero la operacin AND entre B y C, y luego efectuamos la
operacin AND del resultado de (BC) con la variable A, la Tabla ser la siguiente:

A B C (B C) A (B C)
0 0 0 0 0
0 0 1 0 0
0 1 0 0 0
0 1 1 1 0
1 0 0 0 0
1 0 1 0 0
1 1 0 0 0
1 1 1 1 1

Si efectuamos primero la operacin AND entre A y B, y luego efectuamos la

operacin AND del resultado de (A B) con la variable C, la Tabla ser la siguiente:

A B C (A B) (A B) C
0 0 0 0 0
0 0 1 0 0
0 1 0 0 0
0 1 1 0 0
1 0 0 0 0
1 0 1 0 0
1 1 0 1 0
1 1 1 1 1

Podemos apreciar que el resultado es idntico para ambas formas de asociar las
variables. Por lo tanto, si la propiedad se cumple para todas las combinaciones
posibles de las variables, la propiedad queda demostrada.

6
 7

IV. Propiedad de Complementariedad

La propiedad de complementariedad establece que la operacin OR entre una

variable y su complemento es siempre igual a 1. Del mismo modo, establece que
la operacin AND entre una variable y su complemento es siempre igual a 0.

A A 1 y A A 0

Usando el mtodo de induccin perfecta, tenemos que:

A A A+A A A
0 1 1 0
1 0 1 0

Por lo tanto, si se cumple para todas las posibles valores de la variable, la

propiedad queda demostrada.

V. Propiedad de Distributividad

La propiedad de distributividad establece que:

A(B + C) = A B + A C
A + B C = (A + B)(A + C)

Demostraremos esta propiedad por el mtodo de induccin perfecta. Empecemos

con la primera parte de la propiedad. Primero calcularemos (B + C) y luego lo
multiplicaremos por A.

A B C (B + C) A (B + C)
0 0 0 0 0
0 0 1 1 0
0 1 0 1 0
0 1 1 1 0
1 0 0 0 0
1 0 1 1 1
1 1 0 1 1
1 1 1 1 1

7
 8

A continuacin, calcularemos A B + A C

A B C AB AC AB+AC
0 0 0 0 0 0
0 0 1 0 0 0
0 1 0 0 0 0
0 1 1 0 0 0
1 0 0 0 0 0
1 0 1 0 1 1
1 1 0 1 0 1
1 1 1 1 1 1

Ambos resultados son exactamente iguales con lo cual la primera parte de la

propiedad queda demostrada.
Para la demostracin de la segunda parte de la propiedad, procedemos de la
misma forma. Primero, calcularemos B C y luego le sumaremos A.

A B C BC A+BC
0 0 0 0 0
0 0 1 0 0
0 1 0 0 0
0 1 1 1 1
1 0 0 0 1
1 0 1 0 1
1 1 0 0 1
1 1 1 1 1

A continuacin calcularemos (A + B), luego (A + C) y finalmente calcularemos (A

+ B)(A + C) y compararemos ambos resultados.

A B C A+B A+ C (A + B)(A + C)
0 0 0 0 0 0
0 0 1 0 1 0
0 1 0 1 0 0
0 1 1 1 1 1
1 0 0 1 1 1
1 0 1 1 1 1
1 1 0 1 1 1
1 1 1 1 1 1

Ambos resultados son exactamente iguales con lo cual la propiedad queda

demostrada.

8
 9

TEOREMAS DE DEMORGAN

Los Teoremas enunciados por el matemtico Augusto DeMorgan constituyen una

herramienta importante del Algebra de Boole.

El primero teorema dice:

El complemento de un producto booleano de dos o ms variables es igual a

la suma booleana de las variables complementadas.

X Y = X + Y

El segundo teorema dice:

El complemento de una suma booleana de dos o ms variables es igual al

producto booleano de las variables complementadas.

X + Y = X Y

La comprobacin de estos teoremas tambin puede hacerse por el mtodo de

induccin perfecta.