Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole Retculos de Boole Funciones booleanas Formas canonicas Metodo de Quine-McCluskey

Tema 4: Algebras de Boole

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

El algebra de Boole
Las algebras de las funciones proposicionales y de la teora de conjuntos tienen una serie de propiedades identicas. Se dene el concepto de algebra de Boole como una estructura algebraica caracterizada por todas estas propiedades comunes. George Boole (1815-1864) fue un matematico y losofo britanico. Como inventor del algebra de Boole, la base de la aritmetica computacional moderna, Boole es considerado como uno de los fundadores del campo de las Ciencias de la Computacion. En 1854 publico An Investigation of the Laws of Thought. En el desarrollaba un sistema de reglas que le permita expresar, manipular y simplicar, problemas logicos y losocos cuyos argumentos admiten dos estados (verdadero o falso) por procedimientos matematicos.

Denicion de algebra de Boole

Un algebra de Boole es un conjunto A dotado de dos leyes de composicion interna + y que verican las siguientes propiedades a, b, c A:
1 Propiedades asociativas.

a + (b + c) = (a + b) + c a (b c) = (a b) c
2 Propiedades conmutativas.

a+b =b+a ab =ba

3 Propiedades distributivas.

a + (b c) = (a + b) (a + c) a (b + c) = (a b) + (a c)
4 Elementos neutros. Existen dos elementos 0, 1 A tales que:

Elementos complementarios. Para todo a A existe a A tal que:

a+0=a a1=a

a+a=1 aa=0

(a tambien se suele denotar por a )

 Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Ejemplos
El algebra de Boole mas simple es aquella en la que A tiene un solo elemento (A = {a}) y las l.c.i. se denen como a + a = a y a a = a, siendo a = a. Aqu se tiene que 0 = 1 = a = a = a. Se denomina algebra de Boole trivial. Por ejemplo, {} con las operaciones dadas por la union y la interseccion es una algebra de Boole trivial. Sea E un conjunto. P(E) es una algebra de Boole con las operaciones union e interseccion. El conjunto cociente de las formas proposicionales respecto a la relacion de equivalencia logica (que es una R.B.E.) es una algebra de Boole con las operaciones y . El algebra de Boole binaria es A = {0, 1} (con 0 = 1) con las operaciones obvias.
Algebras de Boole

Dualidad: dos teoremas por el precio de uno

Denicion Dada una proposicion sobre una algebra de Boole, denimos su dual como la proposicion obtenida sustituyendo + por , por +, 0 por 1 y 1 por 0. Ejemplo: Dados dos elementos a y b de una algebra de Boole A, la proposicion dual de (a + b) a b = 0 es (a b) + a + b = 1. Puesto que la denicion axiomatica de algebra de Boole consta de pares de axiomas duales, se tiene el siguiente principio: Principio de Dualidad El dual de cualquier teorema sobre una algebra de Boole es tambien es un teorema.

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Primeras propiedades
1 2

Los elementos neutros 0 y 1 son unicos. Dado un elemento a A, existe un unico elemento a A tal que a + a = 1 y a a = 0. Leyes de idempotencia: a, b A se verica que a + a = a y a a = a. Propiedades de absorcion: 1 + a = a + 1 = 1 y 0 a = a 0 = 0 a A. Propiedades simplicativas: a + (a b) = a y a (a + b) = a a, b A. Doble complementario: a = a a A. Leyes de De Morgan: a + b = a b y a b = a + b a, b A. 0 = 1 y 1 = 0.

Algebras de Boole Retculos de Boole Funciones booleanas Formas canonicas Metodo de Quine-McCluskey

6 7

 Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Relacion de orden en una algebra de Boole

Veremos a continuacion que una algebra de Boole tambien puede considerarse como un conjunto ordenado que verica determinadas propiedades. De esta manera, podremos ver algebra de Boole desde dos puntos de vista distintos: como un conjunto dotado de dos leyes de composicion interna, y como un conjunto ordenado. Consideremos una algebra de Boole A. Denimos en A la siguiente relacion binaria: Para todo a, b A, a b si a + b = b. Ejercicio: Demostrar que la relacion denida es una relacion binaria de orden.

