Tabla de referencias

Ley De Morgan 𝐴 + 𝐵 = 𝐴ҧ ∙ 𝐵ത …. (1)

Ley De Morgan 𝐴 ∙ 𝐵 = 𝐴ҧ + 𝐵ത …. (2)

Postulado: Conmutativa 𝐴 ∙ 𝐵 = 𝐵 ∙ 𝐴…. (3)

Postulado: Distributiva 𝐴 ∙ 𝐵 + 𝐶 = 𝐴 ∙ 𝐵 + 𝐴 ∙ 𝐶 …. (4)

Postulado: 𝐴 + 𝐴ҧ = 1…. (5)

Postulado: 𝐴 ∙ 𝐴ҧ = 0…. (6)

Teorema: 𝐴 + 𝐴 = 𝐴 …. (7)

Teorema: 𝐴 ∙ 𝐴 = 𝐴 …. (8)
Teorema: Involución 𝐴ҧ = 𝐴…. (9)
Teorema: Absorción 𝐴 + 𝐴 ∙ 𝐵 = 𝐴…. (10)
 TEMA 1

𝑓 = 𝑥 + 𝑦 + 𝑤𝑧 ∙ 𝑧𝑤𝑦 + 𝑧 + 𝑥 + 𝑤 Aplicando (2):

𝑓 ҧ = 𝑥 + 𝑦 + 𝑤𝑧 ∙ 𝑧𝑤𝑦 ∙ 𝑧 + 𝑥 + 𝑤 Aplicando (2):

𝑓 ҧ = 𝑥 + 𝑦 + 𝑤𝑧 ∙ 𝑧𝑤 + 𝑦ത ∙ 𝑧 + 𝑥 + 𝑤 Aplicando (3):

𝑓 ҧ = 𝑥 + 𝑦 + 𝑤𝑧 ∙ 𝑤𝑧 + 𝑦ത ∙ 𝑧 + 𝑥 + 𝑤 Aplicando (4):

𝑓 ҧ = 𝑥 ∙ 𝑤𝑧 + 𝑥 ∙ 𝑦ത + 𝑦 ∙ 𝑤𝑧 + 𝑦 ∙ 𝑦ത + 𝑤𝑧 ∙ 𝑤𝑧 + 𝑤𝑧 ∙ 𝑦ത ∙ 𝑧 + 𝑥 + 𝑤 Aplicando (6):

𝑓 ҧ = 𝑥 ∙ 𝑤𝑧 + 𝑥 ∙ 𝑦ത + 𝑦 ∙ 𝑤𝑧 + 𝑤𝑧 ∙ 𝑤𝑧 + 𝑤𝑧 ∙ 𝑦ത ∙ 𝑧 + 𝑥 + 𝑤 Aplicando (8):

𝑓 ҧ = 𝑥 ∙ 𝑤𝑧 + 𝑥 ∙ 𝑦ത + 𝑦 ∙ 𝑤𝑧 + 𝑤𝑧 + 𝑤𝑧 ∙ 𝑦ത ∙ 𝑧 + 𝑥 + 𝑤 Factor común 𝑤𝑧
y aplicando (5):

𝑓 ҧ = 𝑥 ∙ 𝑤𝑧 + 𝑥 ∙ 𝑦ത + 𝑤𝑧 + 𝑤𝑧 ∙ 𝑧 + 𝑥 + 𝑤 Aplicando (7):

𝑓 ҧ = 𝑥 ∙ 𝑤𝑧 + 𝑥 ∙ 𝑦ത + 𝑤𝑧 ∙ 𝑧 + 𝑥 + 𝑤 Aplicando (10):

𝑓 ҧ = 𝑤𝑧 + 𝑥 ∙ 𝑦ത ∙ 𝑧 + 𝑥 + 𝑤 Aplicando (1):

𝑓 ҧ = 𝑤𝑧 + 𝑥 ∙ 𝑦ത ∙ 𝑧 + 𝑥ҧ ∙ 𝑤
ഥ Aplicando (2):

𝑓ҧ = 𝑤
ഥ + 𝑧ҧ + 𝑥 ∙ 𝑦ത ∙ 𝑧 + 𝑥ҧ ∙ 𝑤
ഥ Aplicando (4):

