TEMA II: LGEBRA DE CONMUTACIN

En este captulo veremos los mtodos matemticos que se disponen para las operaciones relacionadas con los circuitos digitales, as como las funciones ms bsicas de la aritmtica binaria.

1. Denicin de lgebra de Boole. Postulados.

Se dene como lgebra de Boole a un sistema matemtico con un conjunto de elementos B y dos operaciones binarias cerradas () y (+) siempre y cuando se cumplan los siguientes postulados: P1.- las operaciones tienen la propiedad conmutativa. a+b = b+a ab = ba P2.- las operaciones son distributivas entre s a(b+c) = ab + ac a+(bc) = (a+b)(a+c) P3.- las operaciones tienen elementos identidad diferentes dentro de B. Estos elementos son denidos como 0 para (+) y 1 para (). a+0 = a a1 = a P4.- para cada elemento, a, del conjunto B, existe otro elemento denominado complemento, a tambin del conjunto B, tal que se cumple: a+a = 1 aa = 0 Como podemos ver, en cualquier lgebra booleana se cumple el principio de dualidad: Cualquier teorema o identidad algebraica deducible de los postulados anteriores puede transformarse en un segundo teorema o identidad vlida sin mas que intercambiar las operaciones binarias y los elementos identidad.

14

Dpto. Ingeniera Electrnica de Sistemas Informticos y Automtica Como en cualquier lgebra, podemos disponer de constantes y de variables. As, una constante se define como cualquier elemento del conjunto B. Mientras que una variable es un smbolo que representa un elemento arbitrario del lgebra, ya sea una constante o una frmula algebraica completa.

2. Teoremas del lgebra de Boole.

En cualquier lgebra de Boole se pueden demostrar los siguientes teoremas: Teorema 2.1.- El elemento a del 4 postulado (denominado complemento o negacin de a) est unvocamente determinado, es decir, es nico. Demostracin.- Supongamos que existen dos complementos de a: a1 y a2. a2 = a21 = a2(a+ a1) = a2a + a2a1 = aa1 + a2a1 = (a + a2)a1 = a1 Teorema 2.2.- (o Teorema de elementos nulos) Para cada cualquier elemento a, se verica a+1 = 1 y a0 = 0 Demostracin.a+1 = 1(a+1) = (a+a)(a+1) = a + a1 = a + a = 1 a0 = a0+0 = a0 + aa = a(a+0) = aa = 0 Teorema 2.3.- Cada uno de los elementos identidad es el complemento del otro, es decir, 1 = 0 y 0 = 1 Demostracin.- Si fuese cierto, deberan cumplir el cuarto postulado del lgebra: 1 = 0 + 0 0 = 0 0 Por ser nico l complemento: 0 = 1 1 = 1 + 1 0 = 1 1 Por ser nico el complemento: 1 = 0 Teorema 2.4.- (o Teorema de idempotencia) Para cada elemento a, se verica: a+a=a aa=a Demostracin.a + a = a + a 1 = a + a (a + a) = a + a a + a a = a (1 + a) = a 1 = a a a = a a + 0 = a a + a a = a(a + a) = a1 = a Teorema 2.5.- (o Teorema de involucin) Para cada elemento de a, se verica que el complemento del complemento de a es a, es decir, (a) = a Demostracin.-

TEMA II: LGEBRA DE CONMUTACIN a + (a) = 1 = a + a = a + a > a = (a) a (a) = 0 = a a = a a > a = (a) Teorema 2.6.- (o Teorema de absorcin) Para cada par de elementos, a y b, se verica: a+ab=a a (a + b) = a Demostracin.a + a b = a 1 + a b = a (1 + b) = a 1 = a a(a + b) = (a + 0) (a + b) = a + 0 b = a Teorema 2.7.- Para cada par de elementos, a y b, se verica: a + a b = a + b a (a + b) = a b Demostracin.a + a b = (a + a)(a + b) = 1(a + b) = a + b a (a + b) = a a + a b = a b Teorema 2.8.- (o Leyes de DeMorgan) Para cada par de elementos, a y b, se verica (a + b) = a b (a b) = a + b Demostracin.- Se comprobar si se satisface el cuarto postulado a + b + (a + b) = a + b + a b = a + a b + b + b a = = a + b + b + a = a + a + b + b = 1 + 1 = 1 (a + b) (a b) = a a b + b b a = b 0 + 0 a = 0 + 0 = 0 a b + (a b) = a b + a + b = a b + a + a b + b = = a + a + b + b = 1 + 1 = 1 a b (a + b) = a a b + a b b = 0 b + a 0 = 0 + 0 = 0

15

