Sei sulla pagina 1di 18

1.6.

Mapa de Karnaugh

Figura 1. Ejemplo de mapa de Karnaugh. Un mapa de Karnaugh (tambin conocido como tabla de Karnaugh o diagrama de Veitch, abreviado como Mapa-K o Mapa-KV) es un diagrama utilizado para la simplificacin de funciones algebras Booleanas. El mapa de Karnaugh fue inventado en 1950 por Maurice Karnaugh, un fsico y matemtico de los laboratorios Bell. Los mapas de Karnaugh reducen la necesidad de hacer clculos extensos para la simplificacin de expresiones booleanas, aprovechando la capacidad del cerebro humano para el reconocimiento de patrones y otras formas de expresin analtica, permitiendo as identificar y eliminar condiciones muy inmensas. El mapa de Karnaugh consiste en una representacin bidimensional de la tabla de verdad de la funcin a simplificar. Puesto que la tabla de verdad de una funcin de N variables posee 2N filas, el mapa K correspondiente debe poseer tambin 2N cuadrados. Las variables de la expresin son ordenadas en funcin de su peso y siguiendo el cdigo Gray, de manera que slo una de las variables vara entre celdas adyacentes. La transferencia de los trminos de la tabla de verdad al mapa de Karnaugh se realiza de forma directa, albergando un 0 un 1, dependiendo del valor que toma la funcin en cada fila. Las tablas de Karnaugh se pueden utilizar para funciones de hasta 6 variables.

Ejemplo
Dada la siguiente funcin algebraica Booleana representada como el sumatorio de sus minitrminos, y con las variables Booleanas A, B, C, D, la funcin se puede representar con dos notaciones distintas:

Tabla de verdad
Utilizando los minitrminos definidos, se elabora la tabla de verdad: # 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 0

Mapa de Karnaugh

Figura 2. Construccin del mapa-K. Las variables de entrada pueden combinarse de 16 formas diferentes, por lo que el mapa de Karnaugh tendr 16 celdas, distribuidas en una cuadricula de 4 4. La combinacin de dgitos binarios en el mapa representa el resultado de la funcin por cada combinacin de entradas. Por ejemplo, la celda en la esquina superior izquierda del mapa es 0, porque el resultado de la funcin es = 0 cuando A = 0, B = 0, C = 0, D = 0. De igual manera, la esquina inferior derecha es 10 porque el resultado de la funcin es = 10 cuando A = 1, B = 0, C = 1, D = 0. Una vez construido el mapa de Karnaugh, la siguiente tarea es la de seleccionar conjunto de trminos denominados subcubos de manera que se obtenga el menor nmero de subcubos posible. Estos subcubos se seleccionan formando grupos de rectngulos que encierren a los unos del mapa, las reas deben ser potencia de 2 (ej. 1, 2, 4, 8, ...) y se debe tratar de agrupar el mayor nmero de unos posible. En resumen hay que tomar en cuenta al hacer estos grupos de unos (subcubos) lo siguiente:

Se puede visualizar tambin que los grupos pueden continuar en el lado opuesto como en el subcubo 1 de la figura dibujado en azul.

Debemos utilizar todos los unos del mapa. Es mejor crear el menor nmero de grupos.

Los unos pueden estar en varios grupos. El nmero de unos dentro de un grupo debe de ser cualquier potencia de 2. Mientras ms grande sea un grupo la simplificacin de la funcin ser mejor. No es necesario que todos los grupos tengan el mismo tamao.

Qu trminos seleccionar va dependiendo de cmo se quiera realizar la simplificacin, puesto que esta puede realizarse por minitrminos o pormaxitrminos.

