Está en la página 1de 20

Diseo Digital para Ingeniera

30
2.3. Simplificacin de Expresiones Lgicas

El objetivo de la simplificacin de expresiones lgicas es reducir la expresin al menor nmero


posible de trminos. Las expresiones lgicas se pueden simplificar utilizando los teoremas anteriores.

Ejemplo:

1. F = ABC + ABC;

F = AB(C + C);

F = AB

2. F = (A+B)(A+B);

F = AA + AB + AB + BB;

F = AB + AB

3. F = [(A + C)(B + D)];

F = (A + C)+(B + D);

F= AC + BD

4. F = (X + Z)(Z + WY) + (VZ + WX)(Y + Z);

F = (X + Z)[Z(W + Y)] + [(VZ + WX)(YZ)]

F = (X + Z)(ZW + ZY) + VYZZ + WXYZ

F = WXZ + XYZ + ZZW + ZZY + WXYZ

F = WXZ + XYZ + WZ + YZ + WXYZ

F = WZ(1 + X) + YZ(1 + X) + WXYZ

F = WZ + YZ + WXYZ

F = WZ + YZ(1 + WX)

F = Z(W + Y)

2.4. Implementacin de Funciones Lgicas mediante Compuertas.


Diseo Digital para Ingeniera
31
La forma ms fcil de encontrar la expresin de un circuito lgico consiste en comenzar con las
entradas situadas ms a la izquierda e ir avanzando hasta la salida de cada compuerta lgica,
obteniendo la expresin para cada una de ellas. Al final del recorrido se debe tener la expresin para
todo el circuito. La expresin resultante podemos simplificarla para obtener una ms sencilla y as
obtener un circuito ms reducido.

Ejemplo Encontrar la expresin para el circuito de la figura 26.

Figura 26. Smbolo lgico para la compuerta NOR.

1. La expresin de la compuerta NOR situada a la izquierda cuyas entradas son A y B es (A+B).


Esta es la primera entrada de la compuerta AND situada a la derecha.
2. La expresin de la compuerta AND cuyas entradas son (A+B) y C es (A+B)C.
3. La salida de la compuerta AND es la primera entrada de la compuerta OR del extremo
derecho. Por lotanto, la expresin de esta compuerta OR es [(A+B)C]+D.

2.5. Sntesis de Diseo de Circuitos Combinacionales

Sntesis se entiende como la obtencin de circuitos lgicos, a partir de una descripcin inicial que
utiliza el lenguaje convencional y luego es transferida a una tabla de verdad.

Una tabla de verdad es una representacin bsica de una funcin lgica, en la cual se listan las
salidas del circuito lgico para las posibles combinaciones de entrada. Las combinaciones de entrada
estn ordenadas por renglones (lneas) y cada rengln contiene su salida respectiva. Por ejemplo, la
tabla de verdad para una funcin lgica de 3 variables, tendr 8 lneas para 8 combinaciones de
entrada, conteniendo cada lnea, su salida respectiva. En la tabla 9. Se ilustra una funcin de 3
variables para el caso mencionado.

Rengln o lnea A B C Funcin de salida Mintrmino Maxtrmino


0 0 0 0 F(0,0,0) A'B'C' A+B+C

1 0 0 1 F(0,0,1) A'B'C A+B+C'

2 0 1 0 F(0,1,0) A'BC' A+B'+C

3 0 1 1 F(0,1,1) A'BC A+B'+C'

4 1 0 0 F(1,0,0) AB'C' A'+B+C

5 1 0 1 F(1,0,1) AB'C A'+B+C'

6 1 1 0 F(1,1,0) ABC' A'+B'+C

7 1 1 1 F(1,1,1) ABC A'+B'+C'

Tabla 9. Funciones de salida, Maxtrminos y Mintrminos

2.6. Mtodos para Sintetizar Circuitos Lgicos


Diseo Digital para Ingeniera
32
Los mtodos para sintetizar circuitos lgicos requieren en primer lugar, la comprensin de algunos
conceptos, entre ellos:

Literal: Variable o el complemento de una variable.

Ejemplo: X, Y, X, Y.

Dominio de una expresin booleana: Es el conjunto de variables contenido en una


expresin booleana.

Ejemplo: Determine el dominio de la expresin XYZ + XYZW.

El dominio es X, Y, Z, W.

Trmino normal: Un producto o trmino suma en donde ninguna variable aparece repetida.

Ejemplo de trmino repetido: XYY, ZXXY

Ejemplo de trmino no repetido: XYZ, ZYX

