MTODO DE QUINE McCLUSKEY

INTRODUCCIN En matemticas las expresiones booleanas se simplifican por numerosas razones: - Una expresin ms simple es ms fcil de entender y tiene menos posibilidades de error a la hora de su interpretacin. - Una expresin simplificada suelen ser ms eficiente y efectiva cuando se implementan en la prctica, como en el caso de circuitos elctricos o en determinados algoritmos. El mtodo de Quine-McCluskey es particularmente til cuando se tienen funciones con un gran nmero de variables, no es el caso del mtodo de Karnaugh, que se hace impracticable con ms de cinco variables. En nuestro caso, como el mximo nmero de variables ser cuatro podremos utilizar conjuntamente ambos mtodos. Una expresin booleana se compone de variables y trminos. Para este mtodo las variables slo podrn tener un valor numrico de cero (el correspondiente al valor de verdad false) o uno (el correspondiente al valor de verdad true) y se designarn mediante una letra. Como notacin se designar x si la variable contiene el valor uno, x en caso de que contenga el valor cero. Por otra parte, las variables se relacionarn entre s nicamente mediante operaciones lgicas and para formar trminos y mediante or para relacionarse con otros trminos constituyendo una suma de productos. sta debe de ser cannica, es decir: - Cada variable se usa una vez en cada trmino. A dichos trminos se les llama trminos cannicos. P.ejemplo f(x,y,j) = xy z +x yz

xy z se representa con 011, donde x = 0, y = 1, z = 1 x yz se representa con 101, donde x = 1, y = 0, z = 1

REGLAS BSICAS 1. REGLA DE LA ADYACENCIA. Para que dos trminos se combinen es necesario que sean adyacentes, es decir que la diferencia entre el nmero de unos que tengan ambos trminos sea uno y adems difieran en el valor de una nica variable: x y z 0 1 1 1 1 1 ----------- 1 1 Como podemos apreciar, la diferencia de unos entre ambos elementos es uno, (3-2). Adems ambos trminos difieren nicamente en la variable x con lo que son adyacentes. x y z 0 0 1 1 1 0 ----------- - Aunque en este caso la diferencia de unos entre ambos es uno (3-2) ambos trminos difieren en todas sus variables, con lo que se concluye que no son adyacentes. 2. REGLA DE ELIMINACIN. Este mtodo usa repetidamente la ley que dice x + x =1. Metodologa Para favorecer la explicacin suponemos la funcin de cuatro variables: F(x, y, z, t) = xyzt + x y z t + x yz t + x y z t + xyzt 1. Como cada trmino consta de una ristra de ceros y unos entonces representa un nmero en binario, que nos servir de ayuda como ndice cuando lo traducimos a decimal. As en nuestro ejemplo tenemos los cinco trminos cannicos: 0000 = 0 0001 = 1 1101 = 13

1011 = 11 1111 = 15 Por lo tanto nuestra funcin resultante sera la suma de los ndices anteriores: F( x, y, z, t ) =S ( 0, 1, 11, 13, 15 )
4

2. Se crea la tabla inicial ordenando de menor a mayor nmero de unos, de tal forma que queden agrupados en grupos con la misma cantidad de unos (habr tantos grupos como nmero de variables ms uno). Slo se pondrn en la tabla los trminos que pertenezcan a la frmula que queremos simplificar. En nuestro caso:

Trmino 0000 0001 1101 1011 1111 Tabla primera

Indice 0 1 13 11 15

Cada color representa un grupo de trminos con el mismo nmero de unos. 3. Hay que encontrar elementos adyacentes. Para ello comparamos cada trmino de un grupo con todos los trminos del grupo inmediatamente posterior (ste ha que tener un nmero de unos superior en una unidad al grupo anterior). El elemento adyacente reemplazar a los dos trminos que se hayan comparado. Si un elemento no es adyacente con ninguno otro se le llamar trmino primo. Este trmino se aadir a las tablas siguientes dada su imposibilidad de compararse con ninguno otro. Al comparar elementos adyacentes de nuestra tabla ejemplo se obtienen los siguientes resultados:

0000 0001 0001 1101 1011 0001 1101 1101 1111 1111 000- -- 01 -- 01 11-1 1-11

De estos resultados nicamente los que estn en negrita son los adyacentes, que se incorporarn a la tabla segunda. Los dos ltimos son del mismo color debido a que tienen el mismo nmero de unos. En este primer paso no hay ningn trmino primo.

Trmino 00011-1 1-11 Tabla segunda

Indices 0-1 13-15 11-15

4. La operacin anterior se repite hasta que todos los elementos que queden en la tabla sean primos. Esto supondra que ya no se podra aplicar el algoritmo. En nuestro caso ya no se puede reducir ms porque la diferencia entre el nmero de unos del primer grupo con la del tercero es de 3.Esto implica que todos los nmeros son primos.

5. Una vez tengamos la tabla final, eliminando elementos repetidos si los hubiese, se va a tratar de eliminar los trminos primos que sean redundantes mediante una tabla con las siguientes caractersticas: q Cada columna representa uno de los nmeros ndices de la frmula conseguida anteriormente: F(x, y, z, t) = S ( 0, 1, 11, 13, 15 )
4

q Cada fila representa el ndice de cada trmino primo de la tabla final. q La primera columna indica el valor del ndice de cada trmino primo. La primera fila indica los ndices que ha de cumplir la funcin. Cada X en una columna indica el ndice que cumple cada trmino. Por ejemplo: el ndice 0-1, que corresponde al trmino 000cumple los ndices 0 y 1. Trmino / ndice 000- / 0-1 11-1 / 13-15 1-11 / 11-15 X 0 X 1 X X X X 11 13 15

q Los ndices que aparezcan en un nico trmino primo indican que dicho trmino es un trmino primo esencial, es decir que obligatoriamente pertenece a la solucin. Tal es el caso del ndice cero, que hace que el trmino primero se incluya en la solucin, el ndice 13 , que hace lo mismo para el segundo trmino y del 11 que hace lo consecuente con el tercer trmino. q En este caso la tabla no ha reducido el nmero de trminos de la solucin ya que todos los trminos primos son esenciales. Esto quiere decir que la solucin es nica. q En cualquier otro caso se ha de escoger de entre los restantes de tal manera que se cubran todos los ndices. Esto nos llevara a mltiples soluciones. Una forma de realizar la seleccin de los trminos restantes es utilizando las siguientes definiciones: o Una fila A domina a una B si marca todos los ndices que B y adems otros que B no marca. o Las filas que cubren los mismos ndices darn lugar a soluciones mltiples. 6. La funcin resultante se obtendr de la siguiente manera: q Sustituyo cada elemento de { 000-, 11-1, 1-11 } por su correspondiente grupo de variables, recuerda que un cero se corresponde con la variable negada, un uno con la variable normal y la raya indica la ausencia de la variable. Con ello la funcin queda: F(x, y, z, t) = xyz + x y t + x z t Que es claramente ms pequea que la que tenamos al principio.