Teorema 2.9.- (o Leyes de DeMorgan generalizadas) Para cualquier conjunto de elementos se verica: (X0 + X1 + + Xn) = X0 X1 Xn (X0 X1 Xn) = X0 + X1 + + Xn Teorema 2.10.- (o Teorema de asociatividad) Cada uno de los operadores binarios (+) y () cumple la propiedad asociativa, es decir, para cada tres elementos, a, b y c, se verica (a + b) + c = a + (b + c) (a b) c = a (b c)

3. lgebra de Conmutacin.
Hasta ahora no hemos puesto ninguna restriccin al conjunto de elementos ni a los operadores binarios (salvo los postulados que deberan cumplir). Si particularizamos para el caso

16

Dpto. Ingeniera Electrnica de Sistemas Informticos y Automtica

de los circuitos digitales, restringimos el conjunto de elementos a los dos dgitos binarios {0,1} y las operaciones binarias son las siguientes: A B + Negacin 0 0 0 0 0=1 0 1 1 0 1 0 1 0 1=0 1 1 1 1 Tabla 2.1. Operaciones del lgebra de conmutacin. Se verica que un lgebra denida de la forma mostrada en la tabla 2.1 se trata de un lgebra de Boole. La demostracin de esta armacin se realiza mediante la vericacin de los cuatro postulados: P1.- Se comprueba por simple inspeccin de la denicin de las operaciones. A 0 0 0 0 1 1 1 1 P2.- Se puede comprobar evaluando todas las combinaciones posibles. B C A(B+C) AB + AC A + BC (A + B)(A+C) 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 Tabla 2.2. Demostracin de la propiedad distributiva.

P3.- Por inspeccin de los operadores se puede vericar. A B AB A+B 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 1 Tabla 2.3. Demostracin de los elementos neutros. P4.- Por denicin del operador complemento. Un lgebra as denida se denomina lgebra de conmutacin. Los operadores de esta lgebra reciben los siguientes nombres: operador + > operador OR operador > operador AND operador > operador NOT y los circuitos electrnicos que realizan estas operaciones se denominan puertas (OR, AND y NOT o inversor). Estas puertas tienen unos smbolos especiales, los cuales son mostrados en la gura 2.1. stos son los smbolos tradicionales; y aunque existe una simbologa internacional tambin mostrada, usaremos preferentemente estos smbolos:

TEMA II: LGEBRA DE CONMUTACIN

17

Puerta AND

Puerta OR 1

Puerta NOT o inversor 1

&

Figura 2.1.- Smbolos tradicionales e internacionales de las puertas lgicas ms bsicas.

4. Funciones y Frmulas de Computacin.

En primer lugar vamos a denir las relaciones existentes entre los elementos del lgebra, es decir, lo que se entiende por una funcin. Se define una funcin completa de un conjunto S en otro T como un subconjunto de SxT de forma que para cualquier elemento s que pertenezca a S, exista un solo elemento t de T, llamado valor de la funcin para s. Una funcin completa tambin es denominada funciones completamente especicadas o funcin de conmutacin. Una forma de representacin de las funciones de conmutacin es la llamada tabla de combinaciones o tabla de verdad. Est formada por n+1 columnas: n columnas para las variables de entrada y una para el valor de la funcin; y 2n las (de todas las combinaciones posibles de las n entradas). Un ejemplo de tabla de combinaciones, para una funcin de tres variables, sera la mostrada en la tabla 2.4: X2 X1 X0 F(X2, X1, X0) 0 0 0 F(0, 0, 0) 0 0 1 F(0, 0, 1) 0 1 0 F(0, 1, 0) 0 1 1 F(0, 1, 1) 1 0 0 F(1, 0, 0) 1 0 1 F(1, 0, 1) 1 1 0 F(1, 1, 0) 1 1 1 F(1, 1, 1) Tabla 2.4. Ejemplo de tabla de verdad de una funcin lgica Las funciones de conmutacin se pueden expresar mediante frmulas o expresiones de conmutacin. Una frmula o expresin de conmutacin de n variables se dene recursivamente como: Las constantes 1 y 0 son frmulas de conmutacin La variables xi es una frmula si se encuentra restringida al conjunto {0,1} Si A es una frmula, entonces A tambin lo es

18

Dpto. Ingeniera Electrnica de Sistemas Informticos y Automtica Si A y B son frmulas de conmutacin, entonces el resultado de cualquier operacin binaria de ellas tambin lo es. Es decir, A+B y AB tambin son frmulas de conmutacin Nada ms es una frmula de conmutacin, a menos que se sigan los anteriores puntos en un nmero nito

