UNIVERSIDAD NACIONAL AUTNOMA DE MXICO

FACULTAD DE INGENIERA

Diseo Digital

GRUPO - 1

Trabajo: Minimizacin por mtodo Quine McKlusky

Profesor: Roberto Mandujano

Alumno
Castaeda Alcal Daniel Omar

Mxico D.F. Ciudad Universitaria

14 Marzo 2012

INTRODUCCION En el diseo lgico, nos encontramos constantemente con funciones algebraicas booleanas que debemos de simplificar, y para ello existen diversos mtodos, como lo son los mapas de Karnaugh, el cual es bastante til para este fin. Pero como hemos visto al avanzar en el estudio de esta materia, el mapa de Karnaugh deja de ser til para 6 o ms variables, adems de que, este no nos garantiza la mejor simplificacin. Otro inconveniente de este mtodo, es que depende de la habilidad de la persona, para poder observar la adyacencia, y esto es algo que una computadora no pueda hacer, ya que es casi pura habilidad y practica. Estos pequeos problemas, nos llevan a buscar un mejor mtodo de simplificacin, y el cual, nos asegure la mejor minimizacin de nuestra funcin, uno de los mejores mtodos tabulares, es precisamente el Quine McKlausky, el cual entenderemos en este trabajo. DESARROLLO El mtodo tabular de Quine McKlausky, se debe al trabajo de W: V. Quine y E. J. McKlausky, el cual corrige las deficiencias del mapa de Karnaugh, ya que este si nos garantiza la mejor simplificacin de segundo orden, y tiene una serie de pasos especficos, que podramos programar en una computadora, para no tener que hacerlo a mano cada vez. Este mtodo es un procedimiento bien definido, para efectuar una bsqueda de todas las combinaciones posibles de cubos-0 (minterminos) en uno de dimensin ms alta, y luego se selecciona la combinacin mnima de cubos para cada funcin. El primer paso de este mtodo es hacer la lista de minterminos de la funcin, para ejemplificar este mtodo, usaremos el ejemplo que obtuvimos del libro de Hillar Peterson

Debemos encontrar los cubo -1 de la funcin, estos se pueden encontrar combinando dos cubos 0, que son los ms bsicos de nuestra funcin, estos deben ser idnticos excepto en una variable. Para identificar con mayor facilidad esto, se debe hacer una tabla como la siguiente.

Como vemos en la tabla, debemos ordenar los minterminos de acuerdo a la cantidad de nmeros UNO en las representaciones binaria. Los cuales se agrupan, con la intencin de hacer el menor nmero de comparaciones, las cuales se efectan para obtener los cubos 1. Si se deben combinar dos minterminos, su representacin binaria debe ser idntica excepto una posicin, en la que un mintermino tendr un 0 y el otro un 1, de tal manera que los dos minterminos deben estar adyacentes.

Una vez que se agruparon los minterminos de acuerdo a su nmero de Unos, el procedimiento para encontrar la combinacin del siguiente nivel es el siguiente. Se compara cada trmino del grado superior con cada uno del siguiente grupo hacia abajo. Si los dos minterminos son iguales en todas sus posiciones excepto una, ponemos una paloma, como vemos en la imagen de arriba. Tambin debemos poner en la forma del cubo 1 una x en la posicin nica donde no concordaban. Esto equivaldra a la operacin algebraica:

Estos corresponden a los minterminos M0 y M2 de nuestro ejemplo.

Este proceso se sigue hasta que se hayan agotado la lista de nuestros minterminos. Para poder encontrar las posibles combinaciones de pares de cubos 1 al nivel cubo 2 se debe seguir el mismo nivel. Debe recalcarse que para la comparacin del segundo nivel, tambin debe coincidir la x que pusimos en el primer nivel donde coincidan, esto lo vemos ejemplificado algebraicamente as.

Un punto de importancia, es que las combinaciones que no usamos, se deben marcar con un asterisco * para indicar que son indicantes primos. Un indicante primo es cualquier cubo de una funcin que no est totalmente contenido en otro cubo mayor de dicha funcin. Si no se encuentran combinaciones desde la primera etapa, tambin deben de marcarse como implicantes primos. Por ltimo, se verifica si los cubos 2 tienen una posible combinacin cubo 3, ya que como vimos en las ejemplificaciones algebraicas, sera el equivalente a reducirnos en una variable esta parte de la funcin. Si no se logra una combinacin para cubo 3, significa que las combinaciones son implicantes primos tambin. Este es bsicamente el funcionamiento del mtodo de minimizacin Quine McKlausky, el cual es conveniente efectuarlo en una computadora, por los pasos sistemticos que sigue.

Bibliografia Hillar Peterson, teora de conmutacin y diseo digital, ed. Limusa