Problema 3.

Simplifique las siguientes funciones booleanas, con mapas de Karnaugh:

(a) F ( x , y , z )=∑ (2,3,6,7)

(b) F ( A , B ,C , D ) =∑ (4,6,7,15)
(c) F ( A , B ,C , D ) =∑ (3,7,11,13,14,15)
(d) F ( w , x , y , z )=∑ (2,3,12,13,14,15)
(e) F ( w , x , y , z )=∑ (11,12,13,14,15)
(f) F ( w , x , y , z )=∑ (8,10,12,13,14)

SOLLUCIONES

(a) yz

x
m0 m1 m3 m2
1 1 F= y
m4 m5 m7 m6
1 1

F= y

(b)
CD
AB
m0 m1 m3 m2

m4 m5 m7 m6 F=BCD+ A ' BD '

1 1 1
m12 m13 m15 m14
1
m8 m9 m11 m10

c)

CD

AB
m0 m1 m3 m2
1
m4 m5 m7 m6 F=CD+ ABD + ABC
1
m12 m13 m15 m14
1 1 1
 m8 m9 m11 m10
1
(d) yz
wx
m0 m1 m3 m2
1 1
m4 m5 m7 m6 F=w ' x ' y + wx
m12 m13 m15 m14
1 1 1 1
m8 m9 m11 m10

(e) yz
wx
m0 m1 m3 m2
1
m4 m5 m7 m6 F=w ' x +w ' y ' z
1 1 1 1
m12 m13 m15 m14
1
m8 m9 m11 m10

(f) yz

wx
m0 m1 m3 m2
1 1
m4 m5 m7 m6
1 F=x ' y ' +w ' y ' z
m12 m13 m15 m14

m8 m9 m11 m10
1 1
Problema 3.14

Dé tres formas posibles de expresar la siguiente función booleana con ocho o menos literales:

F= A' B C ' D+ A B ' CD+ A ' B' C ' + ACD '

SOLUCIÓN.

(f) CD

AB
m0 m1 m3 m2
1 1
m4 m5 m7 m6
1 F=AB’C + C’A’D
m12 m13 m15 m14
1
m8 m9 m11 m10
1 1

F = B'C'D' + AB'D' + BC'D + A'BD

F = B'D'(A + C') + BD (A' + C')

F' = BD' + B'D + A'CD' + ACD

F = [(B' + D) (B + D')] [(A + C' + D) (A' + C' + D')]

F' = BD' + B'D + A'CD' + A'B'C

F = [(B' + D) (B + D')] [(A + C' + D) (A' + B + C)]
Problemas 3.24

Implemente la siguiente función booleana F, empleando formas de lógica de dos niveles (a) NAND-
AND, (b) AND-NOR, (c) OR-NAND y (d) NOR-OR:

F ( A , B ,C , D ) =∑ (0,4,8,9,10,11,12,14 )

SOLUCIÓN

CD
AB
m0 m1 m3 m2
1
m4 m5 m7 m6
1 F=C ' D' + A B' + AD '
m12 m13 m15 m14
1 1
m8 m9 m11 m10
1 1 1 1

a) F = C'D' + AB' + AD'

 F' = (C'D')'(AB')'(AD')'

AND-NAND:
C͛
D͛

A F
B͛

A
D͛

(b) F' = [C'D' + AB' + AD']'

AND-NOR:
C͛
D͛

A F͛
B͛

A
D͛
(c) F = C'D' + AB' + AD' = (C + D)' + (A' + B)' + (A' + D)'
F' = (C'D')'(AB')'(AD')' = (C + D)(A' + B)(A' + D)
F = [ (C + D)(A' + B)(A' + D) ]'
OR-NAND:

C͛
D͛

A F
B͛

A
D͛

(d) F = C'D' + AB' + AD' = (C + D)' + (A' + B)' + (A' + D)'

NOR-OR:
C͛
D͛

A F
B͛

A
D͛