As, encontramos que son frmulas de conmutacin: x1x2 + x3x4 x1(x2+ x3) (x1 + x2)(x3 +x4) Mientras que los siguientes ejemplos no son frmulas de conmutacin: x1+ x3x4 x1(x2+ x3) Como todos los postulados y teoremas del lgebra de conmutacin fueron formulados mediante variables (las cuales pueden ser tanto constantes como expresiones completas), stos pueden ser aplicados a cualquier funcin o frmula de conmutacin. Teorema 2.11.- Cada frmula de conmutacin describe una nica funcin de conmutacin. Demostracin.- De cada frmula podemos obtener una tabla de combinaciones que es nica, evaluando la frmula para todas las combinaciones posibles de las variables de entradas. Como una funcin es biunvocamente representada por una tabla de combinaciones, si la ltima es nica, la primera tambin lo ser. Se dice que dos frmulas de conmutacin son equivalentes (A = B) si describen la misma funcin de conmutacin. Por ejemplo, si consideramos la funcin mostrada en la tabla 2.5, las siguientes frmulas son equivalentes: F(X1, X2) = X2 F(X1, X2) = X1X2 + X1X2 F(X1, X2) = (X1+X2)(X1+X2) X1 0 0 1 1 X2 F(X1, X2) 0 0 1 1 0 1 1 0 Tabla 2.5. Ejemplo de funcin lgica.

Como se puede ver, pueden existir muchas frmulas de conmutacin que describan a la misma funcin de conmutacin. Dentro de las frmulas de conmutacin, hay algunas que son de especial inters, las cuales se denen a continuacin: Se denomina trmino producto a la operacin AND de un nmero dado de literales (variables o constantes).

TEMA II: LGEBRA DE CONMUTACIN Se denomina trmino suma a la operacin OR de un nmero dado de literales (variables o constantes). Se define frmula normal disyuntiva a la expresin de la funcin como suma de trminos productos, o se dice que se encuentra expresada en forma normal disyuntiva. Se define frmula normal conjuntiva a la expresin de la funcin como producto de trminos suma, o se dice que se encuentra expresada en forma normal conjuntiva. Por ejemplo: Frmula normal disyuntiva > F(X0, X1, X2) = X1X2 + X1X2 Frmula normal conjuntiva > F(X0, X1, X2) = (X1 + X2)(X1 +X2) Se define mintrmino al trmino producto en el que aparecen todas las variables una y una sola vez, ya sea complementada o sin complementar; por lo tanto, un mintrmino es un caso especial de trmino producto. Por ejemplo, X1X2 es un mintrmino denominado m1. A la frmula normal disyuntiva en el que todos los trminos productos que aparecen son mintrminos, se le denomina frmula cannica disyuntiva. Se verican los siguientes teoremas:

19

Teorema 2.12.- Dada la lista completa de mintrminos de n variables, asignando arbitrariamente 1s y 0s a cada variable, se verica que un nico mintrmino tomar el valor 1. Demostracin.- Para que dos o ms mintrminos tomasen el valor 1 con una sola combinacin de las variables de entrada, se debe cumplir que dichos mintrminos no se vean inuidos por alguna variable, que se traduce en la inexistencia de dicha variable en el mintrmino. Pero dicha armacin, contradice la denicin de mintrmino en la deben aparecer todas las variables de la funcin. Teorema 2.13.- La frmula compuesta por los 2n mintrminos ser idnticamente 1. Demostracin.- Del teorema anterior, vemos que una determinada combinacin de 1s y 0s en las variables de entrada, provoca que un mintrmino tome el valor 1. Por lo tanto si sumamos todos los mintrminos posibles, siempre habr algn mintrmino que tome el valor 1, que al sumarlo con los restantes 0s, dar a la funcin el valor 1. Teorema 2.14.- Cada funcin puede expresarse como suma de mintrminos. Demostracin.- Cualquier funcin se puede expresar como suma de trminos productos, al evaluar los parntesis de una frmula equivalente. Una vez que tengamos una frmula equivalente a la original escrita como suma de trminos productos, pasamos a incluir en todos los trminos, todas las variables de la funcin. Para ello, haremos uso del elemento identidad y el cuarto postulado (a+a=1, en particular), sustituiremos los 1s necesarios de los trminos productos por expresiones del tipo (a+a) de las variables que no aparecen. De nuevo se evalan los parntesis y obtendremos nalmente la frmula cannica disyuntiva.

20

Dpto. Ingeniera Electrnica de Sistemas Informticos y Automtica Supongamos que tenemos la frmula disyuntiva F(x,y,z) = xy + z Para pasar a frmula cannica debera multiplicar por las variables que faltan en cada trmino producto, es decir, F(x,y,z) = xy(z+z) + (x+x)(y+y)z = = xyz + xyz + xyz + xyz + xyz + xyz

