Electrónica Digital y

Laboratorio

Profesor: Sergio Serna

 Contenido
• Variables lógicas
• Teoremas del álgebra booleana
• Propiedades de las funciones lógicas
• Ejemplos
• Suficiencia de las operaciones lógicas
• Método de validación de una ecuación
• Representación estándar de funciones
• Diseño usando tablas de verdad
• Mimterms y maxterms
• Funciones incompletamente especificadas
• Ejemplos
• Mapas de Karnaugh
• Correspondencia con tablas de verdad
• Adyacencias
• Mapas de cinco variables
• Usos de los mapas K
• Ejemplos
 Variables lógicas
• Pueden adopter uno u otro de solo dos valores posibles.
• Los valores se expresan por sentencias declarativas.
• Los dos posibles valores expresados por las sentencias declarativas deben
ser tales que, sobre la base del razonamiento humano, es decir, basado en
la lógica, sean mutuamente excluyentes.

Posibles valores Alto Negro Abierto Caliente Dentro Verde 1

variable lógica Bajo Blanco Cerrado Frío Fuera Rojo 0

𝐴 = 𝑉𝑒𝑟𝑑𝑒 ⇒ 𝐴ҧ = 𝑅𝑜𝑗𝑜 𝐴 = 𝐹𝑢𝑒𝑟𝑎 ⇒ 𝐴ҧ = 𝐷𝑒𝑛𝑡𝑟𝑜

𝐴 = 𝐶𝑒𝑟𝑟𝑎𝑑𝑜 ⇒ 𝐴ҧ = 𝐴𝑏𝑖𝑒𝑟𝑡𝑜 𝐴 = 𝑁𝑒𝑔𝑟𝑜 ⇒ 𝐴ҧ = 𝐵𝑙𝑎𝑛𝑐𝑜
 Variables lógicas
La notación 1, 0
𝑿𝟏 𝑿𝟎 𝒀 = 𝑿𝟏 ∙ 𝑿𝟎
Variable Posibles
Alternativa F F F
Lógica valores
F V F
Falso - F 0
Estados V F F
Verdadero - V 1
V V V
X1
X0 Y
𝑿𝟏 𝑿 𝟎 𝒀 = 𝑿𝟏 ∙ 𝑿𝟎
• El 0, 1 usado aquí no son Y <= X1 AND X0; 0 0 0
números, son variables lógicas. 0 1 0
• Si 0, 1 se consideran números, 1 0 0
la operación AND cumple las 1 1 1

reglas de la multiplicación.
 Teoremas del álgebra booleana
Principio de Dualidad
A·B Z A+B Z
0·0 0 1+1 1
0·1 0 · + 1+0 1 Teoremas Duales
0↔1
1·0 0 0+1 1
Una Variable
1·1 1 0+0 0 𝐴+0=𝐴 𝐴 ∙0=0

A+B Z A∙B Z 𝐴+1=1 𝐴 ∙1=𝐴

0+0 0 1·1 1 𝐴+𝐴=𝐴 𝐴∙𝐴=𝐴

+·
0+1 1 0·1 0
0↔1
1+0 1 1·0 0 𝐴 + 𝐴ҧ = 1 𝐴 ∙ 𝐴ҧ = 0

1+1 1 0·0 0 𝐴Ӗ = 𝐴
 Teoremas del álgebra booleana

Teoremas de dos y tres variables

𝐴 + 𝐴𝐵 = 𝐴 𝑨 + 𝑩𝑪 = 𝑨 + 𝑩 𝑨 + 𝑪

𝐴 𝐴+𝐵 = 𝐴 𝑨 𝑩 + 𝑪 = 𝑨𝑩 + 𝑨𝑪

𝐴𝐵 + 𝐴𝐵ത = 𝐴 ҧ = 𝐴 + 𝐶 𝐴ҧ + 𝐵
𝐴𝐵 + 𝐴𝐶

𝐴 + 𝐵 𝐴 + 𝐵ത = 𝐴 𝐴 + 𝐵 𝐴ҧ + 𝐶 = 𝐴𝐶 + 𝐴𝐵
ҧ

