DIG2
DIG2
DIG2
FUNDAMENTO TEORICO
MAPAS DE KARNAUGH
Un mapa de Karnaugh es una representación gráfica de una función lógica a partir de una tabla de
verdad. El número de celdas del mapa es igual al número de combinaciones que se pueden obtener
con las variables de entrada. Los mapas se pueden utilizar para 2, 3, 4 y 5 variables.
El mapa de Karnaugh se construye a partir de la tabla de verdad de la función lógica. El mapa por
medio de una matriz de 8 celdas, representa los ocho mintérminos 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 mintérminos requeridos. Sus valores son 00, 01, 10 y 11.
Por ejemplo, la celda m2 corresponde al mintérmino 2, ubicado en la fila 0 y la columna 10. La unión
de estos dos números da el número010, cuyo equivalente es el término A’·B·C’ ó el decimal 2. La
tabla 2.4.1. muestra el mapa de Karnaugh para 3 variables.
(a)
20
(b) (c)
(a)
(b) (c)
19
La minimización 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 expresión. Por
ejemplo, m13 y m15 son celdas adyacentes así como m0, m8, m2 y m10.
El mapa se construye colocando un 1 en las celdas correspondientes a los mintérminos presentes en
la función de salida. Por ejemplo, para el término F(1,1,0,0)= A·B·C’·D’ = 1 se situaría un 1 en la
celda 1100. Para los mintérminos no presentes en la función se pone un 0. Por ejemplo el
término F(1,1,1,1)= A·B·C·D = 0, será una celda con valor 0 en la celda 1111.
Igual que en el mapa de 3 variables, se procede con la agrupación de 1s, la determinación del
término producto correspondiente a cada grupo y la suma de los términos producto obtenidos.
Las reglas para reducir términos en un mapa de Karnaugh de 4 variables son las siguientes:
Quine-McCluskey
El empleo del mapa de Karnaugh es conveniente cuando la función a minimizar no contiene más
de cinco o seis variables. En estos casos, empleamos un procedimiento sistemático, llamado el
algoritmo de Quine–McCluskey, el cual produce una expresión normalizada y simplificada. El
algoritmo debe obedecer a un conjunto de pasos que se verán a través de un ejemplo.
Enumerar en una tabla todos los mintérminos en forma binaria, organizados según el número
de unos que contenga. La aplicación de este paso se muestra en la tabla 2.5.1.
Mintérmino A B C D Grupo
s
1 0 0 0 1 Grupo 1
2 0 0 1 0
8 1 0 0 0
3 0 0 1 1 Grupo 2
6 0 1 1 0
9 1 0 0 1
10 1 0 1 0
7 0 1 1 1 Grupo 3
15 1 1 1 1 Grupo 4
Entre los grupos adyacentes buscar los mintérminos que sólo difieren en un bit en la misma
posición, para hallar los primeros implicantes primos.
La metodología consiste en comparar el primer mintérmino con el resto de los términos del
segundo grupo. Así, los términos del segundo grupo se comparan con los mintérminos del grupo
siguiente. De la forma anterior, se procede con los demás mintérminos de los demás grupos. Los
mintérminos utilizados se les pone una marca (√ ) con el fin de ir diferenciando los términos
utilizados y la variable apareada en el proceso se reemplaza con un guión para denotar la
eliminación de la variable. Los términos no marcados en la tabla son los primeros implicantes
primos (PIX). Los mintérminos utilizados se les pone una marca (√ ) con el fin de ir diferenciando
los términos utilizados y la variable apareada en el proceso anterior se reemplaza con un guión
para denotar la eliminación de la variable.
Mintérmin
A B C D Mintérmino A B C D PIx Mintérmino A B C D PIx
o
8√ 1 0 0 0 2–3 √ 0 0 1 -
3√ 0 0 1 1 2–6 √ 0 - 1 0
6√ 0 1 1 0 2–10 - 0 1 0 PI4
9√ 1 0 0 1 8–9 1 0 0 - PI5
10 √ 1 0 1 0 8-10 1 0 - 0 PI6
19
7√ 0 1 1 1 3–7 √ 0 - 1 1
15 √ 1 1 1 1 6–7 √ 0 1 1 -
7-15 - 1 1 1 PI7
Construir una tabla que enumere los implicantes primos y los mintérminos contenidos por cada
implicante primo. La letra X en la tabla 2.5.3 indica el mintérmino contenido en cada implicado
por fila. Por ejemplo, en la tabla se observa en el primer renglón los mintérminos 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 X X X X
PI2 X X
PI3 X X
PI4 X X
PI5 X X
PI6 X X
* PI7 X X
En la tabla se seleccionan las columnas de los mintérminos que contengan solamente una cruz.
En este ejemplo, hay dos mintérminos cuyas columnas tienen una sola cruz: 6 y 15. Es decir, la
selección del primer implicado PI1 (A’·C) garantiza que el término mínimo 6 está incluido en la
función. De la misma forma, el término mínimo 7 está cubierto por el primer implicado PI7
(A'·B·C·D). Los primeros implicados que cubren los mintérminos con una sola cruz, se llaman
primeros implicados esenciales (en la tabla se encuentran marcados con un asterisco) y son
indispensables en la construcción de la función.
Seleccionar en cada columna los mintérminos que estén cubiertos por los primeros implicados
esenciales. Por ejemplo, el primer implicado esencial * PI1 (A’·C) cubre los mintérminos 2, 3, 6 y
7. De la misma forma, el primer implicado esencial *PI7 (A'·B·C·D) cubre los mintérminos 7 y 15.
Hasta el momento la selección de primeros implicados cubre los mintérminos 2, 3, 6, 7 y 15
excepto 1, 8, 9 y 10. Estos términos mínimos deben ser seleccionados por medio de otros
primeros implicados esenciales. En la tabla 2.5., la selección de los primeros implicados PI3 y PI6
garantiza el cubrimiento de los términos mínimos 1, 8, 9 y 10. En la tabla 2.5.4. se muestra el
proceso de selección.
Implicante Primo 1 8 9 10
PI2 X
*PI3 X X
PI4 X
PI5 X X
*PI6 X X
20
Algebraico
Para la simplificación por este método no sólo bastará con conocer todas las propiedades y
teoremas del álgebra de Boole, además se debe desarrollar una cierta habilidad lógico-
matemática que se adquiere fundamentalmente con la experiencia.
#1'
minterm A B C D minterm A B C D
s minterm A B C D
0 0 0 0 0 0 0,1 0 0 0 - 0,1,2,3 IP1 0 0 - -
1 1 0 0 0 1 0,2 0 0 - 0 0,2,8,10 IP2 - 0 - 0
19
1 1 1
0 1 2 3 8
0 2 4
IP1 ×
× × × IPE1
IP2
× × × ×
IP3 ×
× × × IPE2
∴ F 1= A B+ A D
#1'
minterm A B C D minterm A B C D minterm A B C D
s
0 0 0 0 0 0 0,4 0 - 0 0 0,4,8,12 IPE1 - - 0 0
4 0 1 0 0 0,8 - 0 0 0 3,7,11,15 IPE2 - - 1 1
1
8 1 0 0 0 4,12 - 1 0 0
3 0 0 1 1 8,12 1 - 0 0
2
12 1 1 0 0 3,7 0 - 1 1
7 0 1 1 1 3,11 - 0 1 1
3
11 1 0 1 1 7,15 - 1 1 1
4 15 1 1 1 1 11,15 1 - 1 1
→ F 2=IPE 1 . IPE2
∴ F 2= ( C + D ) (C + D )
minter
#1's A B C D minterm A B C D minterm A B C D
m
1 0 0 0 1 1,3 0 0 - 1 1,3,5,7 IP1 0 - - 1
1
2 0 0 1 0 1,5 0 - 0 1 1,5,9,13 IP2 - - 0 1
2 3 0 0 1 1 1,9 - 0 0 1 2,3,6,7 IP3 0 - 1 -
5 0 1 0 1 2,3 0 0 1 - 5,7,13,15 IP 4 - 1 - 1
20
1 1 1
1 2 3 5 6 7 9
3 4 5
IP1 × ×
× ×
IP2 × ×
× × IPE1
IP3 ×
× × × IPE2
IP 4 × × ×
×
IP5 × ×
× × IPE3
∴ F 3= (C + D ) ( A +C )( B+C )
AB\
00 01 11 10
CD
00 0 1 0 1
01 1 0 1 0
11 0 1 0 1
10 1 0 1 0
→ F 4 = A B C D+ A B C D+ A BC D+ A BCD + AB C D+ ABC D+ A B C D+ A B CD
F 4= A B(C D+C D)+ A B(C D+CD )+ AB(C D+C D)+ A B(C D+CD)
∴ F 4 =( A ⊕ B)⊕ (C ⊕ D)
19
F 1=A B+ A D
F 1=( A + B ) + ( A + D )
F 1=( A + B ) ( A+ D )
∴ F 1= ( A B ) ( A D )
F 2=( C+ D ) ( C+ D )
∴ F 2=( C + D+C+ D )
20
F 3=C D+ A C+ BC
F 3=C D+(A + B) C
F 3=C D+( AB )C
F 4=( A ⊕ B) ⊕(C ⊕ D)
19
f ( A , B ,C , D , E ) =∑ m ( 1,4,5,7,12,14,17,20,21,22,23,28 ) +d (0,3,6,19,30)
1 4 5 7 12 14 17 20 21 22 23 28
IP1 X X X X X X X
IP2 X X X X X X X
IP3 X X X X X X
IP4 X X X
Por lo tanto, los implicantes primos esenciales son: I.P.1, I.P.3
F=B E +C E
B C E F
0 0 0 0
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 0
19
A B C D E F
0 0 0 0 0 1
0 0 0 0 1 1
3. Simplificar e 0 0 0 1 0 1 implementar en el
laboratorio, la 0 0 0 1 1 1 función incompletamente
especificada, por el 0 0 1 0 0 0 mapa-K a cuatro literales.
0 0 1 0 1 0
F (A, B, C, D, E) = BC’DE’ + 0 0 1 1 0 0 ACDE’ + A’C’E + A’B’C’ + d
(A’BC’D’E’ + A’BCDE’ + 0 0 1 1 1 0 AB’C’DE’)
0 1 0 0 0 X
Observamos que podemos 0 1 0 0 1 1 hallar los minternminos
respectivos, tomando a los 0 1 0 1 0 1 términos irrelevantes como
un “X” para el mapa-K; así 0 1 0 1 1 1 como, para los literales que
no se encuentren 0 1 1 0 0 0 asumiremos 1 y 0.
Entonces: 0 1 1 0 1 0
0 1 1 1 0 X
BC’DE’ = 01010 y 11010 ACDE’ = 10110 y 11110
0 1 1 1 1 0
A’C’E = 00001, 00011, 1 0 0 0 0 0 01001 y 01011
A’BC’D’E’ = 01000 1 0 0 0 1 0 A’BCDE’ = 01110
AB’C’DE’ = 10010 1 0 0 1 0 X
A’B’C’ = 00000, 00001, 1 0 0 1 1 0 00010 y 00011
1 0 1 0 0 0
HACIENDO LA TABLA 1 0 1 0 1 0 RESPECTIVA:
1 0 1 1 0 1
1 0 1 1 1 0
1 1 0 0 0 0
1 1 0 0 1 0
1 1 0 1 0 1
1 1 0 1 1 0
1 1 1 0 0 0
1 1 1 0 1 0
1 1 1 1 0 1
1 1 1 1 1 0
20
ELABORANDO EL MAPA – K:
CDE //AB 00 01 11 10
000 1 X 0 0
001 1 1 0 0
LA FUNCIÓN SIMPLIFICADA SERÁ:
011 1 1 0 0
F = A’C’ + ADE’ 010 1 1 1 X
110 0 X 1 1
IMPLEMENTANDOLO EN 111 0 0 0 0 COMPUERTAS LOGICAS:
101 0 0 0 0
100 0 0 0 0
19
Paridad
N° Binario
impar
A B C D F
4. Diseñe e implemente en el laboratorio los 0 0 0 0 0 0 siguientes
circuitos, que serán controlados según la 1 0 0 0 1 1 siguiente tabla:
2 0 0 1 0 1
3 0 0 1 1 0
4 0 1 0 0 1
5 0 1 0 1 0
6 0 1 1 0 0
7 0 1 1 1 1
8 1 0 0 0 1
9 1 0 0 1 0
10 1 0 1 0 0
11 1 0 1 1 1
12 1 1 0 0 0
13 1 1 0 1 1
14 1 1 1 0 1
15 1 1 1 1 0
S
S0 FUNCIÓN DE SALIDA
1
0 0 Complemento a N° Binario
2 de número de 4 bits. Gray
0 1 Detector de paridad imparAde número
B C deD4 bits. X Y Z W
1 0 0 0 0 0 0
Conversor de código GRAY a BINARIO de 4 bits.0 0 0 0
1 1 Conversor de código 1 0 a0GRAY
BINARIO 0 de 14 bits.
0 0 0 1
2 0 0 1 0 0 0 1 1
3 0 0 1 1 0 0 1 0
Complemento a 4 0 1 0 0 0 1 1 0
N° Binario
N° Gray 2
Binario 5 0 1 0 1 0 1 1 1
A
A B C
B C D
D XX YY ZZ W W 6 0 1 1 0 0 1 0 1
0 0
0 0
0 0 0 0
0 00 00 00 00 7 0 1 1 1 0 1 0 0
1 0
0 0
0 0 0 1
1 10 10 10 11 8 1 0 0 0 1 1 0 0
2 0
0 0
0 1 1 0
0 10 10 11 10 9 1 0 0 1 1 1 0 1
3 0
0 0
0 1 1 1
1 10 10 01 01 10 1 0 1 0 1 1 1 1
4 0
0 1
1 0 0 0
0 10 11 01 10 11 1 0 1 1 1 1 1 0
5 0
0 1
1 0 0 1
1 10 01 11 01 12 1 1 0 0 1 0 1 0
6 0
0 1
1 1 1 0
0 10 01 10 00 13 1 1 0 1 1 0 1 1
7 0
0 1
1 1 1 1
1 10 01 00 11 14 1 1 1 0 1 0 0 1
8 1
1 0
0 0 0 0
0 11 01 01 10 15 1 1 1 1 1 0 0 0
9 1
1 0
0 0 0 1
1 X1 X1 X1 0X
10 1
1 0
0 1 1 0
0 X1 X1 X0 0X
11 1
1 0
0 1 1 1
1 X1 X1 X0 1X
12 1
1 1
1 0 0 0
0 X1 X0 X0 0X
13 1
1 1
1 0 0 1
1 X1 X0 X0 1X
14 1
1 1
1 1 1 0
0 X1 X0 X1 1X
15 1
1 1
1 1 1 1
1 X1 X0 X1 0X
20
Con ayuda de mapas k hallamos la función lógica para cada función de salida de acuerdo a lo indicado en
el problema:
5. Un código BCD se transmite aun receptor lejano. Los bits son A 3, A2, A1 y A0 con A3 como el MSB.
El circuito receptor contiene un detector de errores de BCD que examina el código recibido y
prueba si es BCD legal (es decir ≤1001). Diseñe e implemente el circuito en el laboratorio,
utilizando compuertas NOR, de modo que se produzca un nivel alto a cualquier condición de
error.
A3 A2 A1 A0 F
0 0 0 0 0
0 0 0 1 0
0 0 1 0 0
0 0 1 1 0
0 1 0 0 0
0 1 0 1 0
0 1 1 0 0
0 1 1 1 0
1 0 0 0 0
1 0 0 1 0
1 0 1 0 1
1 0 1 1 1
1 1 0 0 1
1 1 0 1 1
1 1 1 0 1
1 1 1 1 1
Según la tabla nos muestra que para valores mayores a 1001 la salida nos tiene que dar ‘1’ lógico.
Después del mapa K nos queda la siguiente función:
F= A3 A2+ A3 A1
19
Exceso 3 AIKEN
A B C D X Y Z W
0 0 1 1 0 0 0 0
0 1 0 0 0 0 0 1
0 1 1 1 0 0 1 0
0 1 1 0 0 0 1 1
0 1 1 1 0 1 0 0
1 0 0 0 1 0 1 1
1 0 0 1 1 1 0 0
1 0 1 0 1 1 0 1
1 0 1 1 1 1 1 0
1 1 0 0 1 1 1 1
En base a la tabla se obtiene:
X =A B+ C D A
Y = AB C D+ A BCD+ A BC + A B D
Z=A B C + A B CD + A B (C ⊕ D)
W =D ( A ⊕ B ) + A C D
20
Asumiendo que solo se podrá hacer complemento a 9 hasta el nueve y que para los siguientes números
(hasta 15) será un valor no importante. Tenemos la siguiente tabla:
F F
A B C D F2 F4
1 3
0 0 0 0 1 0 0 1
0 0 0 1 1 0 0 0
0 0 1 0 0 1 1 1
0 0 1 1 0 1 1 0
0 1 0 0 0 1 0 1
0 1 0 1 0 1 0 0
0 1 1 0 0 0 1 1
0 1 1 1 0 0 1 0
1 0 0 0 0 0 0 1
19
1 0 0 1 0 0 0 0
1 0 1 0 X X X X
1 0 1 1 X X X X
1 1 0 0 X X X X
1 1 0 1 X X X X
1 1 1 0 X X X X
1 1 1 1 X X X X
F1:
AB\
00 01 11 10
CD
00 1 1 0 0
01 0 0 0 0
11 X X X X
10 0 0 X X
F1 = A’B’C’
F2:
AB\
00 01 11 10
F2 = B’C + BC’=B⊕C CD
00 0 0 1 1
F3:
01 1 1 0 0
AB\ X 11
11 00
X 01 X 10
X
F3 = C CD
10 0 0 1
X X
00 0 0 1
F4:
01 0 0 1 1
AB\
00 01 11 10
11
CD X X X X
00
10 1
0 0
0 0
X 1
X
01 1 0 0 1
11 X X X X
10 1 0 X X
20
F4 = D’