En este caso, las cuatro variables de entrada se pueden combinar en 16 formas diferentes, por lo que la tabla de verdad tiene 16 filas, y el mapa de Karnaugh tiene 16 posiciones. Por consiguiente, el mapa de Karnaugh est dispuesto en una cuadrcula de 4 4. Los valores de la fila y la columna (que se muestran en la parte superior y en el lado izquierdo del mapa de Karnaugh) estn clasificados en el cdigo Gray en lugar de orden numrico binario. Cdigo Gray se asegura de que slo una variable cambia entre cada par de clulas adyacentes. Cada celda del mapa de Karnaugh completado contiene un dgito binario que representa la salida de la funcin para la que la combinacin de las entradas. Despus de que el mapa de Karnaugh ha sido construido que se utiliza para encontrar una de las formas ms simples posibles - una forma cannica - para la informacin en la tabla de verdad. 1s adyacentes en el mapa de Karnaugh representan oportunidades para simplificar la expresin. Los trminos mnimos ("trminos mnimos") para la expresin final se encuentran rodeando grupos de 1s en el mapa. Grupos trmino mnimo deben ser rectangular y deben tener un rea que es una potencia de dos (es decir, 1, 2, 4, 8 ...). Rectngulos trmino mnimo deben ser tan grandes como sea posible sin que contenga cualquier 0s. Los grupos pueden superponerse con el fin de hacer que cada uno ms grande. Las agrupaciones ptimas en este ejemplo estn marcados por las lneas de color verde, rojo y azul, y los grupos rojo y verde se superponen. El grupo rojo es un cuadrado de 2 2, el grupo verde es un 4 1 rectngulo, y el rea de superposicin se indica en color marrn. La rejilla est conectado toroidal, lo que significa que los grupos rectangulares pueden envolver travs de los bordes. Las clulas de la extrema derecha son en realidad 'al lado' de los de la extrema izquierda, de manera similar, por lo que son los que estn en la parte superior y los de abajo. Por lo tanto puede ser un trmino vlido - que incluye las clulas 12 y 8 de la parte superior, y se ajusta a la parte inferior para incluir las clulas 10 y 14 - que es , que incluye las cuatro esquinas.

Solucin

K-mapa que muestra los trminos mnimos en forma de rectngulos y cuadrados de colores. La regin marrn es una superposicin de la red 2 2 cuadrados y el verde 4 1 rectngulo. Una vez que el mapa de Karnaugh se ha construido y los 1s adyacentes unidos por cajas rectangulares y cuadradas, los trminos mnimos algebraicas se pueden encontrar mediante el examen de las variables permanecen iguales dentro de cada caja. Para la agrupacin rojo: La variable A es el mismo y es igual a 1 a lo largo de la caja, por lo que debera incluirse en la representacin algebraica del minterm rojo. Variable B no mantiene el mismo estado (que pasa de 1 a 0), y por lo tanto debe ser excluido. C no cambia. Siempre es 0 por lo que su complemento, NO-C, debe incluirse por lo tanto, . D cambia, por lo que se excluye tambin. As, el primer trmino mnimo en el de suma de productos booleana expresin es
.

Para la agrupacin verde, A y B mantienen el mismo estado, mientras que C y D cambio. B es 0 y tiene que ser anulado antes de que pueda ser incluido. As, el segundo trmino es . De la misma manera, la agrupacin azul da el trmino Las soluciones de cada grupo se combinan tanto
.

Por lo tanto el mapa de Karnaugh ha guiado una simplificacin de

