Escolar Documentos
Profissional Documentos
Cultura Documentos
DEPARTAMENTO DE MATEMTICAS
ESTRUCTURAS DISCRETAS II
ING. MSC. ADRIANA BARRETO
ALGEBRAS BOOLEANAS
1) a+b = b+a
2) ab = ba
3) a+(b+c) = (a+b)+c
4) a(bc) = (ab) c
5) a(b+c) = (ab) + (ac)
6) a+(bc) = (a+b) (ac)
7) a+0 = a
8) a+1 = 1
9) a0 = 0
10)a1 = a
11)a+a = a
12)aa = a
13)a+ab = a
14)a(a+b) = a
15)a + = 1
16)a = 0
17)El complementario de es = a
18) = 0
19) = 1
20)a=b =
21) =
22) = +
Dem: Vamos a demostrar 13 y 19. Los dems son parecidos o consecuencia inmediata de la
demostracin y se dejan como ejercicio
19) Veamos que es el complementario de a+b, para ello hemos de comprobar que su
producto es 0 y su suma 1
(a+b) = a + b = 0 + b = 0 + 0 = 0 + 0 = 0
(a+b) + = (a+b+ ) (a+b+ ) = (a+ +b) (a+1) = (1+b) (1) = 11 = 1
PROP. Si A es un conjunto con tres operaciones +, y - cumpliendo las propiedades anteriores
entonces es un lgebra de Boole con la relacin de orden a b ab = a
EJEMPLO:
1) En {0,1} se definen
0+0 = 0, 0+1 = 1, 1+0 = 1, 1+1 = 1
00 = 0, 01 = 0, 10 = 0, 11 = 1
= 1, = 0
es fcil comprobar que cumplen las propiedades anteriores, por tanto forman un lgebra de
Boole cuyo orden viene dado por 0 0, 0 1, 1 1. A esta lgebra de Boole la llamaremos B2.
2. tomo.
Dem:
Si a=b+c entonces b y c son a. Como a es tomo, b=a o 0 y c= a o 0. Si fuesen los dos
menores que a, debera ser b = 0 y c = 0. Pero entonces a = b+c = 0+0 =0 lo que no es
posible porque a era distinto de 0.
Sea b<a y veamos que b=0. Como b+ =1 tendremos que
a = a1 = a(b+ ) =ab + a = b + a .
Como b < a, no puede ser tambin a < a, luego de a a se sigue que a = a y, por
tanto, b < a . Luego b y tendremos que b = b = 0.
Dem.- El caso 1) es cierto en general. Si b no es menor que a, sabemos que a b es < b pero,
como b es un tomo, ab tiene que ser 0, ya que el nico elemento menor que un tomo es el
0.
PROP. Sea a un elemento no nulo. Entonces a puede ponerse de forma nica como suma de
tomos y los tomos que aparecen en dicha suma son aquellos que son menores que a.
Dem. Sean {b1,...,bk} los tomos de B. Supongamos que b1,...,br son a, mientras que los
dems no lo son. Como hemos visto, 1 = b 1+...+bk, luego a = a1 = a(b1+....+bk) = ab1+....
+abk.
Por la proposicin anterior, ab1 = b1,...,abr = br, abr+1 = 0,...., abk = 0, por lo que, al sustituir,
tendremos a = ab1+...+abr+abr+1+...,abk = b1+...+br+0+...+0 = b1+....+br, es decir, a es la
suma de aquellos tomos menores o iguales que l.
Si escribimos a como suma de tomos, claramente deben de ser menores o iguales que
a. Adems, no puede faltar ninguno. En efecto, imaginemos que a se puede poner como suma
de tomos que sean todos (por ejemplo) distintos de b 1, a = c1+...+ct En este caso, como b1a,
tendremos que b1 = ab1 = (c1+...+ct)b1 = c1b1+....+ctb1. Pero como los ci son tomos
distintos de b1 en particular no pueden ser mayores o iguales que b 1 y, por tanto, todos los c ib1
deben de valer 0. Por tanto,
deberamos tener b1 = c1b1+...+ctb1 = 0+....+0 = 0, lo que no es posible porque b 1, al ser un
tomo, ha de ser no nulo.
NOTA. Con esta notacin de tomos, es bastante fcil interpretar la suma, producto
y complementario, llegando a las siguientes reglas:
Dadas dos lgebras de Boole B y B, un isomorfismo entre ambas es una aplicacin f:B B
verificando
a) Es biyectiva, es decir, a cada elemento de B le corresponde exactamente uno de B y
recprocamente
b) a b f(a) f(b)
NOTA. Por tanto, es conveniente conocer bien el lgebra B 2n. A continuacin damos
algunas propiedades suyas
1) 0 = 00...0 y 1 = 11...1
2) Los tomos estn formados por aquellos nmeros a 1...an en los que exactamente un dgito
vale 1 mientras que los dems valen 0, es decir, los tomos son 10....0, 010...0,...,000...01.
3) Si a1...an es un elemento cualquiera, los tomos menores o iguales que l corresponden a
aquellos que tienen un 1 en una posicin en la que a 1...an tambin lo tenga
4. Expresiones Booleanas.
Sean x1,...,xn n smbolos de variable. Una expresin booleana en las variables x 1,...,xn es
cualquier expresin que pueda formarse mediante la repeticin de las siguientes reglas
Las expresiones booleanas son, por tanto, aquellas que pueden formarse con variables y
las operaciones propias de un lgebra de Boole.
Dos expresiones E y E de las mismas variables que para cualquier valor de las variables
tengan el mismo valor diremos que son equivalentes y, en la prctica, consideraremos que son
iguales.
DEF.- Diremos que E E si para todos los valores para los que E vale 1, la expresin E
tambin vale 1.
TEOR. Sea f:B2nB2 una funcin Booleana. Existe una expresin booleana en n variables que
tiene exactamente el mismo valor que f.
Dem. Sean a = a1....an, b = b1...bn,..., c = c1....cn los valores de B2n para los que f vale 1. Basta
considerar ahora E = Ma+Mb+...+Mc que, como hemos visto, vale 1 exactamente para aquellos
valores de las variables que coincidan con los valores de a, de b,..., de c. Por tanto E vale
exactamente lo mismo que f en todas las ocasiones.
Por supuesto, una misma funcin f puede representarse por muchas expresiones
distintas, siendo nuestro objetivo buscar de entre todas ellas la ms simple posible.
Dentro de los distintos medios que existen para ello, vamos a ver dos de los ms
usuales, el mtodo de los mapas de Karnaugh y el de Quine-McCluskey
Polinomios Bolanos.
Ejemplo:
P(x,y) = x. y + x . y
x y P(x,y) = x. y + x . y
1 1 0
1 0 1
0 1 1
0 0 0
Circuitos Lgicos.
COMPUERTA AND
TABLA DE VERDAD
A B C
0 0 0
0 1 0
1 0 0
1 1 1
Smbolo Lgico.
Una compuerta AND puede tener muchas entradas. Una AND de mltiples entradas
puede ser creada conectando compuertas simples en series. Si nosotros necesitamos una
AND de tres entradas y no la tenemos disponible, sera facil crearla con dos compuertas
AND en serie o cascada como se muestra en la siguiente figura:
Tabla de Verdad
A
B
C
X
0
0
0
0
0
0
1
0
0
1
0
0
0
1
1
0
1
0
0
0
1
0
1
0
1
1
0
0
1
1
1
1
TABLA DE VERDAD
A B C
0 0 0
0 1 1
1 0 1
1 1 1
X=A+B X=B+A
COMPUERTA NOT
A
A
NOT
Ejemplo:
P(x,y) = x + x . y
x
x + x . y
x x . y
y
6. Funciones Booleanas.
Dado que cualquier funcin cuya imagen est en B 2m puede verse como m funciones
que tomen valores 0 1 y que den los sucesivos dgitos de f, a partir de ahora nos
restringiremos a trabajar sobre funciones f:B2nB2.
MTODO DE QUINE-McCLUSKEY.
Si tenemos una expresin en forma normal disyuntiva, todos los mintrminos que
aparecen en dicha expresin son implicantes suyos. El primer paso de nuestro mtodo consiste
en intentar eliminar de cada uno de dichos mintrminos todos los
posibles productos a fin de obtener una expresin equivalente pero con un nmero menor de
operaciones
La idea para hacer esto se basa en una aplicacin sistemtica de sacar factor comn,
concretamente, si tenemos dos expresiones Mx iN y M N , entonces MxiN + M iN =
M(xi+ i)N = M1N = MN, expresin donde ha desaparecido la variable xi.
Si en una expresin aparecen dos monomios de forma que en ambos aparecen las
mismas variables y, adems, la nica diferencia entre ellos es que en uno aparece una variable
xi mientras que en otro aparece i, su suma puede sustituirse por el monomio resultante al
eliminar la variable xi de uno cualquiera de ellos.
A fin de hacer ms rpido este procedimiento, es conveniente ordenar previamente los
monomios. En esto se basa el primer paso de nuestro mtodo, conocido como mtodo de
Quine.
MTODO DE QUINE.
1) Ordenar los mintrminos por grupos de forma que aparezcan en un mismo grupo los que
tengan el mismo nmero de complementarios y en cada grupo dicho nmero sea cada vez
menor
2) Comparar cada elemento de cada grupo con los del grupo siguiente. Si contiene las mismas
variables y se diferencian solamente en una variable, que aparece en el primero como i y
en el segundo como xi, se marcan los dos monomios y se aade el monomio resultante de
eliminar la variable xi de uno cualquiera de ellos a una nueva lista.
4) La expresin buscada es la suma de todos los monomios que aparezcan sin marcar en
alguna de las listas formadas.
NOTA.- Es fcil comprobar que las expresiones booleanas forman un lgebra de Boole con el
orden dado (siempre que se consideren iguales las expresiones equivalentes). En este caso, los
tomos son aquellas expresiones que valen 1 en un nico caso, es decir, los mintrminos. En
particular, el producto de dos mintrminos distintos vale 0.
PROP. Sea E una expresin puesta como suma de mintrminos y E otra expresin
equivalente como suma de monomios N1+...+Nr. Entonces
Supongamos que hemos partido de una expresin de E como suma de mintrminos y, tras
aplicar Quine, tenemos una expresin de E como suma de implicantes primos. Pueden quitarse
algunos de dichos implicantes primos y la suma de los restantes seguir valiendo E siempre que
se cumpla la siguiente condicin:
8. Mapas de Karnaugh.
Este mtodo es solamente vlido para expresiones en las que el nmero de variables es
como mucho 6. A cambio de esta limitacin, su carcter grfico hace que sea el ms usado
para simplificaciones manuales.
Haciendo esto para todos los monomios se consigue la representacin de la funcin. As, si
la funcin es de 4 variables y vale +acd+ , sombrearemos sucesivamente las casillas
correspondientes a , acd y hasta obtener
Los ms simples son los bloques formados por una sola casilla, que se corresponden con
los mintrminos. Por ejemplo
representa al mintrmino 0101, es decir b d.
A continuacin aparecen bloques de dos casillas que representan monomios en los que
falta alguna variable. Si estamos en tres variables, monomios con dos variables del tipo ab, a
, , etc. A continuacin dibujamos algunos de estos bloques para 2, 3, 4 y 5 variables
Pero hay dos casos especiales. Por la forma de dibujar la tabla, la posibilidad de c=0
aparece partida en dos partes, correspondientes a las columnas 1 y 4. Por tanto hay dos
bloques de 2 que corresponden a y a son
4 variables: Hay 32 posibilidades. Cada uno de estos monomios corresponde a un bloque
de 2 cuadrados cada uno. Pueden darse varios casos
Caso 1: 2 cuadrados formando una fila o una columna. De estos hay 24. A continuacin
dibujamos algunos. El bloque horizontal es c y los bloques verticales
son b y a c
Cuando faltan dos variables, pasamos a bloques de cuatro casillas, que ya solamente tienen
sentido para 3 y 4 variables. Una vez ms el comportamiento es un poco complejo por la
posibilidad de que aparezcan partidos dichos bloques
3 variables
Hay 6 bloques posibles. De ellos 5 aparecen sin partir, bien como una fila o bien como un
bloque 2x2. A continuacin dibujamos dos de ellos correspondientes a a (en horizontal) y b (en
vertical)
Tambin hay un bloque partido que corresponde a
4 variables
Hay 24 bloques que pueden estar formando una fila, una columna o un bloque 2x2 como los
siguientes que corresponden a b (en horizontal), c (en vertical) y bd (bloque central)
Tambin pueden estar partidos en dos partes en horizontal o vertical. De estos hay 6.
Dibujamos a continuacin dos de ellos correspondientes a y b
Finalmente hay un nico caso que est partido en cuatro trozos y corresponde a
Finalmente, si quitamos tres variables aparecen bloques de 8 cuadrados. Esto solamente ocurre
en 4 variables, de los que hay 8.
Estos pueden aparecer como un nico bloque de 8 cuadrados. De estos hay 6. A continuacin
dibujamos dos de ellos correspondientes a (en horizontal) y d (en vertical)
Tambin hay otros dos bloques de 8 partidos en dos bloques de 4 que corresponden a (en
horizontal) y (en vertical)
Todos los bloques que puedan escribirse dentro de la zona sombreada correspondiente
a la funcin son implicantes de dicha funcin. Los implicantes primos se corresponden con
bloques que sean lo mayores posibles, es decir, bloques que no estn includos en otro mayor.
Por tanto, el paso de Quine se puede hacer grficamente seleccionando estos bloques que no
se puedan ampliar. Finalmente, dado
3.- Recubrir dicha zona con bloques que sean lo mayores posible
4.- Si se puede quitar algn bloque de forma que la zona cubierta siga siendo la misma,
hacerlo