Propiedades
Si A es una algebra de Boole, la relacion de orden asociada verica las siguientes propiedades:
1

2 3

Para cualquier par de elementos a, b A se tiene que sup{a, b} = a + b y inf{a, b} = a b. Por tanto, (A, ) es un retculo. 1 es el maximo de A y 0 es el mnimo de A. Para cualquier a A se tiene que sup{a, a} = 1 e inf{a, a} = 0.

Ejercicio: Sea E = {a, b, c}. Considera el retculo denido a partir del algebra de Boole P(E) y representa su diagrama de Hasse.

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Retculo de Boole
Denicion Un retculo de Boole es un conjunto A dotado de una relacion de orden tal que: (A, ) es un retculo (es decir, todo subconjunto formado por dos elementos de A admite supremo e nmo). El retculo (A, ) es distributivo, es decir, las leyes de composicion interna y denidas por a b := sup{a, b}, a b := inf{a, b}

Algebras de Boole y Retculos de Boole

Hemos visto que cualquier algebra de Boole es un retculo de Boole (con la relacion de orden denida a partir de las operaciones internas + y ). Recprocamente, se tiene el siguiente resultado: Teorema Todo retculo de Boole es una algebra de Boole, con las leyes de composicion internas dadas por a + b := a b, para todo a, b A. a b := a b

satisfacen las propiedades distributivas, es decir: a(b c) = (ab)(ac) y a(b c) = (ab)(ac) a, b, c A. El retculo (A, ) es complementado, es decir, existen el maximo (denotado por 1) y el mnimo (denotado por 0) y, para todo a A, existe a A (llamado complementario de a) tal que a a = 1 y a a = 0.

 Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Ejemplo
Para todo numero natural n, denotemos por Dn al conjunto de sus divisores naturales con la relacion de divisibilidad (que es una relacion binaria de orden). Es decir, consideramos la relacion denida por a b a | b a, b Dn . Propiedades Dn es un retculo distributivo, y ademas a b = sup{a, b} = mcm(a, b) y a b = inf{a, b} = mcd(a, b). Dn tiene maximo (que es n) y mnimo (que es 1). Por tanto: Dn sera un retculo de Boole si y solo si cada elemento a Dn admite complementario, es decir, si existe a Dn tal que mcm(a, a) = n y mcd(a, a) = 1. Ejercicio: Es D30 un retculo de Boole? Y D12 ? Ejercicio: En general, cuando es Dn un retculo de Boole?
4 3 1

Algebras de Boole Retculos de Boole Funciones booleanas Formas canonicas Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Funciones booleanas
Sea A una algebra de Boole. Una variable booleana es una variable a la cual se le pueden asignar elementos del conjunto A. Dada una variable booleana x, el complemento de x, denotado por x es una variable tal que x = b siempre que x = b (para cualquier b A). Un literal es una variable booleana x o su complemento x. Denicion Las funciones booleanas de orden n son aplicaciones f : An A, ; (x1 , . . . , xn ) f (x1 , . . . , xn ) denidas, de forma recurrente, de la siguiente manera: xi es una funcion booleana de orden n para todo i = 1, 2, . . . , n. Si f y g son dos funciones booleanas de orden n, entonces las funciones (f + g)(x1 , . . . , xn ) := f (x1 , . . . , xn ) + g(x1 , . . . , xn ), (f g)(x1 , . . . , xn ) := f (x1 , . . . , xn ) g(x1 , . . . , xn ) y f (x1 , . . . , xn ) := f (x1 , . . . , xn ) tambien lo son.

Ejemplos
Consideremos un algebra de Boole cualquiera A y la aplicacion f : A3 A dada por: f (x, y , z) := x + x y + y z. Entonces f es una funcion booleana de orden 3. Si, por ejemplo, A es el algebra de Boole P(E), donde E es un conjunto, esta funcion se correspondera con: (A, B, C) A (A B) (B c C). Observese que, aplicando la propiedad simplicativa, la anterior funcion es la misma que f (x, y , z) = x + y z.

 Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Objetivos