Trmino producto: Un solo literal o el producto lgico (multiplicacin booleana) de dos o ms


literales.

Ejemplo: X, XY, ZY, XYZ

Un trmino producto es 1 slo para una combinacin de valores de las variables.

Ejemplo: El trmino producto XY'Z es 1 slo para X=1, Y=0 y Z=1 y es 0 para el resto
de combinaciones. El valor en binario ser 101 5 en decimal.

Trmino suma: Un solo literal o una suma lgica (suma booleana) de dos o ms literales.

Ejemplo: X, X + Y,X+Z, X+Y+Z, X+Y+Z

Un trmino suma es 1 cuando cualquier literal que lo compone es 1.

Ejemplo: El trmino X+Y+Z es 0 para X=0 Y=1 Z=1 y es 1 para el resto de


combinaciones. El valor en binario ser 011 3 en decimal.

Suma de productos: Suma lgica de trminos productos (Ver tabla 9).

Ejemplo: X+ XY + ZY + XYZ

Forma estndar de la suma de productos: Una suma de productos no se encuentra en su


forma estndar cuando alguno de los trminos producto no contiene alguna de las variables
del dominio de la expresin.

Ejemplo
Diseo Digital para Ingeniera
33
XYZ + XYZW. El dominio es X, Y, Z, W. El primer trmino producto no contiene el
literal W W'.

Ejemplo

X'YZ'.W + XYZW. En cada uno de los trminos de la expresin aparecen todas las
variables del dominio. Por lo tanto, la suma de productos est en su forma estndar.

Producto de sumas: Producto lgico de trminos suma (Ver tabla 9).

Ejemplo: X(X+Y)(X+Z)(X+Y+Z)(X+Y+Z).

Forma estndar del producto de sumas: Un producto de sumas no se encuentra en su


forma estndar cuando alguno de los trminos suma no contiene alguna de las variables del
dominio de la expresin.

Ejemplo