Teorema 2.15.- La frmula cannica disyuntiva o de mintrminos es nica. Demostracin.- Como una combinacin de las variables har que un solo mintrmino tome el valor 1, para obtener una frmula equivalente de mintrminos, ste no puede ser sustituido. Repitiendo este razonamiento en todos los mintrminos que aparecen en la frmula, vemos que ninguno es sustituible. Tampoco se puede aadir ms mintrminos ya que stos harn que la funcin tome el valor 1 en un caso errneo. Y por ltimo, tampoco se puede eliminar ningn mintrmino ya que para la combinacin que se hara 1, la funcin ya no tendra el valor correcto. Por lo tanto, no se pueden aadir, eliminar o sustituir mintrminos, por lo que la frmula queda inalterable. Teorema 2.16.- (o Primer teorema de expansin) Para una funcin de conmutacin, se cumple que f(x1, x2,, xn) = x1 f(1, x2,, xn) + x1 f(0, x2,, xn) Demostracin.- Usando los postulados y teoremas del lgebra de Boole podemos representar f(x1, x2, , xn) = x1 A + x1 B. Por lo que: Si x1 = 1, f(1, x2,, xn) = A Si x1 = 0, f(0, x2,, xn) = B Teorema 2.17.- Cada funcin completa puede escribirse como: f(x1, x2,, xn) = f(i) mi(x1, x2,, xn) donde i es el nmero decimal que hace que dicho mintrmino tenga el valor 1. Por ejemplo m0 = x1 x2 xn m1 = x1 x2 xn m2n-1 = x1 x2 xn Es decir, el nmero del mintrmino es igual al nmero decimal que coincide con la combinacin de seales de entrada que le da el valor 1 a dicho mintrmino. Demostracin.- Se aplica sucesivamente el teorema de expansin. Vamos a particularizar a una funcin de tres variables (aunque el desarrollo sera perfectamente vlido para cualquier nmero de entradas). F(x,y,z) = xF(1,y,z) + xF(0,y,z) = x(yF(1,1,z)+yF(1,0,z)) + x(yF(0,1,z)+yF(0,0,z)) = x{y(zF(1,1,1)+zF(1,1,0))+y(zF(1,0,1)+zF(1,0,0))} + x{y(zF(0,1,1)+zF(0,1,0))+y(zF(0,0,1)+zF(0,0,0))} = xyzF(1,1,1)+xyzF(1,1,0)+xyzF(1,0,1)+xyzF(1,0,0) + xyzF(0,1,1)+xyzF(0,1,0)+xyzF(0,0,1)+xyzF(0,0,0) Por lo tanto, en una frmula de mintrminos slo aparecern aquellos que tomen el valor 1 para alguna combinacin de las variables de entrada, ya que el producto por 0 anular dicho mintrmino. Por ejemplo, la tabla 2.6 de combinaciones tendr la siguiente frmula de mintrminos.

TEMA II: LGEBRA DE CONMUTACIN X0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 X1 0 1 0 1 0 1 0 1 X2 0 1 1 1 0 1 0 1 F(X0,X1,X2)

21

F(X0,X1,X2) = m1 + m2 + m3 + m5 + m7 = m(1,2,3,5,7) Tabla 2.6. Ejemplo de una frmula expresada como suma de mintrminos. Por la aplicacin directa del principio de dualidad, se define maxtrmino como el trmino suma en el que aparecen una y una sola vez todas las variables de la funcin, ya sean complementadas o sin complementar; por lo tanto, un maxtrmino es un caso especial de trmino suma. Por ejemplo, X1+X2 es un maxtrmino denominado M1. A la frmula normal conjuntiva escrita mediante maxtrminos se le denomina frmula cannica conjuntiva o frmula de maxtrminos. Se verican los siguientes teoremas: Teorema 2.18.- Dada la lista completa de maxtrminos de n variables, asignando arbitrariamente 1s y 0s a cada variable, se verica que un nico maxtrmino tomar el valor 0. Demostracin.- Para que dos o ms maxtrminos tomasen el valor 0 con una sola combinacin de las variables de entrada, se debe cumplir que dichos maxtrminos no se vean inuidos por alguna variable, que se traduce en la inexistencia de dicha variable en el maxtrmino. Pero dicha armacin, contradice la denicin de maxtrmino en la deben aparecer todas las variables de la funcin. Teorema 2.19.- La frmula compuesta por los 2n maxtrminos ser idnticamente 0. Demostracin.- Del teorema anterior, vemos que una determinada combinacin de 1s y 0s en las variables de entrada, provoca que un maxtrmino tome el valor 0. Por lo tanto si sumamos todos los mintrminos posibles, siempre habr algn maxtrmino que tome el valor 0, que al multiplicarlo con los restantes 1s, dar a la funcin el valor 0. Teorema 2.20.- Cada funcin puede expresarse como suma de maxtrminos. Demostracin.- Cualquier funcin se puede expresar como suma de trminos suma, al evaluar los parntesis de una frmula equivalente. Una vez que tengamos una frmula equivalente a la original escrita como suma de trminos suma, pasamos a incluir en todos los trminos, todas las variables de la funcin. Para ello, haremos uso del elemento identidad y el cuarto postulado (aa=0, en particular), sustituiremos los 1s necesarios de los trminos productos

