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. Definicin de lgebra de Boole. Postulados.

Se define 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 definidos 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 verifica
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 verifica:
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 verifica que el complemento del complemento de a es a, es decir, (a) = a
Demostracin.-

TEMA II: LGEBRA DE CONMUTACIN

15

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 verifica:
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 verifica:
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 verifica
(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
Teorema 2.9.- (o Leyes de DeMorgan generalizadas) Para cualquier conjunto de elementos se
verifica:
(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
verifica
(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 verifica que un lgebra definida de la forma mostrada en la tabla 2.1 se trata de un
lgebra de Boole. La demostracin de esta afirmacin se realiza mediante la verificacin de los
cuatro postulados:
P1.- Se comprueba por simple inspeccin de la definicin 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 verificar.

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 definicin del operador complemento.
Un lgebra as definida 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
figura 2.1. stos son los smbolos tradicionales; y aunque existe una simbologa internacional
tambin mostrada, usaremos preferentemente estos smbolos:

17

TEMA II: LGEBRA DE CONMUTACIN

Puerta AND

&

Puerta OR

Puerta NOT o inversor

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

4. Funciones y Frmulas de Computacin.

En primer lugar vamos a definir 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 especificadas 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 filas (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 define 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 finito

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 definen a continuacin:
Se denomina trmino producto a la operacin AND de un
nmero dado de literales (variables o constantes).

TEMA II: LGEBRA DE CONMUTACIN

19

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 verifican los siguientes teoremas:
Teorema 2.12.- Dada la lista completa de mintrminos de n variables, asignando arbitrariamente 1s y 0s a cada variable, se verifica 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 influidos por
alguna variable, que se traduce en la inexistencia de dicha variable en el mintrmino. Pero
dicha afirmacin, contradice la definicin 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 finalmente 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.

21

TEMA II: LGEBRA DE CONMUTACIN

X0
0
0
0
0
1
1
1
1

X1
0
0
1
1
0
0
1
1

X2
0
1
0
1
0
1
0
1

F(X0,X1,X2)
0
1
1
1
0
1
0
1

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 verifican los siguientes teoremas:
Teorema 2.18.- Dada la lista completa de maxtrminos de n variables, asignando arbitrariamente 1s y 0s a cada variable, se verifica 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 influidos
por alguna variable, que se traduce en la inexistencia de dicha variable en el maxtrmino.
Pero dicha afirmacin, contradice la definicin 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 finalmente 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 influencia. Por ejemplo, la tabla 2.7 de combinaciones tendr la

23

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

X2
0
1
0
1
0
1
0
1

F(X0,X1,X2)
0
1
1
1
0
1
0
1

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 verifican 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 verifica las siguientes igualdades: mi = Mi y Mi = mi.
Demostracin.- Por definicin, i es el nmero decimal, codificado 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 figura 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 definidas para todas las combinaciones posibles de variables. No obstante, tambin se pueden dar casos de funciones que no se
encuentren definidas 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
especificadas. 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 especificada son 011, 110 y
111. Para estas combinaciones, la funcin puede tomar cualquier valor ya que ste no es significativo porque no se dar o no influir. Estas funciones se pueden expresar mediante la unin

TEMA II: LGEBRA DE CONMUTACIN

25

de dos funciones diferentes:

Una funcin completa, f, que contempla todas las inespecificaciones como 0 1,
segn el tipo de representacin. En el caso anterior sera f = m1 + m2 + m5 = M0M4.
Y otra funcin completa, denominada funcin inespecificacin, que contempla todas
las combinaciones para las que la funcin no est definida, 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 inespecificaciones suelen ser empleadas para ayudar a la minimizacin de las frmulas de conmutacin. Debido a estas inespecificaciones, se cumple que la frmula de mintrminos o de maxtrminos no es nica, ya que pueden existir tantas frmulas como combinaciones
de que sus inespecificaciones existan o no.
Se define el complemento de una funcin incompleta como otra funcin incompleta con
la misma funcin de inespecificacin y el complemento de los valores definidos. 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

27

TEMA II: LGEBRA DE CONMUTACIN

5.3. -Complemento.

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) + + b(-q+j )

q2

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 significativa (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 figura 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.

29

TEMA II: LGEBRA DE CONMUTACIN

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, simplificando 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 grfica de estas funciones
(figura 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.

W1
W2

Wn

Figura 2.3.- Smbolo de una funcin umbral.

La ventaja de estas funciones radica en una fcil implementacin fsica.