(X+W+Z')(X'+Y+Z+W')(X+Y). El dominio es X, Y, Z, W. El primer trmino suma no contiene


el literal Y Y'. El tercer trmino suma no contiene los literales Z Z' y W W'.

Ejemplo

(X'YZ'.W)(XY'ZW). En cada uno de los trminos de la expresin aparecen todas las


variables del dominio. Por lo tanto, el producto de sumas est en su forma estndar.

Mintrmino: Es un trmino de producto con n literales en el cual hay n variables. De n


variables obtenemos 2n mintrminos.

Ejemplo de mintrminos de 3 variables: XY.Z, X.Y.Z, X.Y.Z, X.Y.Z, X.Y.Z, X.Y.Z,


X.Y.Z, X.Y.Z. (Ver tabla 9.).

Maxtrmino: Es un trmino de suma con n literales en el cual hay n variables. De n variables


obtenemos 2n maxtrminos. (Ver tabla 9.).

Ejemplo de maxtrminos de 3 variables: X+Y+Z, X+Y+Z, X+Y+Z, X+Y+Z, X+Y+Z,


X+Y+Z, X+Y+Z, X+Y+Z. (Ver tabla 2.2.1.).

Los mtodos existentes para sintetizar circuitos lgicos son:

Suma de productos (SDP).


Producto de sumas (PDS).
Mapas de Karnaugh.
Algoritmo de Quine McCluskey.
Diseo Digital para Ingeniera
34
a. Mtodo de Suma de Productos (SDP)

La suma de productos de una funcin lgica es la suma de los mintrminos correspondientes a las
lneas de la tabla de verdad para las que la funcin produce una salida igual a 1. La funcin obtenida
es la suma de productos.

Ejemplo Obtener la suma de productos para la funcin lgica de la tabla 10.

Lnea A B C Funcin de salida F1


0 0 0 0 0
1 0 0 1 0
2 0 1 0 1
3 0 1 1 0
4 1 0 0 1
5 1 0 1 1
6 1 1 0 0
7 1 1 1 1

Tabla 10. Tabla de verdad para la funcin lgica F1

La funcin puede ser expresada conformando un trmino mnimo por cada combinacin de variables
que producen un 1 en la funcin para luego obtener la suma de todos los trminos. La funcin lgica
para la tabla 2.3.1 se determina expresando las combinaciones 010, 100, 101 y 111 como A'BC',
AB'C', AB'C y ABC:

F1= A,B,C( 2,4,5,7)= A'BC' + AB'C' + AB'C + ABC.

Cada mintrmino de la funcin anterior representa una compuerta AND de tres entradas y la
implementacin de la funcin es posible a travs de la aplicacin de la operacin OR a las salidas de
las cuatro compuertas AND. Por tanto, el nmero total de compuertas AND depender del total de
mintrminos de la expresin. El circuito se muestra en la figura 27.

Figura 27. Circuito lgico para la funcin lgica F1.

En una suma de productos se cumple la igualdad de la funcin al valor lgico 1 si al menos uno de
sus trminos productos es igual a 1.
Diseo Digital para Ingeniera
35
Ejemplo Obtener la suma de productos para la funcin lgica de la tabla 11.

A B F2
0 0 0
0 1 1
1 0 1
1 1 0

Tabla 11. Tabla de verdad de la funcin F2.

En la tabla de verdad existen dos condiciones para las cuales la salida es 1. Estas son las siguientes:

1. La primera se presenta cuando A es Bajo(0) y B es Alto(1). El resultado 1 de esta condicin se


puede expresar como el producto lgico:

AB

2. La segunda condicin se presenta cuando A es 1 y B es 0. Esta condicin ocasiona un


resultado 1, si el producto lgico es:

AB

Como cualquiera de estas dos (2) condiciones hace que la salida sea 1, entonces la funcin lgica
que los representa es la suma lgica de los productos anteriores:

F2= AB + AB = A B

La representacin de la funcin anterior con compuertas OR y AND se muestra en la figura 28.

Figura 28. Funcin F2 utilizando compuertas AND Y OR

Esta funcin corresponde a la funcin OR exclusiva, cuya compuerta se representa en la figura 11.
Diseo Digital para Ingeniera
36
Ejemplo Obtener la funcin SDP para la funcin lgica de la tabla 12. Simplificar la funcin y dibujarla.

A B F3
0 0 1
0 1 0
1 0 0
1 1 1

Tabla 12. Tabla de verdad de la funcin F3

Utilizando suma de productos para las lneas 1 y 4 de la tabla se obtiene,

F3=A'B'+ AB, simplificando

F3=(A+B) + AB

F3= (A B)'

El circuito lgico de la funcin anterior se muestra en la figura 29.

Figura 29. Funcin F3 utilizando compuertas AND, NOR y OR.

El smbolo lgico de la compuerta NEXOR - Se muestra en la figura 14.

Conversin de una expresin lgica a formato de suma de productos

La metodologa empleada en la transformacin de una suma de productos a su forma estndar se


basa en el teorema 6, que establece que una variable sumada con su complemento es siempre igual
a 1; A + A' = 1. Los pasos son los siguientes:

1. Los trminos producto que no contengan la(s) variable(s) del dominio, multiplicarlos por un
trmino formado por dicha variable ms el complemento de la misma (teorema 6).

2. Repetir el paso 1 para todos los trminos de la expresin que no contengan todas las
variables (o sus complementos) del dominio. Resolver los trminos intervenidos.

Ejemplo Convertir la expresin booleana AB.C' + BC + A' a su forma estndar.

El dominio de la expresin es el conjunto de variables A, B y C. Se observa la falta de formato


estndar para el segundo y tercer trmino producto. Sobre ellos se aplicar el procedimiento, para
luego volver a agrupar toda la expresin:
Diseo Digital para Ingeniera
37
Trmino BC

BC = BC (A+A') = ABC + A'BC

Trmino A

A' = A'(C+C') = A'C+A'C' ; la expresin an no tiene el formato estndar, entonces multiplicamos


cada trmino por (B+B')
A'C(B+B') +A'C'(B+B') = A'BC + A'B'C + A'BC' + A'B'C'

La expresin en su formato estndar es:

AB.C' + BC + A' = ABC + A'BC + A'BC + A'B'C + A'BC' + A'B'C'

b. Mtodo de producto de sumas (PDS)

El producto de sumas de una funcin lgica es la multiplicacin de los maxtrminos correspondientes


a las lneas de la tabla de verdad para las que la funcin produce una salida igual a 0. La funcin
obtenida es el producto de sumas.

Ejemplo Obtener el producto de sumas para la funcin lgica de la tabla 13.

Rengln o lnea A B C Funcin de salida F4


0 0 0 0 0
1 0 0 1 0
2 0 1 0 1
3 0 1 1 0
4 1 0 0 0
5 1 0 1 1
6 1 1 0 1
7 1 1 1 1

Tabla 13. Tabla de verdad para la funcin lgica F4

La funcin puede ser expresada conformando un trmino mximo para cada combinacin de
variables que producen un 0 en la funcin y luego obtener el producto de todos los trminos. La
funcin lgica para la tabla 2.3.4 se determina expresando las combinaciones 000, 001, 011 y 110
como (A+B+C),(A+B+C'),(A+B'+C') y (A'+B+C). La funcin lgica es la siguiente:

F4= A,B,C( 0,1,3,4)= (A+B+C)(A+B+C')(A+B'+C')(A'+B+C).

Cada maxtrmino de la funcin anterior representa una compuerta OR de tres entradas y la


implementacin de la funcin es posible a travs de la aplicacin de la operacin AND a las salidas
de las cuatro compuertas AND. Por tanto, el nmero total de compuertas AND depender del total de
mintrminos de la expresin. El circuito se muestra en la figura 30.
Diseo Digital para Ingeniera
38

Figura 30. Circuito lgico para la funcin lgica F4

Un producto de sumas es igual a 0 si al menos uno de los trminos suma es igual a 0.

Ejemplo Obtener el producto de sumas para la funcin lgica de la tabla 14.

A B F5
0 0 0
0 1 1
1 0 1
1 1 0

Tabla 14. Tabla de verdad de la funcin EXOR

Considere el complemento de la funcin de Boole F5. Este puede obtenerse de la tabla 14. Formando
un trmino mnimo por cada combinacin que produce un cero y luego haciendo la suma de los
trminos. El complemento de F5 se expresa as:

F5' = A'B' + AB

La expresin F5 se obtiene la negar F5':

F5 = (F5')' = (A'B' + AB)' =(A'B')'(AB)' = [(A')'+(B')'](A'+B') = (A+B)(A'+B')

Si cualquiera de los trminos del PDS es cero, la funcin es cero.

De los 2 mtodos anteriores, se pueden escoger algunos criterios para aplicar un mtodo u otro,
siendo estos los siguientes:

Si en la ltima columna de la tabla de verdad, o sea en la columna que indica los resultados,
s predominan los ceros es ms conveniente utilizar las suma de productos.
Si en la columna que indica los resultados, predominan los unos, es ms conveniente utilizar
el mtodo del producto de sumas.
Diseo Digital para Ingeniera
39
c. Mapas de Karnaugh

Un mapa de Karnaugh es una representacin grfica de una funcin lgica a partir de una tabla de
verdad. El nmero de celdas del mapa es igual al nmero de combinaciones que se pueden obtener
con las variables de entrada.

El Mapa de Karnaugh representa la misma tabla de verdad a travs de una matriz, en la cual, en la
primera fila y la primera columna se indican las posibles combinaciones de las variables. Los mapas
se pueden utilizar para 2, 3, 4 y 5 variables.

Figura 31. Mapa de Karnaugh para 2, 3 y 4 variables.

Analicemos el mapa para cuatro variables, las dos primeras columnas (columnas adyacentes) difieren
slo en la variable d, y c permanece sin cambio, en la segunda y tercera columna (columnas
adyacentes) cambia c, y d permanece sin cambio, ocurre lo mismo en las filas. En general se dice
que...

Dos columnas o filas adyacentes slo pueden diferir en el estado de una de sus variables

Observa tambin que segn lo dicho anteriormente la primer columna con la ltima seran
adyacentes, al igual que la primer fila y la ltima, ya que, slo difieren en una de sus variables.

Mapa de Karnaugh empleando Suma de Productos (SDP)

La simplificacin de expresiones lgicas mediante el mapa de Karnaugh utiliza un mtodo grfico


basado en la Suma de Productos.

Mapa de Karnaugh de tres variables

El mapa de Karnaugh se construye a partir de la tabla de verdad de la funcin lgica. El mapa por
medio de una matriz de 8 celdas, representa los ocho mintrminos posibles que se pueden obtener
con tres variables, en un arreglo de una matriz de 2x4. Por tanto, la primera fila contiene el primer
valor posible ("0") y la segunda fila el valor ("1").

Las variables 2 y 3 se agrupan por columna y se distribuyen en las cuatro columnas de acuerdo a las
combinaciones posibles para obtener los mintrminos requeridos. Sus valores son 00, 01, 10 y 11.
Por ejemplo, la celda m2 corresponde al mintrmino 2, ubicado en la fila 0 y la columna 10. La unin
de estos dos nmeros da el nmero 010, cuyo equivalente es el trmino ABC el decimal 2. La
tabla 15. Muestra el mapa de Karnaugh para 3 variables.

Lnea A B C Mintrmino Mintrmino Funcin de


Diseo Digital para Ingeniera
40
mx Salida
0 0 0 0 ABC m0 F(0,0,0)
1 0 0 1 ABC m1 F(0,0,1)
2 0 1 0 ABC m2 F(0,1,0)
3 0 1 1 ABC m3 F(0,1,1)
4 1 0 0 ABC m4 F(1,0,0)
5 1 0 1 ABC m5 F(1,0,1)
6 1 1 0 ABC m6 F(1,1,0)
7 1 1 1 ABC m7 F(1,1,1)

(a)

(b) (c)

Tabla 15. Mapa de tres variables

La caracterstica de ordenamiento de un mapa de Karnaugh radica en el cambio de un solo BIT en los


trminos de las celdas adyacentes de filas y columnas. En la tabla 15. Las entradas BC se colocan
secuencialmente, cambiando cada vez una sola variable, por eso resulta el orden: 00, 01, 11 y 10. En
la interactividad 2.4.1., la pulsacin de cada cuadro activa el mintrmino correspondiente.

Por ejemplo, la variable C est negada en m4 y m5 no lo est, mientras que A y B no cambia. Las
celdas de los bordes superior e inferior e izquierdo y derecho tambin cumplen esta condicin al
agruparlas unas a otras. En el teorema 12 de la leccin 1, se demuestra que la suma de los trminos
mnimos en celdas adyacentes pueden ser simplificadas en un trmino AND de dos literales. Por
consiguiente, aplicando el teorema para los trminos m4 y m5 del mapa se tiene:

m4 + m5 = ABC + ABC = AB(C+C) = AB

Los trminos m4 y m6 se pueden asociar de la misma forma:

m4 + m6 = ABC + ABC = AC(B+B) = AC

Ejemplo Simplificar la funcin F1= (m3, m4, m5, m6, m7).

F1 = (m3, m4, m5, m6, m7) = ABC + ABC+ ABC + ABC+ ABC
Diseo Digital para Ingeniera
41
Aplicando el teorema 6 de la leccin 1 para el trmino ABC.

F1 = (m3, m4, m5, m6, m7) = (m4, m5, m6, m7) + (m3, m7) = [ABC+ ABC + ABC+ ABC]
+ [ABC + ABC].

El primer trmino en la sumatoria es el grupo 1 y el segundo trmino corresponde al grupo 2. En un


mapa de karnaugh, los mintrminos de cada grupo se relacionaran a travs de lazos independientes.

Desarrollando la expresin,

F1 = [AB(C+C) + AB(C+ C)] + [BC(A+A)]= AB(1) + AB(1) + BC(1) = A(B+B) + BC = A + BC.

El mapa se construye colocando un 1 en las celdas correspondientes a los mintrminos presentes en


la funcin de salida. Por ejemplo, para el trmino F(1,1,0)= ABC = 1 se situara un 1 en la celda
110. Para los mintrminos no presentes en la funcin se pone un 0. Por ejemplo el trmino F(0,0,1)=
AB'C = 0, ser una celda con valor 0 en la celda 001.

Despus de situar los unos en el mapa, se procede con la agrupacin de 1s, la determinacin del
trmino producto correspondiente a cada grupo y la suma de los trminos producto obtenidos. La
determinacin del trmino producto se realiza de acuerdo los siguientes criterios:

1. Una celda representa un mintrmino, dando como resultado un trmino de cuatro literales.

2. Dos celdas agrupadas pueden representar la asociacin de dos mintrminos, dando como
resultado un trmino de dos literales.

3. Cuatro celdas agrupadas pueden representar la asociacin de cuatro mintrminos, dando como
resultado un trmino de un literal.

4. Ocho celdas agrupadas representan un valor de funcin igual a 1.


Diseo Digital para Ingeniera
42
Ejemplo Sea la funcin del ejemplo anterior, simplificarla por medio del mtodo del mapa.

La tabla de verdad del ejemplo anterior es la siguiente,

Lnea A B C Salida F
0 0 0 0 0
1 0 0 1 0
2 0 1 0 0
3 0 1 1 1
4 1 0 0 1
5 1 0 1 1
6 1 1 0 1
7 1 1 1 1

Tabla 16. Tabla de verdad de la funcin F1.

El mapa de Karnaugh se configura de acuerdo a los mintrminos iguales a 1 y las celdas se agrupan
tal como en la figura 32

Figura 32. Mapa de Karnaugh de la funcin F1.

El primer grupo se forma con los mintrminos m4, m5, m6 y m7 y el segundo grupo con los mintrminos
m3 y m7.

Del primer grupo resulta el trmino A, ya que, para las cuatro columnas de la tabla existen
transiciones entre las variables B y C. El segundo grupo da como resultado el trmino BC por el
cambio existente en la variable A.

En total, la funcin queda reducida a la expresin:

F1 = A + BC

Mapa de Karnaugh de cuatro variables

La construccin de un mapa de Karnaugh de 4 variables es similar al de 3 variables. La diferencia


radica en el nmero de variables de entrada. El mapa por medio de una matriz de 16 celdas,
representa los 16 mintrminos posibles (24) que se pueden obtener con cuatro variables de entrada,
en un arreglo de 4 x 4. La disposicin de celdas en el mapa se muestra en la tabla 17.
Diseo Digital para Ingeniera
43
Lnea A B C D Mintrmino Mintrmino mx Funcin de Salida
0 0 0 0 0 ABCD m0 F(0,0,0,0)
1 0 0 0 1 ABCD m1 F(0,0,0,1)
2 0 0 1 0 ABCD m2 F(0,0,1,0)
3 0 0 1 1 ABCD m3 F(0,0,1,1)
4 0 1 0 0 ABCD m4 F(0,1,0,0)
5 0 1 0 1 ABCD m5 F(0,1,0,1)
6 0 1 1 0 ABCD m6 F(0,1,1,0)
7 0 1 1 1 ABCD m7 F(0,1,1,1)
8 1 0 0 0 ABCD m8 F(1,0,0,0)
9 1 0 0 1 ABCD m9 F(1,0,0,1)
10 1 0 1 0 ABCD m10 F(1,0,1,0)
11 1 0 1 1 ABCD m11 F(1,0,1,1)
12 1 1 0 0 ABCD m12 F(1,1,0,0)
13 1 1 0 1 ABCD m13 F(1,1,0,1)
14 1 1 1 0 ABCD m14 F(1,1,1,0)
15 1 1 1 1 ABCD m15 F(1,1,1,1)

(a)

(b) (c)

Tabla 17. Mapa de cuatro variables

Por ejemplo, la celda m9 corresponde al mintrmino 9, ubicado en la fila 10 y la columna 01. La unin
de estos dos nmeros da el nmero 1001, cuyo equivalente es el trmino ABCD - el decimal 9.

La minimizacin por medio de un mapa de 4 variables se puede efectuar con las celdas adyacentes
entre s y las celdas de los bordes que se pueden concatenar para reducir la expresin. Por ejemplo,
m13 y m15 son celdas adyacentes as como m0, m8, m2 y m10.
Diseo Digital para Ingeniera
44
El mapa se construye colocando un 1 en las celdas correspondientes a los mintrminos presentes en
la funcin de salida. Por ejemplo, para el trmino F(1,1,0,0)= ABCD = 1 se situara un 1 en la celda
1100. Para los mintrminos no presentes en la funcin se pone un 0. Por ejemplo el trmino
F(1,1,1,1)= ABCD = 0, ser una celda con valor 0 en la celda 1111.

Igual que en el mapa de 3 variables, se procede con la agrupacin de 1s, la determinacin del
trmino producto correspondiente a cada grupo y la suma de los trminos producto obtenido.

Las reglas para reducir trminos en un mapa de Karnaugh de 4 variables son las siguientes:

1. Una celda representa un mintrmino, dando como resultado un trmino de cuatro literales.

2. Dos celdas agrupadas pueden representar la asociacin de dos mintrminos, dando como
resultado un trmino de tres literales.

3. Cuatro celdas agrupadas pueden representar la asociacin de cuatro mintrminos, dando como
resultado un trmino de dos literales.

4. Ocho celdas agrupadas pueden representar la asociacin de ocho mintrminos, dando como
resultado un trmino de un literal.

5. Diecisis celdas agrupadas pueden representan un valor de funcin igual a 1.

Ejemplo Simplquese la funcin de Boole F2= (m1, m3, m8, m10, m12, m14)

Figura 33. Mapa de Karnaugh de la funcin F2.

El primer grupo se forma con los mintrminos m1 y m3 y el segundo grupo se forma con los
mintrminos m8, m10 y m12, m14.

Del primer grupo resulta el trmino ABD ya que en la columna 1 no se presentan cambios para las
variables A y B y se presenta transicin en la variable C en las columnas 2 y 3. El segundo grupo da
como resultado el trmino AD. La razn radica en la simplificacin de la variable B en la tercera y
cuarta fila y en la variable C en la primera y cuarta columna.

Sumando los mintrminos obtenidos se obtiene la ecuacin simplificada: F2 = ABD + AD


Diseo Digital para Ingeniera
45
Mapas de Karnaugh empleando Producto de Sumas (PDS)

La simplificacin de expresiones lgicas mediante el mapa de Karnaugh tambin es posible mediante


el mtodo de producto de sumas. En este mtodo, cada celda representa un maxtrmino.

La construccin del mapa es similar a la suma de productos. La diferencia radica en que cada celda
representa un maxtrmino. Por ejemplo, la celda m2 corresponde al maxtrmino 2, ubicado en la fila 0
y la columna 10. La unin de estos dos nmeros da el nmero 010, cuyo equivalente es el trmino
A+B+C. La figura 34. Muestra el mapa de Karnaugh para 3 variables.

Figura 34. Mapa de tres variables.

La representacin de la funcin lgica se hace simplemente copiando los ceros de la tabla de verdad
en las celdas del mapa. Este mtodo es ms apropiado cuando en la columna de resultados de la
tabla de verdad predominan los ceros.

Ejemplo Utilizar el mapa de Karnaugh para minimizar el producto de sumas,

F3 = (A+B+C)(A+B+C)(A+B+C)(A+B+C)

Los maxtrminos se trasladan a cada una de las celdas del mapa de Karnaugh y las celdas se
agrupan tal como en la figura 35.

Figura 35. Mapa de Karnaugh de la funcin F3

El trmino suma para cada grupo se muestra en la figura y la suma de productos resultante es:

F3 = C

Ejemplo Utilizar el mapa de Karnaugh para minimizar el producto de sumas,

F4 = (A+B+C+D)(A+B+C)(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B+C+D)(A+B'+C+D)
Diseo Digital para Ingeniera
46
El segundo trmino tiene que ampliarse a (A+B+C+D)(A+B+C+D). La funcin completa se pasa al
mapa de karnaugh mostrado en la figura 36.

Figura 36. Mapa de Karnaugh de la funcin F4

El trmino suma para cada grupo se muestra en la figura 2.4.5. y el producto de sumas resultante es:

F4 = (A+C+D)(B'+D')(A'+D')

Condiciones de No Importa

Hasta el momento se ha asumido que la funcin es igual a 0 en los casos donde la funcin no es
igual a 1. En algunas aplicaciones esta suposicin no es siempre verdadera ya que existen
combinaciones de entrada que no presentan. En un mapa de Karnaugh estas combinaciones de
entrada sirven de herramienta para simplificar la funcin y su representacin se hace por medio de
una X en la celda del mapa. Segn la agrupacin que convenga se asume un valor de 1 0 para la X
con el fin de obtener la expresin ms simple.

Ejemplo

Simplificar la funcin de Boole F5 = (m0, m4, m7, m9) con condiciones de importa,

NI = (m1, m5, m11, m14).

Los mintrminos se marcan con un 1, las condiciones de no importa con una X y las celdas restantes
con 0.

El mapa de Karnaugh de la funcin F5 se muestra en la figura 37.


Diseo Digital para Ingeniera
47

Figura 37. Mapa de Karnaugh de la funcin F5

En suma de productos obtenemos, F5 = ACD + A'BC + ABCD + AB'D

d. Algoritmo de Quine McCluskey

El empleo del mapa de Karnaugh es conveniente cuando la funcin a minimizar no contiene ms de


cinco o seis variables. En estos casos, empleamos un procedimiento sistemtico, llamado el algoritmo
de QuineMcCluskey, el cual produce una expresin normalizada y simplificada. El algoritmo debe
obedecer a un conjunto de pasos que se vern a travs de un ejemplo.

Ejemplo Simplificar la funcin de Boole usando el algoritmo de Quine-McCluskey.

F1 = (m1, m2, m3, m6, m7, m8, m9, m10, m15)


ABCD + ABCD+ ABCD + ABCD+ ABCD + ABCD + ABCD +
F1 =
ABCD+ ABCD.

1. Enumerar en una tabla todos los mintrminos en forma binaria, organizados segn el nmero
de unos que contenga. La aplicacin de este paso se muestra en la tabla 18.

Mintrminos A B C D Grupo
1 0 0 0 1
2 0 0 1 0 Grupo 1
8 1 0 0 0
3 0 0 1 1
6 0 1 1 0
Grupo 2
9 1 0 0 1
10 1 0 1 0
7 0 1 1 1 Grupo 3
15 1 1 1 1 Grupo 4

Tabla 18. Mintrminos agrupados segn la cantidad de unos


Diseo Digital para Ingeniera
48
2. Entre los grupos adyacentes buscar los mintrminos que slo difieren en un bit en la misma
posicin, para hallar los primeros implicantes primos.

La metodologa consiste en comparar el primer mintrmino con el resto de los trminos del
segundo grupo. As, los trminos del segundo grupo se comparan con los mintrminos del
grupo siguiente. De la forma anterior, se procede con los dems mintrminos de los dems
grupos. Los mintrminos utilizados se les pone una marca ( ) con el fin de ir diferenciando los
trminos utilizados y la variable apareada en el proceso se reemplaza con un guin para
denotar la eliminacin de la variable. Los trminos no marcados en la tabla son los primeros
implicantes primos (PIX). Los mintrminos utilizados se les pone una marca ( ) con el fin de ir
diferenciando los trminos utilizados y la variable apareada en el proceso anterior se
reemplaza con un guin para denotar la eliminacin de la variable.

Mintrmino A B C D Mintrmino A B C D PIx Mintrmino A B C D PIx


1 0 0 0 1 13 0 0 - 1 PI2 26 - 3-7 0 - 1 - PI1
2 0 0 1 0 19 - 0 0 1 PI3 2-3 - 6-7 0 - 1 -
8 1 0 0 0 23 0 0 1 -
3 0 0 1 1 26 0 - 1 0
6 0 1 1 0 210 - 0 1 0 PI4
9 1 0 0 1 89 1 0 0 - PI5
10 1 0 1 0 8-10 1 0 - 0 PI6
7 0 1 1 1 37 0 - 1 1
15 1 1 1 1 67 0 1 1 -
7-15 - 1 1 1 PI7

Tabla 19. Implicantes primos de la funcin F1

3. Construir una tabla que enumere los implicantes primos y los mintrminos contenidos por
cada implicante primo. La letra X en la tabla 20 indica el mintrmino contenido en cada
implicado por fila. Por ejemplo, en la tabla se observa en el primer rengln los mintrminos 2,
3, 6 y 7 para el primer implicante primo. El resto de la tabla se construye de forma similar.

Implicante
1 2 3 6 7 8 9 10 15
Primo
* PI1 XXXX
PI2 X X
PI3 X X
PI4 X X
PI5 XX
PI6 X X
* PI7 X X

Tabla 20. Seleccin de implicantes primos esenciales


Diseo Digital para Ingeniera
49
En la tabla se seleccionan las columnas de los mintrminos que contengan solamente una
cruz. En este ejemplo, hay dos mintrminos cuyas columnas tienen una sola cruz: 6 y 15. Es
decir, la seleccin del primer implicado PI1 (AC) garantiza que el trmino mnimo 6 est
incluido en la funcin. De la misma forma, el trmino mnimo 7 est cubierto por el primer
implicado PI7 (A'BCD). Los primeros implicados que cubren los mintrminos con una sola
cruz, se llaman primeros implicados esenciales (en la tabla se encuentran marcados con un
asterisco) y son indispensables en la construccin de la funcin.

4. Seleccionar en cada columna los mintrminos que estn cubiertos por los primeros implicados
esenciales. Por ejemplo, el primer implicado esencial * PI1 (AC) cubre los mintrminos 2, 3, 6
y 7. De la misma forma, el primer implicado esencial *PI7 (A'BCD) cubre los mintrminos 7 y
15. Hasta el momento la seleccin de primeros implicados cubre los mintrminos 2, 3, 6, 7 y
15 excepto 1, 8, 9 y 10. Estos trminos mnimos deben ser seleccionados por medio de otros
primeros implicados esenciales. En la tabla 2.5., la seleccin de los primeros implicados PI3 y
PI6 garantiza el cubrimiento de los trminos mnimos 1, 8, 9 y 10. En la tabla 21 se muestra el
proceso de seleccin.

Implicante Primo 1 8 9 10
PI2 X
*PI3 X X
PI4 X
PI5 X X
*PI6 X X

Tabla 21. Seleccin de primeros implicados esenciales

La funcin simplificada se obtiene de la suma de los primeros implicados hallados:

F= PI1 + PI3 +PI6 + PI7

F= (0-1-) + (-001) + (10-0) + (-111)

F = A'C + BCD + ABD + BCD