22

Dpto. Ingeniera Electrnica de Sistemas Informticos y Automtica por expresiones del tipo (aa) de las variables que no aparecen. De nuevo se evalan los parntesis y obtendremos nalmente la frmula cannica conjuntiva. Si consideramos la frmula disyuntiva F(x,y,z)=(x+y)z, para pasarla a su forma cannica actuamos con la adicin de los trminos F(x,y,z) = (x+y+zz)(xx+yy+z) = = (x+y+z)(x+y+z)(x+y+z)(x+y+z)(x+y+z)(x+y+z)

Teorema 2.21.- La frmula cannica conjuntiva o de maxtrminos es nica. Demostracin.- Para obtener una frmula equivalente de maxtrminos, un maxtrmino no puede ser sustituido, ya que el valor 0 de dicho maxtrmino no puede ser aadido con otro. Repitiendo este razonamiento en todos los maxtrminos que aparecen en la frmula, vemos que ninguno puede ser sustituido. Tampoco se puede aadir ms maxtrminos ya que stos harn que la funcin tome el valor 0 en un caso errneo. Y por ltimo, tampoco se puede eliminar ningn maxtrmino ya que para la combinacin que se hara 0, la funcin ya no tendra el valor correcto. Por lo tanto, no se pueden aadir, eliminar o sustituir maxtrminos, por lo que la frmula queda inalterable. Teorema 2.22.- (o Segundo teorema de expansin) Para una funcin de conmutacin, se cumple que f(x1, x2,, xn) = [x1+ f(0, x2,, xn)] [x1 + f(1, x2,, xn)] Demostracin.- Usando los postulados y teoremas del lgebra de Boole podemos representar f(x1, x2,, xn) = (x1+ A) (x1 + B). Por lo que: Si x1 = 0, f(0, x2,, xn) = A Si x1 = 1, f(1, x2,, xn) = B Teorema 2.23.- Cada funcin completa puede escribirse como: f(x1, x2,, xn) = i [f(i) + Mi(x1, x2,, xn)] donde i es el nmero decimal que hace que dicho maxtrmino tenga el valor 0. Por ejemplo M0 = x1 + x2 + + xn M1 = x1 + x2 + + xn M2n-1 = x1 + x2 + + xn Es decir, el nmero del maxtrmino es igual al nmero decimal que coincide con la combinacin de seales de entrada que le da el valor 0 a dicho maxtrmino. Demostracin.- Se aplica sucesivamente el teorema de expansin.Vamos a particularizar a una funcin de tres variables (aunque el desarrollo sera perfectamente vlido para cualquier nmero de entradas). F(x,y,z) = (x+F(0,y,z))(x+F(1,y,z)) = {x + (y+F(0,0,z))(y+F(0,1,z))}{x+(y+F(1,0,z))(y+F(1,1,z))} = {x + (y+(z+F(0,0,0))(z+F(0,0,1)))(y+(z+F(0,1,0))(z+F(0,1,1)))} {x+(y+(z+F(1,0,0))(z+F(1,0,1)))(y+(z+F(1,1,0))(z+F(1,1,1)))} = (x+y+z+F(0,0,0))(x+y+z+F(0,0,1))(x+y+z+F(0,1,0))(x+y+z+F(0,1,1)) (x+y+z+F(1,0,0))(x+y+z+F(1,0,1))(x+y+z+F(1,1,0))(x+y+z+F(1,1,1)) Por lo tanto, en una frmula de maxtrminos slo aparecern aquellos que tomen el valor 0 para alguna combinacin de las variables de entrada, ya que la suma de 1 a los trminos sumas consigue su no inuencia. Por ejemplo, la tabla 2.7 de combinaciones tendr la

TEMA II: LGEBRA DE CONMUTACIN siguiente frmula de maxtrminos. X0 X1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1

23

X2 0 1 1 1 0 1 0 1

F(X0,X1,X2)