( (

) ) (

( (

( ) ( ) ) ( ) ( ) .

( )

Tambin hubiera sido posible derivar esta simplificacin aplicando cuidadosamente los axiomas del lgebra de Boole, pero el tiempo que se necesita para encontrar crece exponencialmente con el nmero de trminos.

Inverso La inversa de una funcin se resuelve de la misma manera por la agrupacin de 0s su lugar.
Los tres trminos para cubrir la inversa son todos mostrados con cajas grises con bordes de colores diferentes: brown - ; Oro - ; azul - BCD. Esto produce el inverso: . A travs del uso de las leyes de De Morgan, el producto de las sumas se puede determinar: ,

No le importa

El valor de f(A, B, C, D) para ABCD = 1111 se sustituye por un "no me importa". Esto elimina el trmino completamente verde y permite el trmino rojo a ser ms grande. Tambin permite azul plazo inversa para cambiar y convertirse en ms grande. Mapas de Karnaugh tambin permiten fcil minimizacin de funciones cuyos cuadros verdad incluir condiciones "no me importa". Una condicin de "no me importa" es una combinacin de entradas para las que el diseador no le importa lo que la salida es. Por lo tanto, "no me importa" condiciones bien pueden ser incluidos o excluidos de cualquier grupo en crculos, lo que hace que sea ms grande. Por lo general, estn indicados en el mapa con un guin o X. El ejemplo de la derecha es el mismo que el ejemplo anterior, pero con el valor de F para ABCD = 1111 sustituye por un "no importa". Esto permite que el trmino red se expanda hasta el fondo y, por tanto, elimina el trmino verde por completo. Esto produce la nueva ecuacin mnima: . Tenga en cuenta que el primer trmino es A no . En este caso, la no atencin ha cado un trmino (el verde); simplificada otro (el rojo), y eliminado el peligro de la carrera (el amarillo como se muestra en la siguiente seccin). El caso inverso se simplifica de la siguiente manera .

Peligros Carrera Eliminacin

Por encima de k-mapa con el trmino aadi para evitar riesgos de carreras

Mapas de Karnaugh son tiles para la deteccin y eliminacin de los riesgos de carrera. Peligros carrera son muy fciles de detectar mediante un mapa de Karnaugh, porque una condicin de carrera puede existir cuando se mueve entre cualquier par de al lado, pero desarticulada, las regiones con un crculo en el mapa. En el ejemplo de la derecha, existe una condicin potencial de carrera cuando C es 1 y D es 0, A es 1, y B cambia de 1 a 0 (que se mueve desde el estado de azul a verde). Para este caso, la salida se define de permanecer sin cambios en 1, pero debido a esta transicin no est cubierto por un trmino especfico en la ecuacin, un potencial para aglitch (una transicin momentnea de la salida a 0) existe. Hay un segundo fallo potencial en el mismo ejemplo que es ms difcil de detectar: cuando D es 0 y A y B son ambos 1, con C cambiar de 1 a 0 (que se mueve desde el estado azul para el estado rojo). En este caso, el problema tcnico se envuelve alrededor de la parte superior del mapa de la parte inferior. Si realmente se produzca estas fallas depende de la naturaleza fsica de la aplicacin, y si tenemos que preocuparnos de eso depende de la aplicacin. En este caso, un plazo adicional de eliminara el peligro potencial de la raza, el puente entre los estados de salida verde y azul o estados de salida azul y rojo: se muestra como la regin amarilla. El trmino es redundante en trminos de la lgica esttica del sistema, pero estos trminos redundantes, o el consenso, a menudo se necesita para asegurar el funcionamiento dinmico de carreras gratis. Del mismo modo, un trmino adicional de debe ser aadido a la inversa para eliminar otro peligro potencial de carrera. La aplicacin de las leyes de De Morgan crea otro producto de ). expresin sumas para F, pero con un nuevo factor de (

Ejemplos del mapa 2 variables


Los siguientes son todos los, 2 2 mapas 2 variables posibles Karnaugh. Se enumeran entre los trminos mnimos es en funcin de m( ) y la ecuacin mnimo la carrera libre de peligros (vase la seleccin anterior).

m(0); K = 0

m(1); K = AB

m(2); K = AB

m(3); K = AB

m(4); K = AB

m(1,2); K = B

m(1,3); K = A

m(1,4); K = AB +AB

m(2,3); K = AB +AB

m(2,4); K = A

m(3,4); K = B

m(1,2,3); K = A + B

m(1,2,4); K = A + B

m(1,3,4); K = A + B

m(2,3,4); K=A+B

m(1,2,3,4); K = 1

Mapa de Karnaugh

Figura 1 Ejemplo de Cuba Carnot Cube Carnot - un mtodo grfico para minimizar funciones de conmutacin (Boolean), proporcionando la relativa facilidad de manejo de expresiones grandes y la eliminacin de la potencial carrera. Es una operacin a tiempo parcial emparejado unin y absorcin elemental. Mapas de Karnaugh se consideran reconstruida en consecuencia la funcin de tabla de verdad. Karnaugh mapa puede ser visto como un barrido bulerova cubo ndimensional plana. Karnaugh mapa fue inventado en 1952 por Edward W. Veitch y perfeccionado en 1953 por Maurice Karnaugh, un fsico de la "Bell Labs", y se han diseado para ayudar a simplificar los circuitos electrnicos digitales. En la variable booleana Karnaugh mapa se transmite de la tabla de verdad y ordenado por el cdigo Gray en la que el nmero de telfono de cada uno difiere del bit anterior, exclusivamente.

Los principios de la reduccin al mnimo El principal mtodo de reduccin al mnimo de las funciones lgicas que se representan como funcin completa normal disyuntiva o una funcin normal conjuntival perfecta es la operacin de vinculacin de los pares y la absorcin primaria incompleta. La operacin se lleva a cabo la unin por parejas entre los dos trminos (condiciones) que contienen las mismas variables que la entrada (directa e inversa) son los mismos para todas las variables excepto una. En este caso, todas las variables, excepto uno, puede ser un factor fuera, y los soportes restantes y negado la existencia de uno pegado exponer variable. Por ejemplo:
( )

Del mismo modo, para las formas normales conjuntivales:

)(

La posibilidad de absorcin debe ser igualdades obvias


Por lo tanto, la tarea principal y minimiza el PDNF y SKNF es los trminos de bsqueda que son adecuados para el encolado con la absorcin subsiguiente de que para las grandes formas pueden ser todo un reto. Mapas de Karnaugh proporcionan forma visual de encontrar estos trminos. Como es conocido, la funcin booleana n variables representados como CDNF y SKNF o pueden estar compuestos de diferentes trminos 2N. Todos estos son miembros de una cierta estructura que es topolgicamente equivalente al cubo de N-dimensiones, y cualquiera de los dos trminos conectados por un borde, adecuados para el encolado y adquisiciones. La figura muestra una tabla de verdad simple para una funcin de dos variables correspondientes a esta tabla, el cubo de 2 dimensiones (cuadrado), as como del cubo 2dimensional con la designacin de los miembros de PDNF y la tabla equivalente para agrupar trminos:

En el caso de una funcin de tres variables tienen que tratar con cubo tridimensional. Esto es ms difcil y menos grficamente, pero tcnicamente posible. La figura muestra un ejemplo de la tabla de verdad para una funcin booleana de tres variables y el cubo correspondiente.

La mesa no es la correcta. Vernon ser: 1 1 0 0 1 1 0 0 Como puede verse en la figura, caso tridimensional, trminos configuraciones ms complejas. Por ejemplo, cuatro trminos pertenecientes a una de las caras del cubo, se combinan en un solo plazo con la absorcin de dos variables:
( ) ( )( )

En general se puede decir que las condiciones de 2K que pertenecen a las mismas caras KDimensional Hypercube se pegan en un solo plazo, en donde las variables K se absorben. Para simplificar el trabajo con funciones booleanas de un gran nmero de variables se ha presentado con la siguiente caracterstica muy til. Cubo, que es una estructura temporal, se lleva a cabo en el plano como se muestra en la figura. Por lo tanto, es posible representar funciones booleanas con ms de dos variables en la forma de una mesa plana. Se debe recordar que el orden de los trminos en la tabla de cdigos (00 01 11 10) no se corresponde con el orden de los nmeros binarios, y las clulas en las columnas externas de la tabla, de lado a lado entre s.

Del mismo modo, se puede trabajar con las funciones de cinco, siete (necesariamente prime), etc., utilizando booleanas nevizualiziruemaya cubos multidimensionales.

Trabajar con el mapa de Karnaugh La informacin inicial para trabajar con el mapa de Carnot es la funcin de tabla de verdad que se reduce al mnimo. La tabla de verdad contiene la informacin completa sobre las funciones lgicas, estableciendo su valor a todos los posibles 2N conjuntos de variables de entrada X1 ... XN. Karnaugh mapa tambin comprende 2N clulas, cada uno de los cuales est asociado con un conjunto nico de variables de entrada X1 ... XN. Por lo tanto, entre la mesa

de la verdad y el mapa de Karnaugh-uno, y el mapa de Karnaugh se puede considerar tabla de verdad con el formato correcto. Esta seccin se utiliza como un ejemplo de una funcin de cuatro variables, teniendo en cuenta la tabla de verdad mostrada en la figura. 2a. Mapa de Karnaugh para la misma funcin que se muestra en la figura. 2b.

Figura 2. Ejemplo de mapa de Karnaugh Principios de unin Clulas de encolado mapa de Karnaugh se pueden realizar en unidades (si es necesario para obtener la forma normal disyuntiva) o ceros (si forma normal conjuntival requerido). Pegamento es posible slo con el nmero de unidades rectangulares (ceros) 2n, donde n - un nmero entero. Mapas de Karnaugh para el nmero de variables a cuatro se pueden obtener reas ms complejas, que sern discutidos en las siguientes secciones. El rea que se somete al encolado debe contener slo un (cero). Los extremos de cada celda horizontalmente y verticalmente a medida que cada frontera entre s (topolgicamente mapa de Karnaugh para las cuatro variables es un toro), y se pueden combinar en rectngulos. La consecuencia de esta regla es la contigidad de las cuatro esquina clulas mapa de Karnaugh para N = 4. Si todas las cuatro celdas de la esquina son unos (ceros) se pueden combinar en un cuadrado, como se muestra en la figura. 2c. Todas las unidades (cero) deben llegar a un rea. Desde el punto de vista de la forma normal disyuntiva mnima (Gusano conjuntival normal), el nmero de reas debe ser tan pequea como sea posible (cada regin es un trmino), y el nmero de clulas en el rea debe ser tanto como sea posible (las ms

clulas en la zona, la variable menos contiene el trmino. clulas de tamao 2n plazo contienen N-n variables). Una clula Karnaugh mapa puede ser incluido directamente en unas pocas reas. Esto se deduce de las propiedades obvias de funciones booleanas: la repeticin de trmino ya existente (factores) no afecta a la funcin: A diferencia PDNF (SKNF), DNF (CNF) no es nica. Quizs algunos de DNF mutuamente equivalente (CNF), que corresponden a las diferentes maneras de cubrir mapa de Karnaugh reas rectangulares.

Descripcin Karnaugh mapa puede ser construido por cualquier nmero de variables, pero es conveniente trabajar con el nmero de variables no es ms de cinco. De hecho mapa de Karnaugh - esta tabla de verdad preparada en forma de 2 dimensiones. Mediante el uso de cdigo de Gray en la fila superior es adyacente a la parte inferior, y la columna de la derecha adyacente a la izquierda, es decir, Karnaugh mapa, todo en forma de toroide (dona). En la interseccin de una fila y columna se pone el valor correspondiente de la tabla de verdad. Una vez que la tarjeta est llena, usted puede comenzar a disminuir. Si es necesario para obtener el DNF ms bajo, el Mapa considerar slo aquellas clulas que contienen las unidades si CNF necesario considerar que aquellas clulas que contienen ceros. Minimizacin en s se produce por las siguientes reglas (por ejemplo, DNF): Combinar celdas adyacentes que contienen unidades de rea de modo que un rea contiene 2n (n = un nmero entero 0 ... ) clulas (recordar el hecho de que las filas y columnas extremos son adyacentes entre s), en la regin debe ser de clulas que contienen ceros; El rea debe estar simtricamente al eje (s) (los ejes estn dispuestos cada cuatro clulas); Las reas no contiguas situadas simtricamente con respecto al eje (s) pueden ser combinados en uno; El rea debe ser tan grande como sea posible un nmero de reas tan poco como sea posible; Las reas pueden solaparse;

Hay varias opciones posibles para la cobertura. A continuacin, tome la primera zona y ver qu variables no cambian dentro de esta regin, se escribe la conjuncin de estas variables, si la variable que no cambia es cero, puesto encima de la inversin. Tome la siguiente zona, llevamos a cabo lo mismo que para la primera, y as sucesivamente para todas las reas. reas Conjunciones combinan disyuncin. Por ejemplo (para Mapas en 2 variables):

CNF por lo mismo, basta con ver las clulas con ceros, variables que no cambian dentro de una zona se combinan para disyuncin (inversin fija en variables individuales) y reas disyuncin combinan en conjunto. Esta reduccin al mnimo es completa. Hasta aqu el mapa de Karnaugh en la Figura 1 de expresin en formato DNF ser:
( )

En formato CNF:
( ) ( )( )( )

Slo por el CNF y DNF en la parte posterior se puede ir con las leyes de Morgan.

Ejemplos

Ejemplo 1 El Kohli nio tiene una madre, padre, abuelo y abuela. Kohl a dar un paseo por la calle si se le permitir, al menos, dos familiares. Por razones de brevedad, los familiares Coley travs de cartas: Mam - x1, pap - x2, abuelo - x3, abuela - 4x. Estamos de acuerdo para designar el consentimiento de los familiares de la unidad de la disidencia - cero. La oportunidad de ir a dar un paseo se denota por la letra f, Nick va a dar un paseo - f = 1, Kohl no va a caminar - f = 0. Formamos una tabla de verdad:

Volver a dibujar la tabla de verdad de una forma de 2 dimensiones:

Nos reordenamos en filas y columnas de acuerdo con el cdigo Gray. Obtener un mapa de Carnot:

Rellenar con los valores de la tabla de verdad:

Minimizar, de conformidad con las normas:

1. Todas las regiones contienen 2n celdas; 2. Como el mapa de Karnaugh para cuatro variables, los ejes se encuentran en los bordes del mapa y no puede verlos; 3. Puesto que el mapa de Karnaugh para cuatro variables, todos los ejes de simetra adyacentes entre s; 4. reas de S3, S4, S5, S6 tan grande; 5. Todas las reas de superposicin (condicin opcional); 6. En este caso, slo una variante racional.

Ahora, mediante la obtencin de la DNF mnimo puede construir la lgica:

Debido a la falta de disposicin de seis entradas o puerta, que realiza la funcin de separacin, haba en cascada de cinco y dos elementos de entrada (D7, D8). Elaborate min. CNF:

)(

)(

)(

)(

)(

)(