LGEBRA DE BOOLE

En 1854 George Boole introdujo una notacin simblica para el tratamiento de variables cuyo
valor podra ser verdadero o falso (variables binarias) As el lgebra de Boole nos permite
manipular relaciones proposicionales y cantidades binarias. Aplicada a las tcnicas digitales se
utiliza para la descripcin y diseo de circuitos ms econmicos. Las expresiones booleanas
sern una representacin de la funcin que realiza un circuito digital. En estas expresiones
booleanas se utilizarn las tres operaciones bsicas (AND, OR, NOT ) para construir expresiones
matemticas en las cuales estos operadores manejan variables booleanas (lo que quiere decir
variables binarias).

Elementos del lgebra de Boole

Los smbolos elementales son:

0: representativo de FALSO
1: representativo de VERDADERO

Las operaciones fundamentales son:

Conjuncin u operacin AND (se representa con )
Disyuncin u operacin OR (se representa con + )
Complementacin, Negacin u operacin NOT (se representa con una barra sobre la variable).

Los postulados para las tres operaciones bsicas, AND, OR Y NOT, son suficientes para deducir
cualquier relacin booleana.

OR AND NOT
0+0=0 00=0
0+1=1 01=0
1+0=1 10=0
1+1=1 11=1

Teoremas:

1. Regla del cero y la unidad

c) X 1 = X
a) X + 0 = X d) X 0 = 0
b) X + 1 = 1
2. Idempotencia o potencias iguales
a) X + X = X b) X X = X

3. Complementacin
a) X + =1 b) X =0

4. Involucin

5. Conmutatividad
a) conmutatividad del + b) conmutatividad del
X+Y=Y+X X Y=Y X

6. Asociatividad
a) asociatividad del + b) asociatividad del
X + (Y + Z) = (X + Y) + Z X (Y Z) = (X Y) Z

7. Distribuitividad
a) distribuitividad del + b) distribuitividad del
X + (Y Z) = (X + Y) (X + Z) X (Y + Z) = (X Y) + (X Z)

8. Leyes de absorcin
a) X (X + Y)= X e) X + XY = X
b) X ( + Y)= XY f) X + Y = X + Y
c) (X + Y)= Y g) + XY = +Y
d) (X + Y) (X + )= X h) XY + X =X

9. Teoremas de DeMorgan

a) c)
b) d)

10. Teoremas generalizados de DeMorgan

a) b)

Dualidad
Los postulados y teoremas presentados anteriormente estn representados en pares. La razn es
que cada teorema posee lo que llamamos un dual. El dual de una expresin se obtiene
intercambiando las ocurrencias de OR por AND, 0 por 1 y viceversa. Si un teorema es vlido,
tambin lo ser su dual. En efecto, siguiendo el dual de la demostracin del teorema, se obtiene
la demostracin del dual del teorema.

Por ejemplo dado el postulado 0+0 = 0 se obtiene el dual haciendo 11 = 1.

En clase se utilizarn los postulados y teoremas del lgebra de Boole para minimizar funciones
booleanas. La simplificacin de estas funciones con el uso de lgebra de Boole es un "arte". No
existe un algoritmo que uno pueda seguir para garantizar que el resultado llegue a dar la forma
ms simple de expresin mnima. Como en el juego del ajedrez, con la prctica se va
aprendiendo a reconocer patrones que nos guan hacia la solucin.

Una pregunta importante que tenemos que hacernos es la de qu es simplificacin? Una

expresin con menos literales? una expresin con menos operaciones? La respuesta depende de
lo que deseamos optimizar, velocidad? nmero de interconexiones entre compuertas? nmero
de componentes?

Antes de proceder a detallar la forma de minimizar expresiones estudiaremos las diferentes

representaciones de las funciones booleanas.

Representacin de funciones booleanas

Existen infinitas maneras de representar una funcin booleana. As por ejemplo la funcin
G = X + Y Z puede tambin representarse como G = X + X + YZ.

Otras veces se suele utilizar la forma negada o el complemento de la funcin. Para esto se
niegan los literales y se intercambian los AND y OR .

_
Por ejemplo, el complemento de: A+BC
_ _
es: A(B+C)

El complemento de una funcin no es la misma funcin, es la forma negada de la funcin.

En el lgebra de Boole es fundamental la existencia de una forma algebraica que proporcione

