ALGEBRA BOOLEANA (ALGEBRA DE BOOLE)

1.-

Introduccin.
La descripcin bsica de la formulacin del lgebra booleana se basa en conceptos de
la teora de conjuntos, donde se define formalmente un lgebra booleana como un
conjunto matemtico distributivo y complementado. Esta definicin se resume
mediante el uso de los siguientes postulados que sintetizan los elementos y
propiedades bsicas.

2.-

Postulados.
Postulado 1. Definicin.
El lgebra Booleana o lgebra de Boole, es un sistema algebraico, cerrado formado
por un conjunto (K ) de dos o ms elementos y los dos operadores AND (.) y OR (+ ) ;
de manera alternativa, para cada ( A) , (B ) y un conjunto (K ) , ( A . B) pertenece a (K )
y ( A + B) pertenece a (K ) . Con lgica de contactos o interruptores, (.) indica
interruptores en serie y (+) indica interruptores en paralelo.
Postulado 2. Existencia de los elementos (1) y (0).
En el conjunto (K ) existen los elementos uno (1) , interruptor cerrado, y cero (0) ,
interruptor abierto, nicos, tales que para todo ( A) en (K ) se cumple que:

A+0=A

A
0
1

0
0
0

A+0
0
1

A.1=A

A
0
1

1
1
1

A.1
0
1

Figura No. 1. Representacin grfica del postulado 2 del lgebra Booleana.

Postulado 3. Conmutatividad de las operaciones (+) y (.)

Para todo ( A) y (B) en (K ) .
A+B = B+A
A
0
0
1
1

B
0
1
0
1

A+B
0
1
1
1

B+A
0
1
1
1

A.B = B.A
A
0
0
1
1

B
0
1
0
1

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

Figura No. 2. Representacin grfica del postulado 3 del lgebra Booleana.

Postulado 4. Asociatividad de las operaciones (+) y (.)

Para todo ( A) , (B) y (C ) en (K ) .

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

A . (B . C) = (A . B ) . C

Figura No. 3. Representacin grfica del postulado 4 del lgebra Booleana.

Postulado 5. Distributividad de (+) sobre (.) y de (.) sobre (+).

Para todo ( A) , (B) y (C ) en (K ) .
A + ( B.C ) = ( A+B) ( A+C)
A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

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

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

Figura No. 4. Representacin grfica del postulado 5 del lgebra Booleana.

Postulado 6. Existencia del complemento.

Para toda ( A) en (K ) existe un nico elemento llamado ( A' ) o ( A ) o complemento de
( A) en (K ) tal que:

A + A = 1

A
0
1

A
1
0

A +A
1
1

A A = 0

A
0
1

A
1
0

A A
0
0

Figura No. 5. Representacin grfica del postulado 6 del lgebra Booleana.

3.-

Principio de Dualidad.
El principio de dualidad establece que si una expresin lgica es vlida, su expresin
dual tambin es vlida en el lgebra Booleana.
La expresin dual se determina reemplazando todos los operadores (.) por (+) y
viceversa, adems reemplazando los unos (1) por ceros (0) y viceversa y teniendo en
cuenta de conservar la posicin de los parntesis existentes.
Ejemplo 1.

4.-

Expresin

Dual

A + ( B.C ) = ( A + B).( A + C )
A +1 = 1
B .1 = B

A .( B + C ) = ( A.B) + ( A.C )
A .0 = 0
B+0=0

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

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

Teoremas fundamentales del algebra Booleana.

En estos teoremas, las letras ( A) , (B ) y (C ) representan los elementos del lgebra
booleana.
Teorema 1.- Idempotencia.
Expresin
A+ A = A

Dual
A. A = A

Teorema 2.- Elementos neutros para los operadores (+) y (.)

Expresin

Dual

A +1 = 1
A.0 = 0
Teorema 3.- Involucin.
Expresin
A=A
Teorema 4.- Absorcin.
Expresin
A + ( A . B) = A

Dual
A . ( A + B) = A

Teorema 5.Expresin
A + ( A . B) = A + B

Dual
A . ( A + B) = A . B
4

Teorema 6.Expresin
( A . B) + ( A . B ) = A

Dual
( A + B) . ( A + B ) = A

Teorema 7.Expresin
( A . B) + ( A . B . C ) = ( A . B) + ( A . C )

Dual
( A + B) . ( A + B + C ) = ( A + B) . ( A + C )

Teorema 8.- Teorema de DE MORGAN.

Expresin

( A + B) = A . B

Dual
( A . B) = A + B

Se puede generalizar el teorema de DE MORGAN, como sigue:

Expresin

Dual

( A + B + C + ...... + N ) = A . B . C ...... N
( A . B . C . ..... . N ) = A + B + C + ...... + N
La regla para complementar una expresin es utilizar cualquiera de las dos relaciones
anteriores, reemplazando cada operador (+) por un operador (.) y viceversa y
adems reemplazando cada variable por su complemento.
Se debe tener cuidado al aplicar el teorema de DE MORGAN respetando la
precedencia de los operadores, as: (.) tiene precedencia sobre (+), cuando no se
indican los parntesis.
Ejemplo 2.
Hallar ( A + B . C )
Solucin : ( A + B . C ) = A . ( B . C )
( A + B . C) = A . (B + C)
( A + B . C ) = ( A . B) + ( A . C )
( A + B . C ) = ( A + B) + ( A + C )
( A + B . C ) = ( A + B) . ( A + C )
Observe que

( A + B . C) A . B + C

Teorema 9.- Consenso.

Expresin
A. B+ A.C + B.C = A. B + A.C

Dual
( A + B ).( A + C ).( B + C ) = ( A + B).( A + C )