F = M0 M4 M6 = M(0,4,6) Tabla 2.7. Ejemplo de frmula expresada como producto de maxtrminos. El modo de transformar una frmula de mintrminos en otra de maxtrminos se basa en la doble complementacin ya que (f) = f. En esta transformacin se verican los siguientes teoremas: Teorema 2.24.- El complemento de una frmula de mintrminos est formado por la suma de los mintrminos que no aparecen en la frmula original. Demostracin.- Como ya hemos visto, en una frmula de mintrminos nicamente aparecen aquellos que pueden tomar un valor de 1, mientras que los que toman siempre el valor 0 no aparecen. No obstante, como la complementacin consiste en intercambiar 1s por 0s, en la frmula complementada tomarn el valor 1 aquellos mintrminos que tomaban el valor 0, mientras que tomarn el valor 0 aquellos que tomaban el valor 1. Por lo tanto, en la frmula complementada aparecern todos los mintrminos que pasan a tomar el valor 1, que son los mismos que en la frmula original tomaban el valor 0 y por tanto no aparecan. Teorema 2.25.- El complemento de una frmula de maxtrminos est formado por el producto de los maxtrminos que no aparecen en la frmula original. Demostracin.- Como ya hemos visto, en una frmula de maxtrminos nicamente aparecen aquellos que pueden tomar un valor de 0, mientras que los que toman siempre el valor 1 no aparecen. No obstante, como la complementacin consiste en intercambiar 1s por 0s, en la frmula complementada tomarn el valor 1 aquellos maxtrminos que tomaban el valor 0, mientras que tomarn el valor 0 aquellos que tomaban el valor 1. Por lo tanto, en la frmula complementada aparecern todos los maxtrminos que pasan a tomar el valor 0, que son los mismos que en la frmula original tomaban el valor 1 y por tanto no aparecan. Teorema 2.26.- Siempre se verica las siguientes igualdades: mi = Mi y Mi = mi. Demostracin.- Por denicin, i es el nmero decimal, codicado en binario con las variables de entrada, que hace que el mintrmino tome el valor de 1 y el maxtrmino tome el valor de 0. Como el mintrmino es el producto de todas las variables (complementadas o sin complementar), todas aquellas que aparezcan sin complementar se sustituirn por 1, mientras que las complementadas se sustituyen por 0. Y como el maxtrmino es la suma de todas las variables (complementadas o sin complementar), todas aquellas que aparezcan sin complementar se sustituirn por 0 y las que estn complementadas se sustituirn por 1. Ahora bien, por las leyes de DeMorgan generalizadas, el complemento de mintrmino ser un maxtrmino (cambiar operacin AND por OR) con las variables invertidas (las que estaban sin

24

Dpto. Ingeniera Electrnica de Sistemas Informticos y Automtica complementar, ahora aparecern complementadas y viceversa). Por lo tanto, el ndice del mintrmino y del maxtrmino obtenido de su complementacin es el mismo. Y como el complemento del complemento de un elemento es ese mismo elemento, la segunda igualdad tambin queda demostrada.

No obstante, a la hora de implementar las funciones de conmutacin mediante circuitos o puertas lgicas, las expresiones en formas cannicas no derivan en una implementacin ptima, generalmente. Las expresiones ms empleadas para su posterior implementacin son las que siguen una serie de criterios de minimalidad. Los criterios ms comunes son los siguientes: Menor nmero de variables. Menor nmero de trminos (ya que, por lo general, un trmino suele corresponderse con una puerta lgica). Menor valor asociado. Este valor sigue la siguiente frmula: n trminos + n variables n trminos con un solo literal 1 El primer criterio (el nmero de variables) nos va a dar idea del nmero de entradas que debe tener cada puerta lgica del primer nivel, es decir, en el caso de suma (producto) de productos (sumas), nos indicar el nmero de entradas de cada puerta AND (OR). El segundo criterio nos va a dar idea del nmero aproximado de puertas del primer nivel. Por ltimo, el tercer criterio nos va a dar idea del nmero de trminos que no sern implementados con puertas (la gura de trminos con un solo literal, que ser implementada con un solo cable). El paso de una frmula a otra, y en particular a la frmula mnima, se basa en la aplicacin de los postulados y los teoremas correspondientes al lgebra de conmutacin. Hasta ahora hemos visto funciones que se encuentran denidas para todas las combinaciones posibles de variables. No obstante, tambin se pueden dar casos de funciones que no se encuentren denidas para todas las combinaciones de entradas. Esto suele pasar cuando las variables de entrada no son independientes entre s o que no puedan darse todas las combinaciones. A este tipo de funciones se les denomina funciones incompletas o incompletamente especicadas. Una funcin incompleta puede ser la expresada por la tabla 2.8 de combinaciones:. X0 X1 X2 F(X0,X1,X2) 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 -1 0 0 0 1 0 1 1 1 1 0 -1 1 1 -Tabla 2.8. Ejemplo de tabla de verdad de una funcin incompleta. En este caso, las combinaciones para las que la funcin no est especicada son 011, 110 y 111. Para estas combinaciones, la funcin puede tomar cualquier valor ya que ste no es signicativo porque no se dar o no inuir. Estas funciones se pueden expresar mediante la unin