Terminos minimales y terminos maximales

Denicion

Una misma funcion booleana admite diferentes expresiones, sin mas que aplicar las identidades propias del algebra de Boole. Cabe plantearse, as, dos problemas, que se resolveran a lo largo del tema: Como averiguar, de una manera sistematica, si dos expresiones distintas corresponden a la misma funcion booleana? Como obtener expresiones que representen a una funcion booleana, pero que sean lo mas sencillas posible?

Un termino minimal (o minitermino) de orden n es una funcion booleana de la forma m(x1 , x2 , . . . , xn ) = b1 b2 bn , donde bi {xi , x i } para todo i = 1, 2, . . . , n. Ejemplos: m(x, y , z) = x y z es un termino minimal de orden 3, m(x, y, z, t) = x y z t es un termino minimal de orden 4. Denicion Un termino maximal (o maxitermino) de orden n es una funcion booleana de la forma M(x1 , x2 , . . . , xn ) = b1 + b2 + . . . + bn , donde bi {xi , x i } para todo i = 1, 2, . . . , n. Ejemplos: M(x, y , z) = x + y + z es un termino maximal de orden 3, M(x, y , z, t) = x + y + z + t es un termino maximal de orden 4.

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Notacion para los miniterminos y maxiterminos

Convendremos en sub-indexar un minitermino m(x1 , x2 , . . . , xn ) = b1 b2 bn mediante un numero binario de n dgitos, en el que el n-esimo dgito es 1 si bi = xi y 0 si bi = x i , o bien mediante el correspondiente numero escrito en base 10. Por ejemplo, para el caso n = 3: m0 m2 m4 m6 = m000 = m010 = m100 = m110 =x =x =x =x y y y y z z z z m1 m3 m5 m7 = m001 = m011 = m101 = m111 =x =x =x =x y y y y z z z z

Propiedades
1

Dos miniterminos distintos denen funciones booleanas distintas.

Razon: Veamoslo para el caso n = 3 (el caso general es analogo). Dado un minitermino cualquiera de orden 3, mijk (donde ijk son las cifras de un numero en base dos) se tiene que mijk (i, j, k) = 1 (por ejemplo, m110 (1, 1, 0) = 1) y la imagen de cualquier otra combinacion de ceros y unos que no sea la correspondiente a su subndice es igual a 0. Esto obliga a que todos los miniterminos denan funciones booleanas distintas.

Procederemos analogamente para los maxiterminos. Por ejemplo: M2 = M010 = x + y + z

Cualquier termino maximal es el complementario de un termino mnimal (el obtenido al intercambiar unos por ceros y ceros por unos en el subndice binario). Por ejemplo: M100 = x + y + z = x y z = m011 , como consecuencia de la Ley de de Morgan. Dos maxiterminos distintos denen funciones booleanas distintas (como consecuencia de las dos propiedades anteriores). El numero de terminos minimales (y maximales) de orden n en una algebra de Boole no trivial es 2n (como consecuencia de la subindexacion con numeros binarios y de las propiedades anteriores). La suma de todos los miniterminos de orden n es igual a 1 (puede probarse por induccion sobre n). El producto de todos los maxiterminos de orden n es igual a 0 (es la propiedad dual de la anterior).

 Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Forma canonica disyuntiva

1

Algebras de Boole Retculos de Boole Funciones booleanas Formas canonicas Metodo de Quine-McCluskey Teorema-Denicion Sea f (x1 , x2 , . . . , xn ) funcion booleana de orden n. Entonces f puede expresarse de manera unica como suma de miniterminos. Esta expresion se denomina forma canonica es la siguiente: disyuntiva de f y, ademas, f (x1 , x2 , . . . , xn ) = f (e1 , e2 , . . . , en )me1 e2 en ,

