Karna Ugh

Simplificacin de funciones lgicas utilizando Karnaugh
Karnaugh
EL - 3307 Diseo Lgico
Ing. Jos Alberto Daz Garca

Pgina 1
Objetivos de la simplificacin
Objetivo: minimizar el costo de la funcin lgica Medicin del costo y otras consideraciones
Nmero de compuertas Nmero de niveles Fan in y fan out de las compuertas Complejidad en la interconexin Prevencin de riesgos
Karnaugh
Realizacin en dos niveles

Minimiza el nmero de compuertas (trminos de la funcin) Minimiza el fan in (variables en la funcin)

Pgina 2
Relacin entre representaciones

TEOREMA: Cualquier funcin Boolena que puede exprese como una Tabla de Verdad puede escribirse como una expresin en Algebra Booleana utilizando compuertas AND, OR, NOT.
Tabla de verdad nica
Karnaugh
No nica Expresin Booleana Conveniente para manipulacin

Representacin en compuertas (esquemtico)
No nica

Pgina 3
Cerca de implementacin
Mapas de Karnaugh
Un mapa de Karnaugh (tambin conocido como tabla de Karnaugh o diagrama de Veitch, abreviado como K-Mapa o KV-Mapa) es un diagrama utilizado para la simplificacin de funciones algebraicas booleanas. El mapa de Karnaugh fue inventado en 1950 por Maurice Karnaugh, un fsico y matemtico de los laboratorios Bell. Los mapas K aprovechan la capacidad del cerebro humano de trabajar mejor con patrones que con ecuaciones y otras formas de expresin analtica. Externamente, un mapa de Karnaugh consiste de una serie de cuadrados, cada uno de los cuales representa una lnea de la tabla de verdad. Puesto que la tabla de verdad de una funcin de N variables posee 2N filas, el mapa K correspondiente debe poseer tambin 2N cuadrados. Cada cuadrado alberga 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.

Pgina 4
Karnaugh
Relacin con los diagramas de Venn Para dos variables se pueden expresar las siguientes reas en diagramas de Venn
Karnaugh
ab ab
ab
ab

Pgina 5
Relacin con los diagramas de Venn
Estas rea se pueden representar como minterminos.

Karnaugh
m0 m2 m3 m1

Pgina 6
Relacin con los diagramas de Venn

Las reas para dos conjuntos son cuatro. Estas son:
Karnaugh
AB AB
AB
AB

Pgina 7
La idea ahora es colocar las rea de tal forma que entre rea y rea solo cambie una variable
Relacin con los diagramas de Venn Con el fin de que solo una variable cambie entre rea y rea el grupo de las cuatro reas resulta como:
Karnaugh
AB AB
AB AB

Pgina 8
Relacin con los diagramas de Venn Estas reas se pueden representar en una grafica de la siguiente forma Estas reas se puede asignar nmeros decimales, tal como se muestra.
Karnaugh
0 1

Pgina 9
Relacin con los diagramas de Veen

Para este mapa la variable mas significativa es A En este mapa se muestran todas las reas posibles. Se debe tomar en cuenta que al pasar de un rea a otra solo varia un bit. Esto es tanto en el B como en A se utiliza el cdigo Gray.
B
Karnaugh
0 1

Pgina 10
Mapa de dos variables
Karnaugh

Pgina 11
Mapa de tres variables
m0
Karnaugh
m2 m3
m6 m7
m4 m5
m1

Pgina 12

En este caso la variable mas significativa es A Recuerde que los bordes son adyacentes O sea esta figura es como un neumtico Karnaugh

Pgina 13
Mapa de cuatro variables
m0 m4 m12 m8
m1 m5 m13 m9
m3 m7 m15 m11
m2 m6 m14 m10

Pgina 14
Karnaugh
Representacin de funciones en mapas de Karnaugh

Karnaugh

Pgina 15
Representacin cannica de minterminos
Ejemplo
Karnaugh
F = ABC + ABC + ABC + ABC
F = m6 + m3 + m1 + m5
F ( A, B, C ) = m (1,3,5, 6 )

