ALGEBRA DE CONMUTACIN 1.

IMPLEMENTACIN DE FUNCIONES LGICAS Llegar a implementar funciones lgicas implica resolver un problema, cuya solucin esta basada en el lgebra de Boole. Con ello se obtiene una funcin lgica o de conmutacin, la cual, mediante la aplicacin de las compuertas digitales bsicas existentes en el mercado, puede hacerse una representacin fsica de la solucin. 2. ALGEBRA DE BOOLE 2.1 ALGEBRA DE BOOLE OPERADORES BSICOS El lgebra de boole es un sistema matemtico que nos permite manejar ecuaciones, las cuales pueden ser simplificadas y convertidas en o desde un sistema fsico de puertas lgicas las cuales realizan esa misma funcin. Es decir, podemos, mediante matemticas hacer que un sistema de control muy complejo se pueda simplificar. Las operaciones fundamentales son:

1 1
2

- Suma. Es la operacin que realiza la puerta OR, esta se expresa como: f = a+b. - Producto. Es la operario de la puerta AND, la cual se expresa como: f = ab. - Inversin. Es la operacin que realiza la puerta NOT. Se expresa como: f = . 2.2 POSTULADOS MAS IMPORTANTES DE LA ALGEBRA DE BOOLE

1 1 1 1
1

- f = a+1 = 1. la suma lgica de un 1 y una variable a, siempre da 1. - F = a+0 = a. la suma lgica de un cero y una variable a, siempre da la salida el valor de la variable. - f = a+a = a. la suma lgica de la variable consigo misma, siempre da en la salida el mismo valor que tiene la variable. - F = a+ =1. la suma lgica de una variable la inversa de esta siempre da en la salida un 1, ya que al menos una de ellas vale 1. - F = a1=a. la multiplicacin lgica de una variable a y un 1 siempre da como resultado un valor igual al de la variable a. - F = a0=0. la multiplicacin lgica de un 0 y una variable a, da en la salida un 0. - F = aa=a. la multiplicacin lgica de una variable a consigo misma, tiene el mismo valor que el de la entrada. - F = a=0. la multiplicacin lgica de una variable por la inversa de esta, dar la salida siempre 0. - (A=)= a. si invertimos dos veces una variable, a la salida tendremos el mismo valor que el de dicha variable.

2 1 1 1 1

2.3 PROPIEDADES DE LAS OPERACIONES LGICAS La suma de las multiplicaciones lgicas cumplen las propiedades, conmutativas, asociativa y distributivas:

1 - Propiedad conmutativa: quiere decir que el orden en que coloquemos la variable no

altera el resultado. Para la suma es: f = a+b = b+a y para el producto: f = a.b = b.a

1 - Propiedad asociativa: las variables se pueden asociar entre si formando grupos: 2 F = a+b+c = (a+b)+c = a+(b+c) y f = a.b.c = (a.b).c = a.(b.c)
1

2 - Propiedad distributiva: se aplica las dos funciones, ya que el producto lo es respecto de

la suma y la suma respecto del producto: F= a.(b+c) = (a.b)+(a.c) y f = a+(b.c) = (a+b). (a+c). 3. MINIMIZACIN Es posible reducir expresiones de conmutacin expresadas en una gran cantidad de trminos a otra con muy pocos trminos, siendo ambas funciones equivalentes, utilizando solamente los teoremas del Algebra de Boole. Existen dos formas bsicas de minimizar funciones de conmutacin:

1
1 0

- Por aplicacin de los teoremas y postulados del lgebra de Boole (algebraicamente). - Por aplicaron de los mtodos tabulares de simplificacin (mtodos numricos). 3.1 MINIMIZACIN POR APLICACIN DEL ALGEBRA DE BOOLE Ejemplo: Minimizar la funcin

Minimizar la funcin

Se establecen los siguientes criterios de minimizacin: Mnimo numero de literales en una expresin suma de productos. Mnimo numero de literales en una expresin producto de sumas. Mnimo numero de trminos en una expresin suma de productos, suponiendo que no hay otra de tales expresiones con el mismo numero de trminos y con menos literales.

Una expresin mnima no necesariamente es nica 3.2 MTODOS TABULARES DE MINIMIZACIN Estos mtodos asignan un nmero decimal a las combinaciones que componen la funcin. En la literatura se encuentran bsicamente tres mtodos tabulares: Mtodo tabular de Veitch. Mtodo de los Mapas de Karnaugh. Mtodo de Quine Mc-Closky.

3.3 MAPAS DE KARNAUGH Consiste en un ordenamiento de las combinaciones en forma matricial de acuerdo al cdigo Gray. Mapas de Karnaugh para funciones de dos variables.

El Mapa de Karnaugh permite realizar agrupaciones de celdas adyacentes entre si, en grupos que formen potencias de 2 (2 celdas, 4 celdas, 8 celdas, 16 celdas, etc) El Mapa de Karnaugh para dos variables, las adyacentes posibles de hacer son:

De 2 = 2 celdas: f0f1 f0f2 f1f3 f2f3 De 2 = 4 celdas: f0f1f2f3

Mapas de Karnugh para funciones de tres variables

En el Mapa de Karnugh para tres variables, las adyacencias posibles de hacer son: De 2 =2 celdas: f0f1 f1f3- f2f3 f0f2 f4f5 f5f7 f7f6 f4f6 f0f4 f1f5 f3f7 f2f6. De 2 = 4 celdas: f0f1f2f3 f4f5f6f7 f0f1f4f5 f1f3f5f7 f2f3f6f7 f0f4f2f6. De 2 = 8 celdas: f0f1f2f3f4f5f6f7.

Este mapa puede dibujarse de distintas formas, pero todas entregan las mismas adyacencias, como se muestra en los ejemplos siguientes.

Mapas de Karnugh para funciones de cuatro variables

En el Mapa de Karnugh para cuatro variables, las adyacencias posibles de hacer son: De 2 = 2 celdas:

De 2 =4 celdas:

De 2 = 8 celdas:

Mapas de Karnaugh para funciones de cinco variables

Este mapa se transforma en dos figuras:

En el Mapa de Karnaugh para cinco variables, algunas de las adyacencias posibles de hacer son: De 2 = 2 celdas:

Las adyacencias que producen son en cada mapa en forma individual y entre los dos mapas. Esto es valido para todos los tipos de adyacencias existentes. De 2 = 4 celdas:

De 2 =8 celdas:

Mapas de Karnugh para funciones de seis variables