Lic. Elder J. V.

Prez
Lgica Matemtica

Practica 2
1. Sea a, b, c elementos cualesquiera en un lgebra de Boole. Pruebe las siguientes
leyes:
i) Ley Idempotencia
a) a + a = a

b) a a = a

ii) Ley Acotamiento

a) a + 1 = 1

b) a 0 = 0

iii) Ley Absorcin

a) a + (a b) = a

b) a (a + b) = a

iv) Ley Asociativa

a) (a + b) + c = a + (b + c)

b) (a b) c = a (b c)

SUG. Slo pruebe los apartados a), los apartados b) se justifican mediante el
Principio de Dualidad.
2. Sea a cualquier elemento de un lgebra de Boole B. Pruebe:
a) (Ley Involucin)(a0 )0 = a
b) (9a) 00 = 1

(9b) 10 = 0

c) (Ley De DMorgan)
(10a) (a + b)0 = a0 b0

(10b) (a b)0 = a0 + b0

SUG. Use unicidad del complemento para cada caso.

3. Pruebe que los siguientes son equivalentes en un lgebra de Boole.
(1) a + b = b

(3) a0 + b = 1

(2) a b = a

(4) a + b0 = 0

4. En un lgebra de Boole, se define x y = x y 0 . Pruebe:

a) x + y = x + (y x)
b) x (x y) = x y
c) x0 = 1 x.
d) x y = 0 x y = x

SUG. Use (2) (4) en el ejercicio anterior.

1

e) x (y z) = (x y) (x z)
f ) Se cumple x + (y z) = (x + y) (x + z)?
5. Reducir los siguientes productos Booleanos a 0 o a un producto fundamental:
(1) xyx0 z;

(3) xyz 0 yx

(2) xyzy

(4) xyz 0 yx0 z 0

SUG. Use la ley conmutativa, complemento e idempotencia.

6. Exprese cada expresin booleana E(x, y, z) como una suma de productos y
luego en su forma suma de productos completo:
(1) E = x(xy 0 + x0 y + y 0 z)
(3) E = y(x + yz)0

(2) E = z(x0 + y) + y 0
(4) E = x(xy + y 0 + x0 y)

SUG. Use el Algoritmo 1 para expresar E como suma de productos y luego

use el Algoritmo 2 para expresar E como una suma de productos completo.
7. Exprese E(x, y, z) = (x0 + y)0 + x0 y en su forma suma de productos completo.
8. Exprese la expresin E(A, B, C) que involucra los conjuntos A, B, C como una
unin de intersecciones:
(a) E = (A B)c (C c B);

(b) (B C)c (Ac C)c

SUG. Use notacin Booleana, 0 para complementacin, + para unin y * para

interseccin, y a continuacin exprese E como suma de productos (unin de
las intersecciones).
9. Para cada expresin booleana en suma de productos E, encuentre EL y Es
(a) E = xy 0 z + x0 z 0 + yz 0 + x
(c) E = xyt0 + x0 y 0 zt + xz 0 t

(b) E = x0 y 0 z + xyz + y + yz 0 + x0 z
(d) E = (xy 0 + z)0 + xy 0

10. Encuentre el consenso Q de los productos fundamentales P1 y P2 donde:

(a) P1 = xy 0 z 0 , P2 = xyt
(c) P1 = xy 0 z 0 , P2 = x0 y 0 zt

(b) P1 = xyz 0 t, P2 = xzt

(d) P1 = xyz 0 , P2 = xz 0 t

11. Suponga que Q es el consenso de P1 y P2 . Pruebe que P1 + P2 + Q = P1 + P2 .

SUG. Ya que los literales conmutan, sin perdida de generalidad asuma que
P1 = a1 a2 ar t, y P2 = b1 b2 bs , Q = a1 a2 ar b1 b2 bs , luego escriba Q
como Q(t + t0 ) en P1 + P2 + Q = P1 + P2 . Finalmente, use la ley distributiva
y de absorcin.
12. Aplicar el mtodo del consenso (Algoritmo 3) para encontrar los implicantes
primos de cada expresin booleana:
a) E1 = xy 0 z 0 + x0 y + x0 y 0 z 0 + x0 yz.
b) E2 = xy 0 + x0 z 0 t + xyzt0 + x0 y 0 zt0 .
2

13. Encontrar una forma en suma de productos minimal para cada expresin
booleana en el problema anterior.
14. Sea E = xy 0 + xyz 0 + x0 yz 0 . Encontrar:
(a) los implicantes primos de E;

(b) una suma minimal para E.

15. Sea E = xy + y 0 t + x0 yz 0 + xy 0 zt0 . Encontrar:

(a) los implicantes primos de E;

(b) una suma minimal para E.