ҧ =𝐴+𝐵
𝐴 + 𝐴𝐵 ҧ + 𝐵𝐶 = 𝐴𝐵 + 𝐴𝐶
𝐴𝐵 + 𝐴𝐶 ҧ

𝐴 𝐴ҧ + 𝐵 = 𝐴𝐵 𝐴 + 𝐵 𝐴ҧ + 𝐶 𝐵 + 𝐶 = 𝐴 + 𝐵 𝐴ҧ + 𝐶
 Teoremas del álgebra booleana

ҧ =𝐴+𝐵
𝐴 + 𝐴𝐵 𝐴 + 𝐵𝐶 = 𝐴 + 𝐵 𝐴 + 𝐶
𝑨 𝑩 ഥ𝑩
𝑨+ 𝑨 𝑨+𝑩 𝑨 𝑩 𝑪 𝑨 + 𝑩𝑪 𝑨+𝑩 𝑨+𝑪
0 0 0+1·0=0 0+0=0 0 0 0 0+0·0=0 (0 + 0)(0 + 0) = 0
0 1 0+1·1=1 0+1=1 0 0 1 0+0·1=0 (0 + 0)(0 + 1) = 0
1 0 1+0·0=1 1+0=1 0 1 0 0+1·0=0 (0 + 1)(0 + 0) = 0
1 1 1+0·1=1 1+1=1 0 1 1 0+1·1=1 (0 + 1)(0 + 1) = 1
1 0 0 1+0·0=1 (1 + 0)(1 + 0) = 1
1 0 1 1+0·1=1 (1 + 0)(1 + 1) = 1
1 1 0 1+1·0=1 (1 + 1)(1 + 0) = 1
1 1 1 1+1·1=1 (1 + 1)(1 + 1) = 1
 Teoremas del álgebra booleana
𝐴 + 𝐴𝐵 = 𝐴 𝐴𝐵 + 𝐴𝐵ത = 𝐴 𝐴 + 𝐵 𝐴 + 𝐵ത = 𝐴
𝐴 𝐴+𝐵 = 𝐴
𝐴+𝐴 ∙ 𝐵 𝐴 ∙ 𝐴+𝐵 𝐴 ∙ 𝐵 + 𝐴 ∙ 𝐵ത 𝐴 + 𝐵 ∙ 𝐴 + 𝐵ത

𝐴 ∙1+𝐴∙𝐵 𝐴 ∙ 𝐵 + 𝐵ത 𝐴 ∙ 𝐴 + 𝐴 ∙ 𝐵ത + 𝐵 ∙ 𝐴 + 𝐵 ∙ 𝐵ത
𝐴 ∙𝐴+𝐴 ∙𝐵
𝐴 ∙1 𝐴 + 𝐴 ∙ 𝐵 + 𝐵ത + 0
𝐴 ∙ 1+𝐵 𝐴+𝐴 ∙𝐵
𝐴 𝐴+𝐴 ∙1
𝐴 ∙1 𝐴
𝐴
𝐴

ҧ =𝐴+𝐵
𝐴 + 𝐴𝐵 𝐴 𝐴ҧ + 𝐵 = 𝐴𝐵

𝐴 + 𝐴ҧ ∙ 𝐵 𝐴 ∙ 𝐴ҧ + 𝐵
𝐴 ∙ 𝐵 + 1 + 𝐴ҧ ∙ 𝐵 𝐴 ∙ 𝐴ҧ + 𝐴 ∙ 𝐵
𝐴 ∙ 𝐵 + 𝐴 ∙ 1 + 𝐴ҧ ∙ 𝐵 𝐴 ∙𝐵
𝐴 + 𝐵 ∙ 𝐴 + 𝐴ҧ
𝐴+𝐵
 Teoremas del álgebra booleana
Teoremas de DeMorgan
𝐴 + 𝐵 = 𝐴ҧ ∙ 𝐵ത 𝐴 ∙ 𝐵 = 𝐴ҧ + 𝐵ത

A A
A+B A·B
B B
… es equivalente a … … es equivalente a …
A A
A·B A+B
B B