explcitamente el valor de una funcin para todas las combinaciones de los valores de las
variables. Es esta la forma cannica de la funcin.

Veamos antes algunos conceptos.

Definiciones:

Literal: se refiere a una variable o a su complemento (por ej. A, X, )

Trmino producto: es un grupo de literales que se encuentran relacionados entre si por un AND
(por ej. AB, CA, YZ )

Trmino suma: es un grupo de literales que se encuentran relacionados entre si por un OR

(por ej. A+B, C+A, Y+Z )

Trmino normal: trmino producto o trmino suma en el que un literal no aparece mas de una
vez

Trmino cannico: trmino en el que se encuentra exactamente uno de cada uno de los literales
de la funcin. Si el trmino cannico es un producto, se denominar mintrmino. Si es una suma
se denominar maxtrmino.

Forma normal de una funcin: es la que est constituida por trminos normales. Puede estar en
la forma suma de trminos productos o productos de trminos sumas.

Forma cannica de una funcin: es aquella constituida exclusivamente por trminos cannicos
que aparecen una sola vez.

Forma cannica de funciones booleanas

La importancia de la forma cannica estriba en el hecho de ser NICA. Como vimos

anteriormente una funcin puede tener infinidad de representaciones, pero solo una
representacin en forma cannica.

Existen dos formas cannicas de una funcin: Suma De Productos o Producto de Sumas.
(Tambin de una manera ms formal Suma de mintrminos o Producto de maxtrminos)

Para obtener algebraicamente la forma cannica de una funcin podemos utilizar los teoremas de
expansin cannica:

Teorema 1: Para obtener la forma cannica de una funcin suma de productos se multiplicar por
un trmino de la forma (X + ) donde falte un literal para que el termino sea cannico.

Teorema 2: Para obtener la forma cannica de una funcin producto de sumas se sumar un
trmino de la forma X donde falte un literal para que el trmino sea cannico.

Forma cannica suma de productos:

Es aquella constituida exclusivamente por trminos cannicos productos (mintrminos) sumados

que aparecen una sola vez.

__ _ _ _ _
Por ejemplo: F(X,Y,Z) = X Y Z + X Y Z + X Y Z + X Y Z + X Y Z
Para simplificar la escritura en forma de suma cannica de productos, se utiliza una notacin
especial. A cada mintrmino se le asocia un nmero binario de n bits resultante de considerar
como 0 las variables complementadas y como 1 las variables no complementadas. As por
ejemplo el mintrmino Z corresponde a la combinacin X=0, Y=0, Z=1 que representa el
nmero binario 001, cuyo valor decimal es 1. A este mintrmino lo identificaremos entonces
como m1.
_ _ _ _ _ _
De esta forma, la funcin : F(X,Y,Z) = X Y Z + X Y Z + X Y Z + X Y Z + X Y Z
se puede expresar como: F(X,YZ) = m(1,4,5,6,7) que quiere decir la sumatoria de los
mintrminos 1,4,5,6,7.

Forma cannica producto de sumas:

Es aquella constituida exclusivamente por trminos cannicos sumas (maxtrminos)

multiplicados que aparecen una sola vez.
_ _ _
Por ejemplo: F(X,Y,Z) = ( X + Y + Z ) ( X + Y + Z ) ( X + Y + Z )

Anlogamente al caso anterior, podemos simplificar la expresin de la funcin, indicando los

maxtrminos. Sin embargo, en este caso se hace al contrario de antes. A cada maxtrmino se le
asocia un nmero binario de n bits resultante de considerar como 1 las variables
complementadas y como 0 las variables no complementadas. As por ejemplo el maxtrmino
X + Y + Z corresponde a la combinacin X=1, Y=0, Z=0 que representa el numero binario 100,
cuyo valor decimal es 4. A este maxtrmino lo identificaremos entonces como M4.

De esta forma la expresin

_ _ _
F(X,Y,Z) = ( X + Y + Z ) ( X + Y + Z ) ( X + Y + Z )

se puede expresar como: F(X,YZ) = M(0,2,3) que quiere decir el producto de los maxtrminos
0,2,3.

En resumen, cada mintrmino se asocia con la combinacin de entrada para la que la funcin
producira un 1, y cada maxtrmino con la combinacin para la que producira un 0.