donde la suma se toma sobre todas las n-tuplas (e1 , e2 , . . . , en ) tales que ei {0, 1} i = 1, 2, . . . , n.

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Ejemplo: deduccion de la forma canonica disyuntiva a partir de la tabla de verdad

Sea la funcion booleana de orden 2 dada por f (x, y ) = x y + x. Consideremos su tabla de verdad: x 0 0 1 1 y 0 1 0 1 f (x, y ) 1 1 0 1

Ejemplo: deduccion de la forma canonica disyuntiva a partir de la propiedad del elemento complementario

Otra forma alternativa de deducir la forma canonica disyuntiva es mediante el uso de la propiedad a + a = 1. En el ejemplo anterior: f (x, y ) = x y + x = x y + x 1 = x y + x (y + y ) = x y +x y +x y

Usando esta tabla, segun la formula dada en el teorema anterior, la forma canonica disyuntiva de f sera: f (x, y ) = 1 m00 + 1 m01 + 0 m10 + 1 m11 = m00 + m01 + m11 = x y + x y + x y

 Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Forma canonica disyuntiva del complementario de una funcion booleana (1) Los 23 = 8 miniterminos de orden 3 (con los subndices expresados en base 10) son m0 , m1 , m2 , m3 , m4 , m5 , m6 y m7 . Consideremos la siguiente funcion booleana de orden 3 (expresada en su forma canonica disyuntiva): f (x, y, z) = x y z + x y z + x y z = m001 + m010 + m111 . Expresando los subndices de los miniterminos en base 10 obtenemos: f (x, y, z) = m1 + m2 + m7 . Por un lado: f (x, y, z) + f (x, y, z) = 1 (por complementariedad). Por otro lado, segun una propiedad vista: m1 + m2 + m7 +m0 + m3 + m4 + m5 + m6 = 1
f (x,y ,z)

Forma canonica disyuntiva del complementario de una funcion booleana (2)

Este hecho es claramente generalizable para cualquier funcion booleana: Teorema Sea f una funcion booleana de orden n. Entonces la forma canonica disyuntiva de su funcion complementaria, f , es igual a la suma de los miniterminos de orden n que no aparecen en la forma canonica disyuntiva de f . Ejercicio: Calcula la forma canonica disyuntiva de f (x, y , z, t) = x y z + x y z t + x y + z + t y la de f .

Debido a la unicidad de la forma canonica disyuntiva se obtiene: f (x, y, z) = m0 + m3 + m4 + m5 + m6 = m000 + m011 + m100 + m101 + m110 = x y z + x y z + x y z + x y z + x y z Observese que en f estan exactamente los miniterminos que no estan en f .
Algebras de Boole Retculos de Boole Funciones booleanas Formas canonicas Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Forma canonica conjuntiva

Calculo de la forma canonica conjuntiva a partir de la forma canonica disyuntiva

Consideremos la funcion booleana (expresada segun su forma canonica disyuntiva) del ejemplo anterior.

El enunciado dual del teorema de existencia de la forma canonica disyuntiva es el siguiente: Teorema-Denicion Sea f (x1 , x2 , . . . , xn ) funcion booleana de orden n. Entonces f puede expresarse de manera unica como producto de maxiterminos. Esta expresion se denomina forma canonica conjuntiva de f .

f (x, y , z) = x y z + x y z + x y z = m001 + m010 + m111 = m1 + m2 + m7 . Hemos visto que la forma canonica disyuntiva de su funcion complementaria se obtiene sumando los miniterminos que no aparecen en la de f , es decir: f (x, y, z) = m0 + m3 + m4 + m5 + m6 = m000 + m011 + m100 + m101 + m110 . Aplicando doble negacion y de Morgan: f (x, y , z) = f (x, y, z) = m000 + m011 + m100 + m101 + m110 = = m000 m011 m100 m101 m110 = M111 M100 M011 M010 M001 = (x + y + z) (x + y + z) (x + y + z) (x + y + z) (x + y + z).

 Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Calculo de la forma canonica conjuntiva a partir de la tabla de verdad (1) Consideremos la funcion booleana del ejemplo anterior (expresada en su forma canonica disyuntiva): f (x, y, z) = x y z + x y z + x y z. Su tabla de verdad es la siguiente: x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 f (x, y, z) 0 1 1 0 0 0 0 1