ഥ ∙ 𝑩
𝑨+𝑩+𝑪+ ⋯= 𝑨 ഥ ⋯
ഥ ∙ 𝑪 ഥ+ 𝑩
𝑨 ∙𝑩 ∙𝑪 ⋯= 𝑨 ഥ+ ⋯
ഥ+ 𝑪
 Propiedades de las funciones lógicas
Ley Conmutativa
Ley Asociativa
𝑋∙𝑌 =𝑌∙𝑋
𝑋∙𝑌∙𝑍 = 𝑋∙𝑌 ∙𝑍 =𝑋∙ 𝑌∙𝑍
𝑋+𝑌 =𝑌+𝑋
𝑋+𝑌+𝑍 = 𝑋+𝑌 +𝑍 =𝑋+ 𝑌+𝑍
𝑋 ⊕ 𝑌 = 𝑌⨁𝑋
𝑋⨁𝑌⨁𝑍 = 𝑋⨁ 𝑌⨁𝑍 = 𝑋⨁𝑌 ⨁𝑍

X X X X
Y
Z
= Y Y
Z
= Y
Z Z

X X
Y
Z
= Y
Z
 Propiedades de las funciones lógicas

Y
X = X
Y
Ley Distributiva Z Z

𝑋∙ 𝑌+𝑍 =𝑋∙𝑌+𝑋∙𝑍

𝑋+𝑌∙𝑍 = 𝑋+𝑌 𝑋+𝑍 Y

X = X
Y
Z Z
 Propiedades de las funciones lógicas

Ley Conmutativa
Ley Asociativa
𝑋∙𝑌 =𝑌∙𝑋
𝑋∙𝑌∙𝑍 ≠ 𝑋∙𝑌 ∙𝑍 ≠𝑋∙ 𝑌∙𝑍
𝑋+𝑌 =𝑌+𝑋

𝑋 ⊕ 𝑌 = 𝑌⨁𝑋 𝑋 + 𝑌 + 𝑍 ≠ (𝑋 + 𝑌) + 𝑍 ≠ 𝑋 + (𝑌 + 𝑍)

A A A A
B B B B
C C C C
 Simplificar: 𝑤 = 𝑥ҧ 𝑥 + 𝑦 + 𝑧ҧ + 𝑧𝑦
Ejemplos
usando 𝐴 + 𝐴𝐵ҧ =𝐴+𝐵
entonces 𝑤 = 𝑥ҧ 𝑥 + 𝑦 + 𝑧ҧ + 𝑦
usando 𝐴 𝐵 + 𝐶 = 𝐴𝐵 + 𝐴𝐶 Simplificar: 𝑤 = 𝑥𝑦 + 𝑥𝑦𝑧
𝐴𝐴ҧ = 0 sea 𝑣 = 𝑥𝑦
𝑤 = 𝑥𝑥
ҧ + 𝑥𝑦ҧ + 𝑧ҧ + 𝑦 = 𝑥𝑦
ҧ + 𝑧ҧ + 𝑦 entonces 𝑤 = 𝑣 + 𝑣𝑧
ҧ
usando 𝐴 + 𝐵 = 𝐵 + 𝐴 𝐴𝐵 = 𝐵𝐴 usando ҧ =𝐴+𝐵
𝐴 + 𝐴𝐵
𝐴 + 𝐴𝐵 = 𝐴
𝑤 = 𝑦 + 𝑥𝑦
ҧ + 𝑧ҧ = 𝑦 + 𝑦𝑥ҧ + 𝑧 = 𝑦 + 𝑧ҧ 𝑤 = 𝑣 + 𝑧 = 𝑥𝑦 + 𝑧