Pgina 16
BC
AC
Karnaugh
1 1
1 1
ABC

Pgina 17
F ( a, b, c ) = m (1,3,5, 6 )
BC
AC
Karnaugh
1 1
1 1
ABC

Pgina 18
F ( a, b, c ) = m (1,3,5, 6 )
Ejemplo: con cuatro variables
1
Karnaugh
1 1 1

Pgina 19
F ( A, B, C , D) =
(0,1,3,7,8,9,10,15)
Ejemplo: con cuatro variables
BC
BD
1
Karnaugh
1 1 1
1
BCD

Pgina 20
F ( A, B, C , D) =
(0,1,3,7,8,9,10,15)
Terminologa / definiciones Literal

Es una variable o su complemento
Trminos lgicamente adyacentes

Karnaugh
Dos minterminos son lgicamente adyacentes si difieren entre ellos una sola variables.

Pgina 21
Terminologa / definiciones
Implicante
Es un termino que puede ser utilizado para cubrir minterminos de una funcin Es un implicante que no es parte de otro implicante. Es un implicante que cubre por lo menos un mintermino que no esta contenido en otro implicante primario. Es un mintermino que ha sido utilizado en por lo menos un grupo.
Implicante primario
Karnaugh
Implicante primario esencial
Cobertor

Pgina 22
Gua para simplificar funciones

Pgina 23
Cada rea en los mapas K de n variables tienen n reas lgicas adyacentes. (difieren de exactamente una variable). Cuando se combinan reas, siempre agrpelas en potencias de 2m , donde m=0,1,2,. En general, agrupar 2m variables elimina m variables.
Karnaugh
Gua para simplificar funciones

Pgina 24
Agrupe la mayor cantidad de reas posibles. Esto elimina la mayor cantidad de variables. Haga los menos grupos posibles. Cada grupo representa un producto de variables. Debe cubrir al menos cada mintermino. Sin embargo, puede ser cubierto mas de una vez.
Karnaugh

Karnaugh

Pgina 25
Procedimiento para simplificar con mapas K Grafique el mapa Haga un circulo en todos los implicantes primarios. Identifique y seleccione todos los implicantes esenciales primarios que va a cubrir. Seleccione un subconjunto mnimo de implicantes primarios residuales para completar la cobertura. Lea el mapa K
Ejemplo
Utilice los mapas K para simplificar la siguiente funcin lgica.
Karnaugh
F ( A, B, C ) =
(1,2,3,5,6)

Pgina 26
Solucin
Karnaugh
1 1
1 1

Pgina 27
Solucin

Pgina 28
Karnaugh
F ( a, b, c ) = ab + bc + bc = ab + b c
Ejemplo

Pgina 29
Karnaugh
F ( a, b, c ) = m ( 2,3, 6, 7 )
Solucin
Karnaugh
1 1
1 1

Pgina 30
Solucin

Pgina 31
Karnaugh
F ( a, b, c ) = ab + ab = b
Casos Especiales
Karnaugh

Pgina 32
Mapas con tres variables
Karnaugh
1 1
1 1
1 1
1 1

Pgina 33
F ( a, b, c ) = 1
Mapa con tres variables
Karnaugh
0 0
0 0
0 0
0 0

Pgina 34
F ( a , b, c ) = 0
Mapa con tres variables
Karnaugh
1 1 1
F ( a , b, c ) = a b c

Pgina 35
Condiciones no importa
Muchas veces en el diseo de los circuitos digitales, particularmente en los convertidores de cdigo, algunas entradas deben considerarse como casos que no sucedern, y son casos que cuando ocurren no afectan el comportamiento del sistema, esto es no importa si suceden. Por ejemplo, considrese el caso de un contador decimal de cuatro bits, en el cual se pueden generar los estados desde el 0000 hasta el 1111, en el caso de que este se desee representar en BCD los trminos 1010, 1011,1100, 1101, 1110, 1111, que no afectan el comportamiento del contador BCD se deben tomar como condiciones no importa ya que no afectan el comportamiento del sistema. Los trminos no importan se pueden tomar como mintrminos en la solucin o como maxterminos, dependiendo de la conveniencia. El objetivo de utilizar condiciones no importa es el ayudar en la simplificacin de las funciones lgicas. Los trminos no importa se representan en los mapas con una X. Las condiciones no importa, se pueden agrupar con los unos o con los ceros en un mapa de Karnaugh dependiendo de la conveniencia en el proceso de sntesis.