𝑓ҧ = 𝑤
ഥ ∙𝑧+𝑤
ഥ ∙ 𝑥ҧ ∙ 𝑤
ഥ + 𝑧ҧ ∙ 𝑧 + 𝑧ҧ ∙ 𝑥ҧ ∙ 𝑤
ഥ + 𝑥 ∙ 𝑦ത ∙ 𝑧 + 𝑥 ∙ 𝑦ത ∙ 𝑥ҧ ∙ 𝑤
ഥ Aplicando (3) y (8):

𝑓ҧ = 𝑤
ഥ ∙𝑧+𝑤
ഥ ∙ 𝑥ҧ + 𝑧ҧ ∙ 𝑧 + 𝑧ҧ ∙ 𝑥ҧ ∙ 𝑤
ഥ + 𝑥 ∙ 𝑦ത ∙ 𝑧 + 𝑥 ∙ 𝑦ത ∙ 𝑥ҧ ∙ 𝑤
ഥ Aplicando (3) y (6):

𝑓ҧ = 𝑤
ഥ ∙𝑧+𝑤
ഥ ∙ 𝑥ҧ + 𝑧ҧ ∙ 𝑥ҧ ∙ 𝑤
ഥ + 𝑥 ∙ 𝑦ത ∙ 𝑧 Aplicando (3) y (10):

𝑓ҧ = 𝑤
ഥ ∙𝑧+𝑤
ഥ ∙ 𝑥ҧ + 𝑥 ∙ 𝑦ത ∙ 𝑧 Factor común 𝑤
ഥ:

𝑓ҧ = 𝑤
ഥ ∙ 𝑧 + 𝑥ҧ + 𝑥 ∙ 𝑦ത ∙ 𝑧 Aplicando (2):

𝑓ҧ = 𝑤
ഥ ∙ 𝑧ҧ ∙ 𝑥 + 𝑥 ∙ 𝑦ത ∙ 𝑧 Reordenando mediante (3):

𝑓ҧ = 𝑤
ഥ ∙ 𝑥 ∙ 𝑧ҧ + 𝑥 ∙ 𝑦ത ∙ 𝑧 Aplicando (2):

𝑓= 𝑤
ഥ ∙ 𝑥 ∙ 𝑧ҧ ∙ 𝑥 ∙ 𝑦ത ∙ 𝑧 Función minimizada
Teniendo en cuenta las restricciones de implementación con compuertas NAND y NOT,
aplicando (9):
Función minimizada para implementación
𝑓= 𝑤
ഥ ∙ 𝑥 ∙ 𝑧ҧ ∙ 𝑥 ∙ 𝑦ത ∙ 𝑧 con compuertas NAND y NOT
Implementación del circuito lógico-TEMA 1:
 TEMA 2

𝑚8 = 𝑎 ∙ 𝑏ത ∙ 𝑐 ҧ ∙ 𝑑ҧ
𝑚9 = 𝑎 ∙ 𝑏ത ∙ 𝑐 ҧ ∙ 𝑑 Minitérminos

𝑚11 = 𝑎 ∙ 𝑏ത ∙ 𝑐 ∙ 𝑑

Es más conveniente utilizar la forma canónica como suma de minitérminos pues tendrá menor
cantidad de compuertas lógicas asociadas (debido a que hay menor cantidad de 1s que 0s en la
tabla de la verdad). Luego:

𝐹 = 𝑎𝑏ത 𝑐 𝑑
ҧ ҧ + 𝑎𝑏ത 𝑐𝑑 ത
ҧ + 𝑎𝑏𝑐𝑑 Respuesta al inciso a.

Aplicando (7) al minitérmino 𝑚9 tenemos:

𝐹 = 𝑎𝑏ത 𝑐 𝑑
ҧ ҧ + 𝑎𝑏ത 𝑐𝑑
ҧ + 𝑎𝑏ത 𝑐𝑑 ത
ҧ + 𝑎𝑏𝑐𝑑 Factor común 𝑎𝑏ത 𝑐ҧ y Aplicando (5):

𝐹 = 𝑎𝑏ത 𝑐 ҧ + 𝑎𝑏ത 𝑐𝑑 ത
ҧ + 𝑎𝑏𝑐𝑑 ത y Aplicando (5):
Factor común 𝑎𝑏𝑑