Simplificar: 𝑣 = 𝑤 𝑥 + 𝑦 𝑧 + 𝑤
ഥ
DeMorgan 𝑣 = 𝑤
ഥ +𝑥+𝑦+𝑧+𝑤
ഥ
DeMorgan 𝑣 = 𝑤ഥ + 𝑥ҧ ∙ 𝑦ത + 𝑧ҧ ∙ 𝑤
ന Simplificar: 𝑣 = 𝑤 + 𝑤𝑥ҧ + 𝑦𝑧
usando 𝐴Ӗ = 𝐴 𝐴𝐵 = 𝐵𝐴 DeMorgan 𝑣 = 𝑤
ഥ ∙ 𝑤𝑥ҧ ∙ 𝑦𝑧
DeMorgan 𝑣 = 𝑤
ഥ 𝑤ഥ + 𝑥Ӗ 𝑦ത + 𝑧ҧ
𝑣=𝑤
ഥ + 𝑤 ∙ 𝑧ҧ + 𝑥ҧ ∙ 𝑦ത
ҧ =𝐴+𝐵
usando 𝐴Ӗ = 𝐴 𝐴 𝐴 + 𝐵 = 𝐴
usando 𝐴 + 𝐴𝐵
𝑣=𝑤 ഥ + 𝑧ҧ + 𝑥ҧ ∙ 𝑦ത 𝑣=𝑤
ഥ 𝑤
ഥ + 𝑥 𝑦ത + 𝑧ҧ = 𝑤
ഥ 𝑦ത + 𝑧ҧ
 Suficiencia de las operaciones lógicas

AND
OR
𝐴 ∙ 𝐵 = 𝐴 ∙ 𝐵 = 𝐴ҧ + 𝐵ത 𝐴 ∙ 𝐴 = 𝐴ҧ

𝐴 + 𝐵 = 𝐴 + 𝐵 = 𝐴ҧ ∙ 𝐵ത
NOT 𝐴 + 𝐴 = 𝐴ҧ ∙ 𝐴ҧ = 𝐴ҧ

Función Lógica
 Método de validación de una ecuación
Métodos
• Construir una tabla de verdad con todas las
combinaciones posibles. Puede ser tedioso y no
es elegante.
• Manipular un lado de la ecuación, aplicando 1. Reduzca ambos lados a
teoremas, hasta que sea idéntico al otro lado. una suma de productos (o
• Reduce ambos lados de la ecuación a la misma producto de sumas).
expresión. 2. Compare ambos lados
• Se permite aplicar a ambos lados de la ecuación, 3. Adicione a un lado los
siempre que esta operación sea reversible. términos que están
• Probar que una ecuación no es válida, es presentes en el otro
suficiente con mostrar que una combinación de 4. Elimine términos de un
sus variables de entrada no arroja el mismo lado que no están
resultado a ambos lados. presentes en el otro.
 Representación estándar de funciones

Suma de Producto
productos de sumas
 Diseño usando tablas de verdad
ҧ
𝑓 𝐴, 𝐵, 𝐶 = 𝐴𝐵𝐶 + 𝐴𝐵ത 𝐶ҧ + 𝐴𝐵𝐶
ത + 𝐴𝐵𝐶ҧ + 𝐴𝐵𝐶
A
Circuito f
B CB A
C Combinacional A
f
B
C
A B C f
0 0 0 0 𝑓 𝐴, 𝐵, 𝐶 = 𝐴 + 𝐵𝐶
f
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 1 𝑓 𝐴, 𝐵, 𝐶 = 𝐴 + 𝐵 + 𝐶 𝐴 + 𝐵 + 𝐶ҧ 𝐴 + 𝐵ത + 𝐶
1 1 1 1
 Minterms y maxterms
Minterms: es un término formado por el
producto de todas las variables de una
función lógica, en la cual cada variable Fila No ABC Minterms Maxterms

aparece solo una vez, a veces 0 000 𝐴ҧ𝐵ത 𝐶ҧ = 𝑚0 𝐴 + 𝐵 + 𝐶 = 𝑀0

complementada a veces no. 1 001 𝐴ҧ𝐵𝐶ത = 𝑚1 𝐴 + 𝐵 + 𝐶ҧ = 𝑀1