Pgina 36
Karnaugh
Ejemplo
Se quiere simplificar la siguiente funcin lgica:
Karnaugh f ( A, B, C ) =
(0,2,7) N (3,4)
El trmino N(3,4), representa que los minterminos 3 y 4 son condiciones no importa.

Pgina 37
Solucin
Esta condicin no importa la sumo como cero
Karnaugh
Esta condicin no importa la asumo como 1
1 0
1 X
0 1
X 0

Pgina 38
f ( A, B, C ) = A B + AC
Ejemplo Utilizando mapas de Karnaugh simplificar la siguiente funcin:

Karnaugh
f ( A, B, C , D) =
(0,2,6,8,12,13,15) X (3,9,10)

Pgina 39
Solucin
1
Karnaugh
0 0 1 X
X 0 1 0
1 1 0 X
0 1 1

Pgina 40
f ( A, B, C , D) = AC + B D + ABD + A CD
Ejemplo
Utilice mapas K para simplificar la siguiente expresin
Karnaugh
F ( a, b, c, d ) = m ( 0, 2,3, 6,8,12,13,15 )

Pgina 41
Solucin
1
Karnaugh
1 1
1 1

Pgina 42
f ( A, B, C , D) = A B C + A CD + ABD + AC D + B C D
Mapas con cinco variables

Pgina 43
Karnaugh
F ( a, b, c, d , e )
Mapas con cinco variables Utilice dos mapas de cuatro variables. En uno de ellos coloque los trminos correspondientes a la variable ms significativa en uno. En el otro coloque los trminos correspondientes a la variables ms significativa en cero.

Pgina 44
Karnaugh
Utilice dos mapas de cuatro variables

Mapa A=0 Mapa A=1

Pgina 45
Karnaugh
Ejemplo de cinco variables
F ( a, b, c, d , e) = m ( 5,7,13,15,21,23,29,31)
Karnaugh

Pgina 46
Solucin
A=0
Karnaugh
A=1
1 1 1 1 1 1 1 1

Pgina 47
Solucin
f ( A, B, C , D, E ) = A CE + BEC + AB CE
Karnaugh

Pgina 48
Ejemplo
Utilice los mapas K para simplificar la siguiente funcin Booleana.
Karnaugh
F ( a, b, c ) = M (1, 2,3,5, 6 )

Pgina 49
Paso 1. Colocar los maxterminos
Karnaugh
0 0
1 1
1 0
1 1

Pgina 50
Paso 2. Agrupe los implicantes primarios
BC AB Karnaugh
0
BC
1 1
1 0
1 1

Pgina 51
f ( A, B, C ) = A B + BC + CB
Paso 3. Aplique el teorema de Morgan

En el paso anterior se encontr el modelo lgico para el complemento de f1. Para encontrar el modelo es necesario aplicar el teorema de Morgan, esto es: Karnaugh
f1 ( A, B, C ) = A B + BC + CB f1 ( A, B, C ) = A B + BC + CB f1 ( A, B, C ) = ( A + B )( B + C )(C + B) f1 ( A, B, C ) = AB C + B C + ABC f1 ( A, B, C ) = B C ( A + 1) + ABC f1 ( A, B, C ) = B C + ABC

Pgina 52
Ejemplo Este ejemplo es igual al anterior solo que cambiando el mapa. Lo primero que hacemos es transformar el mapa para que acepte maxtrminos. Esto es colocar las variables donde se encuentran negadas.