𝐹 = 𝑎𝑏ത 𝑐 ҧ + 𝑎𝑏𝑑
ത

Como la expresión lógica de arriba está minimizada, tenemos:

𝐹𝑚 = 𝑎𝑏ത 𝑐 ҧ + 𝑎𝑏𝑑
ത Respuesta al inciso b.
Implementación del circuito lógico-TEMA 2:

Respuesta al inciso c.
 TEMA 3

𝑓 𝑎, 𝑏, 𝑐, 𝑑 = ෍ 𝑚 0,1,3,4,6,7,11,12,14,15 El negado de 𝑓 será:

𝑓 ҧ 𝑎, 𝑏, 𝑐, 𝑑 = ෍ 𝑚 2,5,8,9,10,13 Expandiendo:

𝑓 ҧ 𝑎, 𝑏, 𝑐, 𝑑 = 𝑚2 + 𝑚5 + 𝑚8 + 𝑚9 + 𝑚10 + 𝑚13 Aplicando (9):

𝑓 𝑎, 𝑏, 𝑐, 𝑑 = 𝑚2 + 𝑚5 + 𝑚8 + 𝑚9 + 𝑚10 + 𝑚13
La Ley De Morgan puede generalizarse para
𝑛 variables de la siguiente forma:
𝐴 + 𝐵 = 𝐴ҧ ∙ 𝐵ത
𝐴 + 𝐵 + 𝐶 = 𝐴 + 𝐵 ∙ 𝐶ҧ = 𝐴ҧ ∙ 𝐵ത ∙ 𝐶ҧ
𝐴 + 𝐵 + 𝐶 + ⋯ + 𝑍 = 𝐴ҧ ∙ 𝐵ത ∙ 𝐶ҧ ∙ ⋯ ∙ 𝑍ҧ

Aplicando la Ley De Morgan generalizada, podemos reescribir 𝑓 de la siguiente forma:

𝑓 𝑎, 𝑏, 𝑐, 𝑑 = 𝑚2 ∙ 𝑚5 ∙ 𝑚8 ∙ 𝑚9 ∙ 𝑚10 ∙ 𝑚13

Teniendo en cuenta que, cada minitérmino es

el producto de 𝑡 números lógicos:
𝑚𝑘 = 𝑥 ∙ 𝑦 ∙ ⋯ ∙ 𝑧 Su negado será:
𝑚𝑘 = 𝑥ҧ + 𝑦ത + ⋯ + 𝑧ҧ Que corresponde al
Maxitérmino 𝑘, es
decir:
𝑚𝑘 = 𝑀𝑘 El negado de un minitérmino es
igual al maxitérmino

Utilizando esta regla tenemos:

𝑓 𝑎, 𝑏, 𝑐, 𝑑 = 𝑀2 ∙ 𝑀5 ∙ 𝑀8 ∙ 𝑀9 ∙ 𝑀10 ∙ 𝑀13

Que de manera abreviada es:

𝑓 𝑎, 𝑏, 𝑐, 𝑑 = ෑ 𝑀 2,5,8,9,10,13 Respuesta al inciso a.

Realizando el Mapa de Karnaugh:

𝑓 𝑎, 𝑏, 𝑐, 𝑑 = ෍ 𝑚 0,1,3,4,6,7,11,12,14,15
𝑐

𝑚0 𝑚1 𝑚3 𝑚2 1 1 1

𝑚4 𝑚5 𝑚7 𝑚6 1 1 1
𝑏
𝑚12 𝑚13 𝑚15 𝑚14 1 1 1
𝒂
𝑚8 𝑚9 𝑚11 𝑚10 1

Grupo 1: 𝑐𝑑

Grupo 2: 𝑏𝑐
𝑓 = 𝑐𝑑 + 𝑏𝑐 + 𝑏𝑑ҧ + 𝑎ത 𝑏ത 𝑐 ҧ Respuesta al inciso b.
Grupo 3: 𝑏𝑑ҧ
El circuito lógico se muestra en la
Grupo 4: 𝑎ത 𝑏ത 𝑐 ҧ siguiente página.
Implementación del circuito lógico-TEMA 3: