2.3.3.

Algoritmo Quine–McCluskey El Algoritmo Quine–McCluskey es un método de simplificación de funciones booleanas desarrollado por Willard Van Orman Quine y Edward J. McCluskey. Es funcionalmente idéntico a la utilización del mapa de Karnaugh, pero su forma tabular lo hace más eficiente para su implementación en lenguajes computacionales, y provee un método determinístico de conseguir la mínima expresión de una función booleana. Aunque cuando se trata de trabajar con más de cuatro variables, el tiempo de resolución del algoritmo Quine-McCluskey crece de forma exponencial con el aumento del número de variables. Se puede demostrar que para una función de n variables el límite superior del número de implicantes primos es 3n/n. Si n=32 habrá más de 6.5*1015 implicantes primos. Funciones con un número grande de variables tienen que ser minimizadas con otros métodos heurísticos. Terminología para la simplificación A continuación definiremos algunos términos comúnmente utilizados en los procesos de simplificación de funciones lógicas. Implicante: Conjunto de unos en un mapa de Karnaugh que representa un término producto de variables. Se denomina implicante porque cuando este término toma el valor 1, implica que también la función toma el valor 1. Un mintérmino solo es un implicante. Implicante Primo: Implicante que no está incluido completamente dentro de otro implicante. No puede combinarse con otro implicante para eliminar un literal. Implicante Primo Esencial: Implicante primo que contiene uno o mas mintérminos que no están incluidos en cualquier otro implicante primo. En el siguiente mapa de Karnaugh: Los términos I II y III son implicantes primos El termino IV no es implicante primo Los términos I y III son implicantes primos esenciales El termino II no es un implicante primo esenciales La función se obtiene con los términos I y III

Pasos para la Simplificación El algoritmo de Quine-McCluskey consta de dos pasos: 1. Encontrar todos los implicantes primos de la función. 2. Usar esos implicantes en una tabla de implicantes primos para encontrar los implicantes primos esenciales, los cuales son necesarios y suficientes para generar la función.

.Ejemplo Minimice la función siguiente utilizando el método de Quine-McCluskey: Paso 1: Se colocan en una tabla todos los minitérminos evaluados en la función como agrupándolos respecto a la cantidad de unos que contienen. Si dos minitérminos sólo varían en un solo dígito. Los términos que ya no pueden combinarse más son marcados con "*". uno puede empezar a combinar los minitérminos entre sí. ese dígito debe reemplazarse por un guión "-" indicando que ese bit no importa. estos pueden combinarse con los minitérminos: En este punto. Los términos prescindibles también son agregados a la tabla.

11. en este punto ya tenemos la tabla de implicantes primos. Es el caso de m(8. En el costado van los implicantes primos recientemente generados.14) que está cubierto por m(8. Por este motivo.10. pero un proceso más sistemático es el método de Petrick.12). Un proceso adicional simple para reducir estos implicantes es prueba y error.11) y m(4.10.15) o m(8.15) no llegan a incluir todos los minitérminos por lo que podemos combinar estos implicantes con cada uno de los implicantes no esenciales para conseguir dos funciones mínimas: .9. Los minitérminos correspondientes a los prescindibles son omitidos en este paso.14. En el caso que estamos analizando.10.12) y m(10.Paso 2: Los términos marcados con "*" ya no pueden combinarse más.12. pero si puede estar "cubierto" por dos o más implicantes.10.11) que está cubierto por m(8.14) y m(10. los dos implicantes primos m(4.14.12. cada uno de estos dos implicantes sólo son esenciales en ausencia del otro. no se colocan en la parte superior. Ninguno de los implicantes de esta tabla está incluido dentro de otro (esto queda garantizado en el paso uno).11.9. y en la parte superior los minitérminos utilizados. En esta tabla vemos los minitérminos que "cubre" cada implicante primo.

Sign up to vote on this title
UsefulNot useful