Calculo de la forma canonica conjuntiva a partir de la tabla de verdad (2)

A partir de las consideraciones anteriores es sencillo deducir lo siguiente: Teorema La forma canonica conjuntiva de una funcion booleana f (x1 , x2 , . . . , xn ) es el producto de todos los maxiterminos de la forma Mb1 b2 ...bn (con subndice en binario) tales que f (b1 , b2 , . . . , bn ) = 0. Dicho de otro modo, se consideran las las de la tabla de verdad correspondientes a valores nulos de la funcion y se toman los maxiterminos cuyos subndices son los complementarios de los valores de las variables (se cambian los unos por ceros y los ceros por unos).

Hemos visto en la transparencia anterior que la forma canonica conjuntiva de f se obtiene de la siguiente manera: f (x, y , z) = m000 m011 m100 m101 m110 = M111 M100 M011 M010 M001
Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Objetivo
1

Algebras de Boole Retculos de Boole Funciones booleanas Formas canonicas Metodo de Quine-McCluskey

Dada una expresion de una funcion booleana f de orden n, describiremos un proceso (denominado Metodo de Quine-McCluskey) que nos conducira a una expresion de f mas simple. En lo que sigue consideraremos inicialmente la forma canonica disyuntiva de f = 0, que sabemos que es unica, y la simplicaremos escribiendola como suma de productos con el mnimo numero de literales posible. Un tratamiento dual podra hacerse con la expresion de la forma canonica conjuntiva de f = 1. El Metodo de Quine-McCluskey consta de dos fases: La primera trata de encontrar terminos posibles de la expresion mnima de f (denominados implicantes primos). En una segunda fase, se determinan cuales de los implicantes primos constituyen una expresion mnima de f.

 Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Descripcion de la primera fase (1)

Consideremos la siguiente funcion booleana de orden 4, expresada segun su forma canonica disyuntiva: f (x, y , z, t) = x y z t +x y z t +x y z t +x y z t +x y z t+ x y z t +x y z t +x y z t +x y z t +x y z t +x y z t Expresada usando la notacion de miniterminos con subndices binarios: f (x, y , z, t) = m0000 + m0010 + m0011 + m0110 + m0111 + m1000 + m1001 + m1100 + m1101 + m1110 + m1111

Descripcion de la primera fase (2)

Se escriben en una columna, a la izquierda, los subndices binarios de los terminos minimales de f . Estaran separados por bloques de manera que los numeros del primer bloque no contienen ningun 1, los del segundo bloque contienen exactamente un 1, los del tercero contienen dos 1s, etc.

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Descripcion de la primera fase (3)

Se consideran todos los pares de numeros binarios pertenecientes a bloques contiguos que se diferencien solo en un dgito, se marcan con un y se escribe, en otra columna a la derecha, la expresion resultante de sustituir el dgito diferente por un guion . Por ejemplo, el termino 0000 (perteneciente al primer bloque) y el termino 0010 (perteneciente al segundo) se diferencian solo en un dgito; por tanto, deben marcarse y se debe anadir el termino 00 0 en la columna de la derecha. La razon es la siguiente: los miniterminos correspondientes a 0000 y 0010 son x y z t y x y z t. Aplicando la propiedad distributiva y la complementariedad su suma se simplica: x y t (z + z) = x y t =: m000 De esta manera podemos sustituir, en la expresion de la f.c.d. de f , la suma m0000 + m0010 por m000 . Observese que 0000 puede combinarse tambien con 1000 dando lugar a 000; esto puede hacerse porque el minitermino m0000 puede considerarse repetido como sumando en la expresion de f tantas veces como queramos usando la idempotencia.

Descripcion de la primera fase (4)

Se procede igual que antes con los nuevos bloques, combinando aquellos terminos correspondientes a bloques contiguos con exactamente un dgito distinto. Observamos que no podemos combinar ningun elemento del primer bloque con elementos del segundo. Tambien, por ejemplo, el termino 001 puede combinarse con 011 dando lugar a 0 1. Es decir: m001 + m011 = x y z + x y z = x z (y + y) = x z =: m01 Seguiramos el proceso hasta que no puedan combinarse mas terminos. En nuestro ejemplo, hemos llegado ya a esta situacion. Se denominan implicantes primos a los terminos que quedan sin marcar. En nuestro caso seran: m000 = x y t, m000 = y z t, m01 = x z, m10 = x z, m11 = y z y m11 = x y.

 Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Descripcion de la primera fase (5)

Descripcion de la segunda fase (1)

Deducimos, tras lo dicho hasta ahora, que la funcion booleana original se expresa como suma de los implicantes primos: f (x, y, z, t) = m000 +m000 +m01 +m10 +m11 +m11 = x y t +y z t +x z +x z +y z +x y Hemos llegado, as, a una expresion mas simple de la funcion f . En la segunda parte veremos como obtener expresiones simples, eliminando algunos implicantes primos todava mas sobrantes.

Denicion Diremos que un termino r cubre a un cierto minitermino m si todos los literales que son factores de r lo son tambien de m. Por ejemplo, el termino m01 = y t cubre al minitermino m1001 = x y z t. El siguiente paso consistira en determinar a que miniterminos de la forma canonica disyuntiva de f cubre cada uno de los implicantes primos que aparecen en la expresion simplicada de f que hemos obtenido.

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Descripcion de la segunda fase (2)

Descripcion de la segunda fase (3)

00 0 000 0 1 1 0 11 11 0000 X X 0010 X X 0011 0110 0111 1000 X X X X X X X X X X X X X X 1001 1100 1101 1110 1111

00 0 000 0 1 1 0 11 11

0000 X X

0010 X X

0011

0110

0111

1000 X

1001

1100

1101

1110

1111

X X

X X X X X X X X X X X X

Construimos una tabla de manera que cada la corresponde a un implicante primo y cada columna corresponde a un minitermino de la forma canonica disyuntiva de f . Marcamos con una cruz aquellas casillas en las que el implicante primo (asociado a su la) cubra al minitermino (asociado a su columna).

Buscamos las columnas que solo contengan una cruz y encerramos en un crculo estas cruces. Esto quiere decir que los correspondientes miniterminos solo son cubiertos por un implicante primo. Estos son los implicantes primos esenciales (senalados en verde), y tendran que aparecer necesariamente minimal de f (ya que, de lo contrario, en cualquier expresion habra miniterminos que no quedaran cubiertos): f (x, y , z, t) = m01 + m10 + = x z + x z +

 Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Descripcion de la segunda fase (4)

Descripcion de la segunda fase (5)

0000 X X 0010 X X 0011 0110 0111 1000 X X X X X X X X X X X X X X 1001 1100 1101 1110 1111

00 0 000 0 1 1 0 11 11

0000 X X

0010 X X

0011

0110

0111

1000 X

1001

1100

1101

1110

1111

X X

X X X X X X X X X X X

00 0 000 0 1 1 0 11 11

Senalamos de alguna manera todos los miniterminos que son cubiertos por los implicantes primos esenciales (los escritos en rojo, en la tabla). As pues, la expresion: m01 + m10 = x z + x z ya cubre a todos los miniterminos escritos en rojo. Solo faltan por cubrir los escritos en azul.

Los miniterminos que faltan por cubrir son cubiertos unicamente por los implicantes primos senalados tambien en azul. Por lo tanto: Las expresiones minimales de f se obtendran sumando, a los implicantes primos esenciales (que han de aparecer necesariamente en todas las expresiones minimales), una cantidad mnima de implicantes primos no esenciales de manera que se cubran todos los miniterminos.

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Descripcion de la segunda fase (6)

00 0 000 0 1 1 0 11 11 0000 X X 0010 X X 0011 0110 0111 1000 X X X X X X X X X X X X X X 1001 1100 1101 1110 1111

Justicacion de la segunda fase del Metodo de Quine-McCluskey As como la primera parte del Metodo de Quine-McCluskey (la deduccion de la expresion de una funcion booleana como suma de los implicantes primos) ha sido justicada durante el desarrollo del ejemplo, no ha quedado muy claro hasta ahora por que las expresiones obtenidas a partir de la tabla anterior se corresponden con la funcion f . Justicaremos ahora este hecho. La forma canonica disyuntiva de una funcion booleana queda determinada por su tabla de verdad. Por tanto, se tiene el siguiente resultado: Proposicion Dos funciones booleanas f y g de orden n son iguales si y solo si f (b1 , b2 , . . . , bn ) = g(b1 , b2 , . . . , bn ) para todas las n-tuplas (b1 , b2 , . . . , bn ) {0, 1}n . Como consecuencia: Corolario Dos funciones booleanas f y g de orden n son iguales si y solo si para todo (b1 , b2 , . . . , bn ) {0, 1}n se satisface la equivalencia: f (b1 , b2 , . . . , bn ) = 1 g(b1 , b2 , . . . , bn ) = 1.

En nuestro caso podemos obtener 4 expresiones minimales de f (jugando con los 4 implicantes primos no esenciales): f (x, y , z, t) = m01 + m10 + m000 + m11 x z +x z +x y t +y z f (x, y , z, t) = m01 + m10 + m000 + m11 x z +x z +x y t +x y f (x, y , z, t) = m01 + m10 + m000 + m11 x z +x z +y z t +y z f (x, y , z, t) = m01 + m10 + m000 + m11 x z +x z +y z t +x y = = = =

 Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Algebras de Boole

Retculos de Boole

Funciones booleanas

Formas canonicas

Metodo de Quine-McCluskey

Sea f (x1 , x2 , . . . , xn ) una funcion booleana de orden n y sea f = m1 + m2 + + ms su forma canonica disyuntiva (los sumandos mi representan los terminos minimales que aparecen en la misma). Aplicando la primera fase del Metodo de Quine-McCluskey se tiene que f (x1 , x2 , . . . , xn ) = r1 + r2 + + rm , siendo r1 , r2 , . . . , rm los implicantes primos. Sea g(x1 , x2 , . . . , xn ) = r1 + r2 + + rt (con t m) una de las expresiones minimales obtenidas al nalizar la aplicacion del Metodo de Quine-McCluskey a f . Probaremos que g = f usando el corolario anterior. Consideremos, por tanto, un elemento (b1 , b2 , . . . , bn ) {0, 1}n arbitrario. Si g(b1 , b2 , . . . , bn ) = 1 entonces ri (b1 , b2 , . . . , bn ) = 1 para algun i {1, 2, . . . , t}; y como f = r1 + r2 + + rm , es claro que f (b1 , b2 , . . . , bn ) = 1. Supongamos ahora que f (b1 , b2 , . . . , bn ) = 1. Entonces existe un minitermino mi tal que mi (b1 , b2 , . . . , bn ) = 1. Pero, teniendo en cuenta como se ha construdo g, existe un termino ri (con 1 i t) tal que ri cubre a mi . Luego ri (b1 , b2 , . . . , bn ) = 1 y, por lo tanto, g(b1 , b2 , . . . , bn ) = 1. Aplicando el corolario anterior queda probado que f = g.

Bibliografa recomendada

C. Alegre Gil, A. Martnez Pastor y M. C. Pedraza Aguilera. Problemas de Matematica Discreta. Servicio de Publicaciones UPV, Valencia, 1997. J. C. Ferrando y V. Gregori. Matematica Discreta. Reverte, Barcelona, 1995. ` R. Fuster, Matematica discreta. Monograes de la UPV. ` Servei de Publicacions UPV, Valencia, 2009. R. Garnier, J. Taylor, Discrete Mathematics for new technology, Institute of Physics Publishing. R. P. Grimaldi. Matematicas Discretas y Combinatoria. Addison Wesley Longman, Mexico, tercera edicion, 1998.