2 010 ҧ 𝐶ҧ = 𝑚2
𝐴𝐵 𝐴 + 𝐵ത + 𝐶 = 𝑀2
ҧ
𝑓 𝐴, 𝐵, 𝐶 = 𝐴𝐵𝐶 + 𝐴𝐵ത 𝐶ҧ + 𝐴𝐵𝐶
ത + 𝐴𝐵𝐶ҧ + 𝐴𝐵𝐶
3 011 ҧ
𝐴𝐵𝐶 = 𝑚3 𝐴 + 𝐵ത + 𝐶ҧ = 𝑀3
4 100 𝐴𝐵ത 𝐶ҧ = 𝑚4 𝐴ҧ + 𝐵 + 𝐶 = 𝑀4
Maxters: es un término formado por la
5 101 ത = 𝑚5
𝐴𝐵𝐶 𝐴ҧ + 𝐵 + 𝐶ҧ = 𝑀5
suma de todas las variables de una
6 110 𝐴𝐵𝐶ҧ = 𝑚6 𝐴ҧ + 𝐵ത + 𝐶 = 𝑀6
función lógica, en la cual cada variable
7 111 𝐴𝐵𝐶 = 𝑚7 𝐴ҧ + 𝐵ത + 𝐶ҧ = 𝑀7
aparece solo una vez, a veces
complementada a veces no.
𝑓 𝐴, 𝐵, 𝐶 = 𝐴 + 𝐵 + 𝐶 𝐴 + 𝐵 + 𝐶ҧ 𝐴 + 𝐵ത + 𝐶
 Minterms y maxterms
ҧ
𝑓 𝐴, 𝐵, 𝐶 = 𝐴𝐵𝐶 + 𝐴𝐵ത 𝐶ҧ + 𝐴𝐵𝐶
ത + 𝐴𝐵𝐶ҧ + 𝐴𝐵𝐶 𝑓 𝐴, 𝐵, 𝐶 = 𝐴 + 𝐵 + 𝐶 𝐴 + 𝐵 + 𝐶ҧ 𝐴 + 𝐵ത + 𝐶

𝑓 𝐴, 𝐵, 𝐶 = 𝑚3 + 𝑚4 + 𝑚5 + 𝑚6 + 𝑚7 𝑓 𝐴, 𝐵, 𝐶 = 𝑀0 𝑀1 𝑀2

𝑓 𝐴, 𝐵, 𝐶 = ෍ 𝑚 3,4,5,6,7
𝑓 𝐴, 𝐵, 𝐶 = ෑ 𝑀 0,1,2

Forma deseada
como minterms como maxters como minterms como maxterms
Forma dada

𝒇 como minterms Números de minterms Minterms no Números de

no listados presentes minterms listados
𝒇 como Número de maxterms Número de Maxterms no
maxterms no listados maxterms listados presentes
 Funciones incompletamente especificadas
Cuando un circuito no genera las salidas para
todas las posibles combinaciones de entrada
Ejemplo: Un proceso químico posee tres sensores de
P. Canónico T3 T2 T1 F
temperatura (S1, S2 y S3) con salidas T1, T2 y T3. Estas salidas
0 0 0 0 0
son dos niveles de tensión bien diferenciados, según la
temperatura sea menor o mayor-igual a un valor de referencia. 1 0 0 1 1
Si la temperatura es menor al valor de referencia, la salida 2 0 1 0 X
correspondiente será 0, si es mayor o igual a la referencia la 3 0 1 1 0
salida será 1. Considere que los valores de referencia son Y1 4 1 0 0 X
para S1, Y2 para S2 y Y3 para S3, con Y1<Y2<Y3. Se desea 5 1 0 1 X
activar una alarma cuando la temperatura esté comprendida 6 1 1 0 X
entre Y1 y Y2 o sea superior a Y3. En caso contrario la alarma 7 1 1 1 1
no se debe activar.
Funciones incompletamente especificadas

𝐹 = ෍ 𝑚 1,7 + ෍ 𝑑 2,4,5,6 = ෑ 𝑀 0,3 ∙ ෑ 𝐷 2,4,5,6

𝐹 = ෍ 𝑚 1,7 = 𝑇1 ∙ 𝑇3 ∙ 𝑇2 + 𝑇3 ∙ 𝑇2

𝐹 = ෍ 𝑚 1,2,4,5,6,7 = 𝑇3 + 𝑇2 ∙ 𝑇1 + 𝑇2 ∙ 𝑇ഥ1

𝐹 = ෍ 𝑚 1,4,5,6,7 = 𝑇3 + 𝑇2 ∙ 𝑇1
 Hallar la expansión en minterms
