Академический Документы
Профессиональный Документы
Культура Документы
CIRCUITOS DIGITALES
Mg. Luis Inga Collantes
4
TÉRMINOS CANÓNICOS Y EL
MAPA DE KARNAUGH
A. TÉRMINOS CANÓNICOS.
1. MINITERMINOS (MINTERM) O SUMADOR DE PRODUCTOS.
Los términos canónicos MINTERM o sumador de productos, se obtienen a partir de la sentencia
compuesta de la tabla de verdad. Es decir, que consiste en la suma de 2 o más variables compuestas.
Este método es muy utilizado en la fabricación de tarjetas electrónicas básicas.
EXPRESI EXPRESIÓN EXPRESIÓN EXPRESI EXPRESIÓN EXPRESIÓN
ÓN BINARIA BOOLEANA MINITERM ÓN BINARIA BOOLEANA MINITERM
DECIMA INO DECIMA INO
L D C B A D C B A L D C B A D C B A
0 0 0 0 0 D C B A m0 8 1 0 0 0 D C B A m8
1 0 0 0 1 D C B A m1 9 1 0 0 1 D C B A m9
2 0 0 1 0 D C B A m2 10 1 0 1 0 D C B A m10
3 0 0 1 1 D C B A m3 11 1 0 1 1 D C B A m11
4 0 1 0 0 D C B A m4 12 1 1 0 0 D C B A m12
5 0 1 0 1 D C B A m5 13 1 1 0 1 D C B A m13
6 0 1 1 0 D C B A m6 14 1 1 1 0 D C B A m14
7 0 1 1 1 D C B A m7 15 1 1 1 1 D C B A m15
EJEMPLO:
Determinar la ecuación booleana del siguiente minitérmino. F = m3 + m7
SOLUCIÓN:
Buscamos la sentencia equivalente en la tabla de verdad y así tenemos:
F = m3 + m7 TABLA DE VERDAD EQUIVALENTE
F = CBA + CBA C B A F
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1
0 0 0 0 0 D C B A M0 8 1 0 0 0 D C B A M8
1 0 0 0 1 D C B A M1 9 1 0 0 1 D C B A M9
2 0 0 1 0 D C B A M2 10 1 0 1 0 D C B A M10
3 0 0 1 1 D C B A M3 11 1 0 1 1 D C B A M11
4 0 1 0 0 D C B A M4 12 1 1 0 0 D C B A M12
5 0 1 0 1 D C B A M5 13 1 1 0 1 D C B A M13
6 0 1 1 0 D C B A M6 14 1 1 1 0 D C B A M14
7 0 1 1 1 D C B A M7 15 1 1 1 1 D C B A M15
EJEMPLO:
Determinar la ecuación booleana del siguiente maxitérmino. F = M3 · M7
SOLUCIÓN:
Buscamos la sentencia equivalente en la tabla de verdad y así tenemos:
F = M3 · M7
F = C + B + A · (C + B + A) TABLA DE VERDAD EQUIVALENTE
C B A F
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 0
Este mapa igual que la tabla de verdad, es un medio para demostrar la relación existente entre
las entradas lógicas y la salida que se busca. Para determinar el circuito final debemos seguir
las reglas siguientes:
Por pares:
El agrupamiento de un par de unos lógicos adyacentes en un mapa K elimina la variable que
aparece en forma complementada y no complementada.
A A A A
CB 0 0 CB 1 0
CB 1 0 X = C. B. A + C. B. A CB 0 0 X = C. B. A + C. B. A
CB 1 0 X = B. A CB 0 0 X = B. A
CB 0 0 CB 1 0
A A BA BA BA BA
CB 0 0 DC 0 0 1 1
CB 1 1 X = C. B. A + C. B. A DC 0 0 0 0 X
= D. C. B. A + D. C. B. A
CB 0 0 X = C. B DC 0 0 0 0 + D. C. B. A + D. C. B. A
CB 0 0 DC 1 0 0 1 X = D. C. B + D. C. A
DC 0 0 0 0 DC 0 0 0 0 DC 0 0 0 0
DC 0 0 0 0 DC 0 1 1 0 DC 0 0 0 0
DC 1 1 1 1 DC 0 1 1 0 DC 1 0 0 1
DC 0 0 0 0 DC 0 0 0 0 DC 1 0 0 1
X = D. C X = C. A X = D. A
BA BA BA BA A A
DC 1 0 0 1 CB 0 1
DC 0 0 0 0 CB 0 1
DC 0 0 0 0 CB 0 1
DC 1 0 0 1 CB 0 1
X = C. A X=A
Por octetos:
El agrupamiento de un octeto de unos lógicos, elimina las tres variables que aparecen en forma
complementada y no complementada.
BA BA BA BA BA BA BA BA
DC 0 0 0 0 DC 1 1 0 0
DC 1 1 1 1 DC 1 1 0 0
DC 1 1 1 1 DC 1 1 0 0
DC 0 0 0 0 DC 1 1 0 0
X=C X=B
DC 1 1 1 1 DC 1 0 0 1
DC 0 0 0 0 DC 1 0 0 1
DC 0 0 0 0 DC 1 0 0 1
DC 1 1 1 1 DC 1 0 0 1
X=C X=A
EJERCICIOS DE APLICACIÓN