En la tabla de abajo se muestran los mintrminos y los maxtrminos asociados con cada
combinacin en una tabla de verdad de 3 variables. De acuerdo con esta tabla para determinar el
trmino producto o suma se hace lo siguiente: para los mintrminos cada variable no
complementada se asocia con un 1 y cada variable complementada se asocia con 0. Para los
maxtrminos la regla es la inversa.
Ejemplo 1. Exprese la siguiente funcin como una suma de minterminos:
_
F = X +Y Z

Hay dos formas de resolver este problema.

Forma 1. Se puede obtener la tabla de verdad de la expresin y entonces tomar los mintrminos.

X Y Z F=X+ Y Z mintrminos Se evala la funcin para todas las combinaciones y se toman los
0 0 0 0 mintrminos de la tabla para los cuales la funcin vale 1.
0 0 1 1 XYZ
__ __ _ _
0 1 0 0 La respuesta es :F= X Y Z + X Y Z + X Y Z + X Y Z + X Y Z
0 1 1 0
1 0 0 1 XYZ Otra notacin que podemos utilizar es:
1 0 1 1 XYZ F= m(1, 4,5,6,7)
1 1 0 1 XY Z
1 1 1 1 XYZ que quiere decir la sumatoria de los mintrminos 1,4,5,6,7

Forma 2. Aplicando los teoremas de expansin cannica para las variables faltantes.

_
X + YZ
_ _ _ _
X ( Y+ Y ) ( Z + Z ) + YZ ( X + X )
_ _ _ _ _
( XY + XY ) ( Z + Z ) + YZ X + Y Z X
 _ _ __ _ __
X Y Z + X YZ + X Y Z + XY Z + X Y Z + X YZ
__ __ _ _
X Y Z + X YZ + X Y Z + XY Z + X Y Z

Ejemplo 2. Exprese la siguiente funcin como un producto de maxtrminos:

_
F = X +Y Z

De nuevo, se puede resolver construyendo una tabla de verdad o con manipulacin algebraica.

Forma 1. Se obtiene la tabla de verdad de la funcin. Tomando los maxtrminos desde la tabla de
verdad, la respuesta es:

X Y Z F=X+ Y Z maxtrminos Se evala la funcin para todas las combinaciones y se toman los
0 0 0 0 (X+Y+Z) maxtrmino de la tabla para los cuales la funcin vale 0.
0 0 1 1
0 1 0 0
_ _ _
(X+Y+Z)
La respuesta es: F = ( X + Y + Z ) ( X + Y + Z ) ( X + Y + Z )
0 1 1 0 (X+Y+ Z )
1 0 0 1 Otra notacin que podemos utilizar es:
1 0 1 1 F= M(0,2,3)
1 1 0 1
1 1 1 1 que quiere decir el producto de los maxtrminos 0,2,3

Forma 2. Aplicando el teorema de expansin cannica.

_
X + YZ
_
( X +Y ) ( X + Z )
_ _ _
( X + Y + Z Z ) (X + Z + YY )
_ _ _ _
( X +Y+ Z ) ( X +Y+ Z ) ( X + Z +Y ) ( X + Z +Y )
_ _ _ _
( X +Y+ Z ) ( X +Y+ Z ) ( X +Y + Z ) ( X +Y + Z )
_ _ _
( X +Y+ Z ) ( X +Y+ Z ) ( X +Y+ Z )
_ _ _
( X +Y+ Z ) ( X +Y+ Z ) ( X +Y+ Z )
Note la simetra que existe entre la suma de productos y el producto de sumas de una expresin.
Si mi es el mintrmino para la combinacin i, y Mi es el maxtrmino.

mi=Mi

Para convertir de una forma cannica a otra se intercambian los signos y y se reemplazan
los nmeros correspondientes a las combinaciones no incluidas en la forma original. Por
ejemplo:

M(2,4,6) = m(0,1,3,5,7)

Forma normal de funciones booleanas

Otra manera importante de expresar expresiones booleanas es la forma normal. Tiene la misma
estructura bsica de suma de productos o producto de sumas, pero no se requiere que los
trminos sean mintrminos o maxtrminos.

Por ejemplo:

La siguiente es una forma normal suma de productos:

__
XY+XYZ

La siguiente es una forma normal producto de sumas:

_
(Y+X)(X+Z)(Y)