Pgina 53
Karnaugh
Transformacin del mapa para maxterminos

Para transformar el mapa coloque la variable sin negar donde se encuentra la variable negada y reptalo con todas las variables. Coloque todos los trminos de la expresin lgica
Karnaugh
B+C
B A
0
1 1
1 1
A+B

Pgina 54
C+B
Solucin
f1 ( A, B, C ) = ( B + C )( A + B )(C + B ) f1 ( A, B, C ) = ( BA + BB + C A + C B )(C + B )
Karnaugh
f1 ( A, B, C ) = BAC + C AB + C B f1 ( A, B, C ) = ABC + C B ( A + 1) f1 ( A, B, C ) = ABC + C B

Pgina 55
Sistemas con varias funciones de salida

Suponga que se cuenta con un sistema discreto que produce tres funciones de salida, bajo la presencia de tres variables de entrada. Esto es: Karnaugh

Pgina 56
(0,2,3,5,6) f ( A, B, C ) = (1,2,3,4,7) f ( A, B, C ) = (2,3,4,5,6)

f1 ( A, B, C ) =
2 3
Genere los mapas de las funciones

f1
B
1
0 1
1 1
Karnaugh

Pgina 57
Mapa para f2
f2 0
B
1
1
1 1
Karnaugh

Pgina 58
Mapa para f3
f3 0 1
B
1
3
1 1
Karnaugh

Pgina 59
Todos los mapas

Pgina 60
Karnaugh
Tabla de minterminos
Mintermino f1 f2 f3

Pgina 61
m0 m1 m2 m3 m4 m5 m6 m7
X X X X X X X X X X X X X X X
Karnaugh
Conclusin Si se observa en la lmina donde se encuentran los tres mapas, se puede concluir que los trminos de f3 son generados por f2 y f1 . En otras palabras los trminos de f3 son producidos en las otras funciones

Pgina 62
Karnaugh
Cobertura de minterminos

Pgina 63
Karnaugh
Solucin
f1 ( A, B, C ) = A B + BC + A B C + AB C f 2 ( A, B, C ) = A B + BC + A C + AB C
Karnaugh
f 3 ( A, B, C ) = A B + BC + AB C + AB C

Pgina 64
Tcnica de variables en el mapa Reduce el tamao del mapa de 3, 4, 5, 6 y 7 variables. La idea es no slo cubrir unos, ceros, sino que cubrir variables tambin, incluso expresiones booleanas. El principio terico e utilizar el teorema de adyacencia lgica.

Pgina 65
Karnaugh
Ejemplo (entradas al mapa)

Supongamos la funcin que se define con la siguiente tabla de verdad

Pgina 66
Karnaugh
Expresin de salida
La salida se puede expresar como:

Pgina 67
Karnaugh
f ( A, B, C ) = A B C (0) + A B C (0) + A BC (1) + A BC (1) + AB C (1) + AB C (0) + ABC ( X ) + ABC ( X )
Disminuir la tabla de verdad a dos variables

Pgina 68
Karnaugh
Disminuir la tabla
Como se puede observar ahora se puede representar la funcin en un mapa de dos variables. Esto es:
Karnaugh
0 C
1 X

Pgina 69
Otro ejemplo

Pgina 70
Karnaugh
Disminuir la tabla

Pgina 71
Karnaugh
Mapa de tres variables para f1 B

0
Karnaugh
0
f1
1 D
D 0
DX DX

Pgina 72
Mapa de tres variables para f2 B

1
Karnaugh
0 1 D+DX
f2
DX
D X

Pgina 73
Lectura del mapa

Paso 1. (Agrupar las reas)
Agrupar las variables de entrada que no se pueden agrupar con otras reas del mapa. Recuerde que una variable en un rea no se puede agrupar con su complemento de otra, ya que no son idnticas. Agrupe las mismas variables en distintas reas adyacentes. Se pueden agrupar variables con un rea que contenga un 1. Se pueden agrupar variables con un rea que contenga un X. Contine agrupando las variables hasta cubrir con todas las variables de entrada.