TEMA II: LGEBRA DE CONMUTACIN de dos funciones diferentes:

25

Una funcin completa, f, que contempla todas las inespecicaciones como 0 1, segn el tipo de representacin. En el caso anterior sera f = m1 + m2 + m5 = M0M4. Y otra funcin completa, denominada funcin inespecicacin, que contempla todas las combinaciones para las que la funcin no est denida, solindose denominar como la funcin . En el caso anterior sera = m3 + m6 + m7 = M3M6M7. A la hora de crear la frmula que expresa dicha funcin, hay que tener en cuenta dos puntos: La funcin f debe ser completamente implementada. La funcin no tiene porqu ser completamente implementada. sta puede que no sea implementada, que sea implementada slo parcialmente o que est completamente implementada. Las inespecicaciones suelen ser empleadas para ayudar a la minimizacin de las frmulas de conmutacin. Debido a estas inespecicaciones, se cumple que la frmula de mintrminos o de maxtrminos no es nica, ya que pueden existir tantas frmulas como combinaciones de que sus inespecicaciones existan o no. Se dene el complemento de una funcin incompleta como otra funcin incompleta con la misma funcin de inespecicacin y el complemento de los valores denidos. Por ejemplo: X0 X1 X2 F(X0,X1,X2) F(X0,X1,X2) 0 0 0 0 1 1 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 --0 0 0 1 0 1 1 0 1 0 --1 1 --Tabla 2.9. Ejemplo de una funcin incompleta y su complemento.

26

Dpto. Ingeniera Electrnica de Sistemas Informticos y Automtica

5. Aritmtica binaria.
Una vez visto el lgebra de Boole, y en particular el de conmutacin, pasaremos a ver como se haran las operaciones ms bsicas de la aritmtica (suma, resta, multiplicacin y divisin) utilizando el cdigo binario. 5.1. Suma binaria. La suma binaria tiene dos salidas: suma y acarreo. La salida suma es el resultado, mientras que el acarreo es lo que se le aade a la siguiente suboperacin. La tabla de combinaciones para la suma de dos entradas es la tabla 2.10, que se encuentra junto a un ejemplo: A B Suma Acarreo 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 Tabla 2.10. Tabla de verdad correspondiente a la suma aritmtica.

Acarreo Sumando A Sumando B Resultado

111111 1 010110.011 011011.110 110010.001

22.375 27.750 50.125

5.2. Resta. La resta binaria tiene dos salidas: resta y desbordamiento. La salida resta es el resultado, mientras que el desbordamiento es lo que se le vuelve a restar a la siguiente suboperacin, como si fuese un nuevo substraendo. La tabla de combinaciones para la suma de dos entradas es la tabla 2.11, que se encuentra junto a un ejemplo: A B Resta Desbordamiento 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 Tabla 2.11. Tabla de verdad correspondiente a la resta aritmtica.

Sustraendo Desbordamiento Minuendo Resultado

10100.11 10110 0 01011.01 01001.10

20.75 11.25 09.50

TEMA II: LGEBRA DE CONMUTACIN 5.3. -Complemento.

27

Al igual que la resta de los nmeros reales se puede ver como la suma del nmero negativo, en la resta binaria se puede hacer lo mismo. El nmero negativo en binario es el denominado complemento a dos de dicho nmero, representado por 2B. El complemento a dos de un nmero binario se calcula invirtiendo dicho nmero y sumarle 1 a la inversin, como podemos ver en el siguiente ejemplo:
2(1011)

= 0100 + 1 = 0101

+1111 -------------> +1111 -1011 ------------->+0101 +0100 ------------> +0100 Otra forma de obtener el complemento a dos es la siguiente: empezando por la derecha se deja todo igual hasta encontrar el primer 1 (inclusive) y a partir de ah se invierte la parte restante bit a bit. En el caso de que el resultado sea negativo, tanto con la suma con el complemento a dos como en la resta binaria, el nmero que se obtiene es el nmero negativo binario, y por tanto, el complemento a dos del nmero en cuestin. 5.4. Desplazamiento. En el caso que queramos realizar operaciones complejas (multiplicacin y/o divisin) con nmeros de potencia de dos (2, 4, 8, 16, 32), stas resultan muy simples por propia construccin del cdigo binario. La multiplicacin (divisin) por 2n se realiza desplazando el punto decimal n dgitos a la derecha (izquierda). En el caso de que no existan ms dgitos, se rellenarn con ceros. Esta forma se puede demostrar por la expresin polinmica de los nmeros binarios. (bn2n + + b020 + b-12-1 + b-q2-q) x 2j = bn2(n+j) + + b02(0+j) + b-12(-1+j) + + bq2 (-q+j )

