PROBLEMAS

2-1 Demuestre con tablas de verdad la validez de las identidades siguientes:

a) Teorema de DeMorgan para tres variables: (x+y+z)¿=x¿y¿z¿ y (xyz)¿=x¿+y¿+z¿
b) La ley distributiva: x+yz=(x+y)(x+z)
2-2 Simplifique las expresiones booleanas siguientes de modo que usen el mínimo de literales:
a) xy+xy¿ b) (x + y)(x + y¿)
c) xyz+x¿y+xyz¿ d) (A + B)¿(A¿ + B¿)¿
2-3 Simplifique las expresiones booleanas siguientes de modo que usen el mínimo de literales:
a) ABC + A¿B + ABC¿ b) x¿yz+xz
c) (x + y)¿(x¿ + y¿) d) xy + x(wz + wz¿)
e) (BC¿ + A¿D)(AB¿ + CD¿)
2-4 Reduzca las siguientes expresiones booleanas al número de literales que se indica:
a) A¿C¿ + ABC + AC¿ a tres literales
b) (x¿y¿ + z)¿ + z + xy + wz a tres literales
c) A¿B(D¿ + C¿D) + B(A + A¿CD) a una literal
d) (A¿ + C)(A¿ + C¿)(A + B + C¿D) a cuatro literales
62 Capítulo 2 Álgebra booleana y compuertas lógicas

2-5 Obtenga el complemento de F=x+yz; luego demuestre que FF¿=0 y que F+F¿=1.
2-6 Obtenga el complemento de estas expresiones:
a) xy¿ + x¿y b) (AB¿ + C)D¿ + E
c) (x + y¿ + z)(x¿ + z¿)(x + y)
2-7 Dadas las funciones booleanas F1 y F2.
a) Demuestre que la función booleana E=F1+F2 contiene la suma de los minitérmi-
nos de F1 y F2.
b) Demuestre que la función booleana G=F1F2 contiene únicamente los minitérminos
que F1 y F2 tienen en común.
2-8 Muestre la tabla de verdad de la función:
F = xy + xy¿ + y¿z
2-9 Podemos realizar operaciones lógicas con cadenas de bits considerando por separado ca-
da par de bits correspondientes (esto se denomina operación bit por bit). Dadas dos cade-
nas de ocho bits A=10101101 y B=10001110, evalúe el resultado de ocho bits después
de las operaciones lógicas siguientes: a) AND, b) OR, c) XOR, d) NOT A, e) NOT B.
2-10 Dibuje los diagramas de lógica de las expresiones booleanas siguientes:
a) Y = A¿B¿ + B(A + C) b) Y = BC + AC¿
c) Y = A + CD d) Y = (A + B)(C¿ + D)
2-11 Dada la función booleana:
F = xy + x¿y¿ + y¿z
a) impleméntela con compuertas AND, OR e inversores,
b) impleméntela con compuertas OR e inversores, y
c) impleméntela con compuertas AND e inversores.
2-12 Simplifique las funciones booleanas T1 y T2 al mínimo de literales.

A B C T1 T2

0 0 0 1 0
0 0 1 1 0
0 1 0 1 0
0 1 1 0 1
1 0 0 0 1
1 0 1 0 1
1 1 0 0 1
1 1 1 0 1

2-13 La suma lógica de todos los minitérminos de una función booleana de n variables es 1.
a) Demuestre la afirmación anterior para n=3.
b) Sugiera un procedimiento para una demostración general.
2-14 Prepare la tabla de verdad de las funciones siguientes y exprese cada función como suma
de minitérminos y como producto de maxitérminos:
a) (xy+z)(y+xz) b) (A¿ + B)(B¿ + C)
c) y¿z + wxy¿ + wxz¿ + w¿x¿z