Ejemplos
𝑓 𝑎, 𝑏, 𝑐, 𝑑 = 𝑎ത 𝑏ത + 𝑑 + 𝑎𝑐𝑑ҧ
= 𝑎ത 𝑏ത + 𝑎𝑑
ത + 𝑎𝑐𝑑ҧ 𝑓 𝑎, 𝑏, 𝑐 = 𝑎𝑏𝑐ҧ + 𝑏ത
= 𝑎ത 𝑏ത 𝑐 + 𝑐ҧ 𝑑 + 𝑑ҧ + 𝑎𝑑
ത 𝑏 + 𝑏ത 𝑐 + 𝑐ҧ + 𝑎𝑐𝑑ҧ 𝑏 + 𝑏ത
Exprese 𝑓 y 𝑓 ҧ como
= ෍ 𝑚 0,1,2,3.5,7,10,14
minterms y maxterms.

Hallar la expansión en maxterms

𝑓 𝑎, 𝑏, 𝑐 = 𝑎 𝑏ത + 𝑐
= 𝑎 + 𝑏𝑏ത + 𝑐 𝑐ҧ 𝑎𝑎ത + 𝑏ത + 𝑐
= 𝑎 + 𝑏𝑏ത + 𝑐 𝑎 + 𝑏𝑏ത + 𝑐ҧ 𝑏ത + 𝑐 + 𝑎 𝑏ത + 𝑐 + 𝑎ത
= 𝑎 + 𝑐 + 𝑏 𝑎 + 𝑐 + 𝑏ത 𝑎 + 𝑐ҧ + 𝑏 𝑎 + 𝑐ҧ + 𝑏ത 𝑎ത + 𝑏ത + 𝑐 𝑎 + 𝑏ത + 𝑐

= ෑ 𝑀 0,1,2,3,6

Diseñe un circuito con
cuatro entradas, ABCD, que
representan un número
BCD y a la salida obtenga 1
si el número es divisible por
3.
Ejemplos
Al circuito del ejemplo
anterior añada una entrada
de control Y, de tal manera
que si Y = 0 la salida será 0
si el número BCD es par y 1
si es impar. Si Y = 1,
funciona como en el caso
anterior.
 Mapas de Karnaugh – Mapas K

Problemas de la simplificación algebraica Diagramas K

• Difícil de aplicar en forma sistemática. • Método sistemático para
• Difícil de saber cuándo se obtiene la simplificar funciones lógicas.
solución minima. • Óptimo para funciones de tres y
cuatro variables.
• Figura geométrica que asocia
A AB una fila de una tabla de verdad
0 1 00 01 11 10
B C (minterms o maxterms) con un
A=0 A=1
0 0 compartimiento.
B=0 B=0
A=0 A=1
1 1
B=1 B=1
Correspondencia mapas K – Tabla de verdad

Fila N° A B C F(A,B,C)
AB 0 0 0 0
00 01 11 10
C 1 0 0 1

0 2 0 1 0
3 0 1 1
1 4 1 0 0
5 1 0 1
6 1 1 0
7 1 1 1
 Mapas K – Adyacencias

AB
00 01 11 10
CD
00 1
𝑚1 = 0001 = 𝐴ҧ𝐵ത 𝐶𝐷
ҧ
𝑚8 = 1000 = 𝐴𝐵ത 𝐶ҧ 𝐷
ഥ
𝑚5 = 0101 = 𝐴𝐵ҧ 𝐶𝐷 ҧ
01 1 1

11 1 1 𝐴ҧ𝐶𝐷
ҧ
ҧ
𝑚7 = 0111 = 𝐴𝐵𝐶𝐷

10 1 1 ҧ 𝐷
𝑚6 = 0110 = 𝐴𝐵𝐶 ഥ
𝐵𝐶
𝑚15 = 1111 = 𝐴𝐵𝐶𝐷
ഥ
𝑚14 = 1110 = 𝐴𝐵𝐶 𝐷
 Mapas K – Adyacencias lógicas adicionales
AB AB AB AB
00 01 11 10 00 01 11 10 00 01 11 10 00 01 11 10
CD CD CD CD
00 1 1 00 1 1 00 1 1 1 1 00 1 1