100110101.1 x 16= 1001101011000 5.5. Multiplicacin. La multiplicacin de dos nmeros binarios cualesquiera se basa en la tabla 2.12 de combinaciones: A B Producto 0 0 0 0 1 0 1 0 0 1 1 1 Tabla 2.12. Tabla de verdad correspondiente al producto aritmtico.

28

Dpto. Ingeniera Electrnica de Sistemas Informticos y Automtica

Despus se realiza la suma de los productos parciales (como en el caso decimal). As, mostramos como ejemplo la multiplicacin de 5.75 x 5 = 28.75. 101.11 x 101 10111 000000 1011100 11100.11 5.75 x5

28.75

5.6. Divisin. La divisin es la operacin ms compleja, realizndose generalmente a travs de una algoritmo. El algoritmo que vamos a emplear ser el siguiente. El divisor se alinear con la parte ms signicativa (ms a la izquierda) del dividendo y se restar. Si el resultado de esta resta es negativo, al cociente se le aade un cero a la derecha y el divisor se desplaza un dgito a la derecha y volvemos a restar. Si el resultado es positivo, al cociente se le aade un 1 a la derecha y al resultado de la resta se le aade el dgito inmediatamente siguiente de la derecha del dividendo, y se vuelve a empezar. A continuacin, vemos en la gura 2.2, y a modo de ejemplo, la divisin correspondiente a 45/5: 101101 101 101 000101 1001 101 000 Figura 2.2.- Ejemplo de la divisin binaria.

TEMA II: LGEBRA DE CONMUTACIN

29

6. Apndice: Funciones Complejas.

Hasta ahora hemos visto funciones de forma general. No obstante, existen funciones con unas determinadas propiedades especiales que suelen darle el nombre. 6.1. Funciones simtricas. Una funcin se denomina totalmente simtrica cuando permanece inalterable ante cualquier permutacin de sus variables. En estos casos, lo que realmente da el comportamiento de la funcin no son las variables individuales, sino su conjunto. En el caso de que la simetra se d para algunas variables complementadas, se dice que la funcin es simtrica mixta. Pero en ambos casos se dice que la funcin es simtrica. La forma de representar estas funciones es mediante la letra S, seguida (mediante subndices) del nmero de 1's para los que la funcin toma el valor 1. En la tabla 2.13 mostramos un ejemplo: X0 X1 X2 F(X0,X1,X2) n de 1s 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 2 1 0 0 1 1 0 1 2 1 1 0 2 1 1 1 3 F(X0,X1,X2) = S0,1,3(X0,X1,X2) 1 1 1 0 1 0 0 1

Tabla 2.13. Ejemplo de una funcin simtrica. No obstante, cuando la funcin no es simtrica para todas sus variables sino para un conjunto de ellas, se dice que la funcin es parcialmente simtrica. La ventaja de estas funciones es la fcil implementacin mediante conmutadores. 6.2. Funciones frontales y backales. Cuando se puede encontrar una frmula en suma de productos en la que una variable, xi, slo aparece sin complementar (o complementada), se dice que dicha funcin es positiva (o negativa) para la variable xi. En cambio, si en todas las frmulas aparece tanto la variable sin complementar como la complementada, se dice que la funcin es mixta en xi. Mientras que si existe una frmula en la que no aparece la variable xi, se dice que la funcin es vacua en xi. Extendiendo estas definiciones al conjunto completo de

30

Dpto. Ingeniera Electrnica de Sistemas Informticos y Automtica variables de la funcin, se dice que una funcin es frontal (backal) si es positiva (negativa) en todas sus variables.

La ventaja de las funciones frontales (backales) es que si disponemos del valor sin complementar (complementado) de las variables de entrada, no nos harn falta inversores a las entradas, simplicando de este modo la implementacin del circuito lgico. 6.3. Funciones umbrales. Una funcin umbral se define como aquella que se puede definir mediante desigualdades a modo de pesos, por ejemplo f(x1, x2,, xn) = 1 si n xi wi >T donde wi representa el vector peso y T el umbral. La representacin grca de estas funciones (gura 2.3) se realiza mediante una caja en la que cada entrada est acompaada del peso asociado, mientras que en la esquina superior derecha se le indica el umbral a partir del cual el valor de la funcin ser 1. T

W1 W2

Wn

Figura 2.3.- Smbolo de una funcin umbral. La ventaja de estas funciones radica en una fcil implementacin fsica.