ALGEBRA 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 mas 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

No es objeto de este curso un anlisis profundo y formal de los postulados y teoremas del Algebra 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, ) Las variables son las proposiciones, que se representan o simbolizan por letras

Postulados:
Los postulados para las tres operaciones bsicas, AND, OR Y NOT, son suficientes para deducir cualquier relacin bolean. OR 0 + 0 + 1 + 1+1=1 0 1 0 = = = AND 0 0 1 0 1 1 11=1 0 1 0 = = = 0 0 0 NOT

Teoremas:

1. Regla del cero y la unidad a) X + 0 = X b) X + 1 = 1

c) X d) X 0 = 0

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 X+Y=Y+X

del

+ b) conmutatividad X Y=Y X

del

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

del

+ b) asociatividad del X (Y Z) = (X Y) Z

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

+ b) distribuitividad del X (Y + Z) = (X Y) + (X Z)

8. Leyes de absorcin a) X (X + b) c) X (X ( + )= X +

Y)= Y)=

X Y

e) X g)

X + +

XY Y XY = =

= X +

X + Y Y

XY f)

Y)=

d) (X + Y) (X +

h) XY + X = X

9. Teoremas de DeMorgan a) b) c) 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 valido, 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 Problemas 1. Demuestre las 8 leyes de absorcin utilizando algebra de Boole 2. Demuestre los 4 Teoremas de De Morgan utilizando tablas de verdad

En clase se utilizaran 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 mas simple de expresin mnima. Como en el juego del ajedrez, con la practica se va aprendiendo a reconocer patrones que nos guan hacia la solucin. Una pregunta importante que tenemos que hacernos es la de que es simplificacin? Una expresin con menos literales? una expresin con menos operaciones? La respuesta depende de lo que deseamos optimizar, velocidad? numero de interconexiones entre compuertas? numero 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 es 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. Forma cannica de funciones booleanas La importancia de la forma cannica estriba en el hecho de ser UNICA. 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 mas formal Suma de minterminos o Producto de maxterminos) 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 termino de la forma (X + que el termino sea cannico. ) donde falte un literal para

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

Forma cannica suma de productos: Es aquella constituida exclusivamente por trminos cannicos productos (minterminos) sumados que aparecen una sola vez. __ __ _ _ Por ejemplo: F(X,Y,Z) = XYZ+XYZ+XYZ+XYZ+ XY Z Para simplificar la escritura en forma de suma cannica de productos, se utiliza una notacin especial. A cada mintermino se le asocia un numero binario de n bits resultante de considerar como 0 las variables complementadas y como 1 las variables no complementadas. As por ejemplo el mintermino Z corresponde a combinacin X=0, Y=0, Z=1 que representa el numero binario

001, cuyo valor decimal es 1. A este mintermino lo identificaremos entonces como m1. __ __ _ _ De esta forma, la funcin : F(X,Y,Z) =XYZ+XYZ+XYZ+ 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 minterminos 1,4,5,6,7

Forma cannica producto de sumas: Es aquella constituida exclusivamente por trminos cannicos sumas (maxterminos) 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 maxterminos. Sin embargo, en este caso se hace al contrario de antes. A cada maxtermino se le asocia un numero binario de n bits resultante de considerar como 1 las variables complementadas y como 0 las variables no complementadas. As por ejemplo el maxtermino ' + Y + Z corresponde a combinacin X=1, Y=0, Z=0 que representa el numero binario 100, cuyo valor decimal es 4. A este maxtermino lo identificaremos entonces como M4. _ _ _ De esta forma, la funcin: F(X,Y,Z) = ( X + Y+ Z) ( X + Y+Z) ( X +Y + Z ) se puede expresar como: F(X,YZ) = de los maxterminos 0,2,3 M(0,2,3) que quiere decir el producto

En resumen, cada mintermino 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.

Valor X Y Z Mintermino decimal 0 1 2 3 4 5 000 001 010 011 XYZ=m0

Maxtermino

X+Y+Z=M0 XYZ=m1 XYZ=m2 XYZ=m3 XYZ=m4 XYZ=m5 X+Y+Z=M1 X+Y+Z=M2 X+Y+Z=M3 X+Y+Z=M4 X+Y+Z=M5

En la tabla de la derecha se muestran los minterminos y los maxterminos asociados con cada combinacin en una tabla de verdad de 3 variables. De acuerdo con esta tabla para determinar el termino producto o suma se hace lo siguiente: para los minterminos cada

100 101

variable no complementada se asocia con un 1 y cada variable complementada se asocia con 0. Para los maxtrminos la regla es la inversa.

6 7

110 111

XYZ=m6 XYZ=m7

X+Y+Z=M6 X+Y+Z=M7

Ejemplo 1. Exprese la siguiente funcin como una suma de minterminos: _ F = X +YZ Hay dos formas de resolver este problema. Forma 1. Se puede obtener la tabla de verdad de la expresin y entonces tomar los minterminos. X Y Z F=X+YZ minterminos
0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 0 0 1 1 1 1 XYZ XYZ XYZ XYZ XYZ

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

que quiere decir la sumatoria de los minterminos 1,4,5,6,7

Forma 2. Aplicando los teoremas de expansin cannica para las variables faltantes. _ X + YZ _ _ _ _ X ( Y+ Y ) ( Z + Z ) + Y Z ( X + X ) _ _ _ _ _ ( XY+ XY ) ( Z +Z ) + YZ X + Y Z X _ _ __ _ __ X Y Z+ XYZ+ XYZ+ XYZ + X Y Z + XYZ __ __ _ _ X Y Z+ XYZ+ XYZ+ XYZ + X Y Z

Ejemplo 2. Exprese la siguiente funcin como un producto de maxterminos: _ F = X +YZ 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 maxterminos desde la tabla de verdad, la respuesta es: X Y Z F=X+YZ maxterminos
0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 0 0 1 1 1 1

Se evala la funcin para todas las combinaciones y se toman los maxtermino de la tabla para los cuales (X+Y+Z) la funcin vale 0.
(X+Y+Z)

_ _ La respuesta es: F= ( X + Y + Z ) ( X + Y + Z ) ( X + Y + Otra notacin que podemos utilizar es: F= M(0,2,3)

(X+Y+Z)

que quiere decir el producto de los maxterminos 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 mintermino para la combinacin i, y Mi es el maxtermino. mi = Mi

Para convertir de una forma cannica a otra se intercambian los signos y se reemplazan los nmeros correspondientes a las combinaciones no incluidas el 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 suma de productos o producto de sumas, pero no se requiere que los trminos sean minterminos o maxterminos. 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) A lo largo de este curso la forma que se utilizar con preferencia ser la de suma de productos. Problemas
1. Dibuje la tabla de verdad para cada una de las siguientes funciones: _ __ _ _ _ _ __ _ _ _ 2.F=XY+XZ+XYZ 3.F=(X+Y)(X+Z)(X+Z) 1.F=ABC+ABD+A+B+CD _ _ _ _ __ _ _ 4.F=AB(C+D)+ABC+CD 5. F = ( X + Y + Z ) ( Y + Z ) 2.Obtenga las formas cannicas suma de productos y productos de suma para las expresiones anteriores a) utilizando las tablas de verdad b) utilizando los teoremas de expansin cannica.