Pgina 74
Karnaugh
Lectura del mapa

Paso 2. Transformacin del mapa
Sustituya todas las variables de entrada al mapa en cero. Si el rea tiene un cero, consrvelo, y si tiene una condicin no importa, consrvelo. Si el rea tiene un uno, se mantiene si no est totalmente cubierta, se coloca un X si esta totalmente cubierta, por ejemplo cubierta con la variable y su complemento. Si a la variable de entrada lo acompaa una condicin no importa, donde aparece coloque un cero. Si en el rea se encuentra la variable de entrada (+) la misma variable complementada con una condicin no importa coloque 1 si no cubre totalmente o si solo se cubre el complemento. Debe colocarse una X (no importa) si se cubre totalmente o si el trmino necesario se cubre

Pgina 75
Karnaugh
Ejemplo de lectura de mapas con variables
Este es el mapa
Karnaugh
C 1
0 C

Pgina 76
Transformacin del mapa El uno se puede representar como la suma de la variable de entrada y su complemento
Karnaugh
0 C
C+C

Pgina 77
Paso 1. Agrupar las variables
B(C) Karnaugh
0 C
C+C
A(C)

Pgina 78
Paso 2. Transformar el mapa Ahora se deben agrupar los unos

0
0
AB Karnaugh
0 0

Pgina 79
La solucin
Ser la unin de todos los trminos. Esto es:
Karnaugh
f ( A, B, C ) = B C + AC + AB

Pgina 80
Ejemplo Reagrupar las variables

Karnaugh
C+CX

Pgina 81
Paso 1. Agrupar las reas

B
0
Karnaugh
C+CX
C+C

Pgina 82
Paso 2. Transformar el mapa
Karnaugh
AB
X 0

Pgina 83
Solucin
f ( A, B, C ) = B + AB
Karnaugh

Pgina 84
Otro ejemplo

Pgina 85
Karnaugh
Mapa para la funcin f1

AD Karnaugh
f1
B
X
0
D 1
DX DX
1 D
AB
C
AC

Pgina 86
Mapa para la funcin f2

AD Karnaugh
f2
B
1
0 1 D+DX
1
D
D DX
DX
ABD
C
CD

Pgina 87
Mapa transformado para f1

AC Karnaugh
f1
B
X
0
0 1
0 0
1 0
C
ACB

Pgina 88
Mapa transformado para f2

AB Karnaugh
f2
B
1
0
X
0
1
0
0 0
C
AC

Pgina 89
Solucin para f1
f1 ( A, B, C , D) = A D + AB + ACB
Karnaugh

Pgina 90
Solucin para f2
f 2 ( A, B, C , D) = A D + CD + ABD + A C + A B
Karnaugh

Pgina 91

Karna Ugh

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Karna Ugh

Cargado por

Copyright:

Formatos disponibles

Simplificacin de funciones lgicas utilizando Karnaugh

Ing. Jos Alberto Daz Garca

Realizacin en dos niveles

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Relacin entre representaciones

No nica Expresin Booleana Conveniente para manipulacin

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Relacin con los diagramas de Venn

Estas rea se pueden representar como minterminos.

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Relacin con los diagramas de Venn

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Relacin con los diagramas de Veen

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Mapa de dos variables

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Mapa de tres variables

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Mapa de tres variables

Ing. Jos Alberto Daz Garca

Mapa de cuatro variables

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Representacin de funciones en mapas de Karnaugh

Ing. Jos Alberto Daz Garca

Representacin cannica de minterminos

F = ABC + ABC + ABC + ABC

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Mapa de tres variables

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Mapa de tres variables

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Ejemplo: con cuatro variables

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Ejemplo: con cuatro variables

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Terminologa / definiciones Literal

Trminos lgicamente adyacentes

EL - 3307 Diseo Lgico

Ing. Jos Alberto Daz Garca

Implicante primario esencial

Ing. Jos Alberto Daz Garca

Gua para simplificar funciones

EL - 3307 Diseo Lgico