01 01 01 01 1 1

11 11 11 11 1 1

10 1 1 10 1 1 10 1 1 1 1 10 1 1

𝑚0 , 𝑚2 , 𝑚4 , 𝑚6 𝑚0 , 𝑚1 , 𝑚2 , 𝑚3
𝑚0 , 𝑚2 , 𝑚8 , 𝑚10 → 𝐵ത 𝐷
ഥ 𝑚4 , 𝑚6 , 𝑚12 , 𝑚14 ഥ
→ 𝐵𝐷 ഥ → 𝐵ത
𝑚8 , 𝑚10 , 𝑚12 , 𝑚14→ 𝐷 𝑚8 , 𝑚9 , 𝑚10 , 𝑚11
 Mapas K para cinco variables
ത
𝐵𝐸

ABC
000 001 011 010 110 111 101 100
DE
𝐴ҧ𝐵𝐸
ത
00 1 1 1 1

01 1 1 1 1
𝐶ҧ 𝐸ത

11 1 1 1 1 1 1

10 1 1 1 1

ҧ
𝐵𝐶𝐷
 Mapas K para cinco variables
BC A=0 BC A=1
00 01 11 10 00 01 11 10
DE DE
00 1 00 1

01 1 1 01 1 1

11 1 1 11 1 1

𝐵ത 𝐶ҧ 𝐷
ഥ𝐸 10 1 1 10 1

ҧ
𝐴𝐶𝐷
𝐶𝐷𝐸
 Uso de mapas K

• La agrupación de compartimientos – minterms, maxters – debe

hacerse de forma tal que cada uno esté incluido como mínimo una
vez. Sin embargo, un compartimiento puede aparecer en distintas
agrupaciones.
• Las agrupaciones individuales deben seleccionarse de forma que
comprendan el mayor número de compartimientos con el fin de
incluirlos en el mínimo de agrupaciones posibles.
 Ejemplos
D C B A
Una función de cuatro variables se expresa por:

𝑓 𝐴, 𝐵, 𝐶, 𝐷 = ෍ 𝑚 0,1,3,6,9,11,12,13,15

Minimizarla utilizando un mapa K.

f
AB
00 01 11 10
CD
00 1 1

01 1 1 1

11 1 1 1

10 1 ത + 𝐴𝐵 𝐶ҧ + 𝐴ҧ𝐵ത 𝐶ҧ + 𝐴𝐵𝐶
𝑓 𝐴, 𝐵, 𝐶, 𝐷 = 𝐴𝐷 + 𝐵𝐷 ҧ 𝐷ഥ
 Ejemplos
Una función de cuatro variables se expresa por: 𝑓 𝐴, 𝐵, 𝐶, 𝐷 = 𝐴ҧ + 𝐵 + 𝐶 𝐴ҧ + 𝐵ത + 𝐶ҧ 𝐴 + 𝐵 + 𝐷
𝑓 𝐴, 𝐵, 𝐶, 𝐷 = ෑ 𝑀 0,2,8,9,14,15

Minimizarla utilizando un mapa K.

AB AB
00 01 11 10 00 01 11 10
CD CD
00 0 0 00 0 0

01 0 01 0

11 0 11 0

10 0 0 10 0 0
𝑓 𝐴, 𝐵, 𝐶, 𝐷 = 𝐵𝐶ҧ + 𝐴𝐷
ҧ + 𝐴𝐵
ҧ + 𝐴𝐵𝐶
ത
 Ejemplos
𝑓 𝐴, 𝐵, 𝐶, 𝐷 = ෍ 𝑚 0,5,8,13,14,15 + 𝑑 2,7,10 ҧ 𝐶ҧ + 𝐴𝐶𝐷
𝑓 𝐴, 𝐵, 𝐶, 𝐷 = 𝐴𝐵 ҧ + 𝐵𝐷 + 𝐴𝐵 𝐶ҧ 𝐷
ഥ

AB AB
00 01 11 10 00 01 11 10
CD CD
00 1 1 00 1 1

01 1 1 01 1 1

11 X 1 11 1 1 1

10 X 1 X 10

Incompletamente Especificada Forma No Estándar