Universidad Nacional de Salta - Facultad de Ciencias Exactas

Carrera: Licenciatura en Anlisis de Sistemas Tecnictura en Programacion

Ctedra: ELEMENTOS DE PROGRAMACION
Ao 2013
-----------------------------------------------------------------------------------------------------------------------------------------------------------------------

TRABAJO PRACTICO N 7: ALGEBRA DE BOOLE

Ejercicio 1: Postulados/Teoremas. Sea (B, + , .) el Algebra de Boole (0,1) demostrar

utilizando postulados y teoremas, en caso de no poder realizarla demostrar realizando la tabla.

1. a + (b . (a + b)) = a + b
2. a + b + (a . b) = a . b
3. a + (a . b) = a
4. (a . b . c) + 1 = 1
5. a + 0 . a . a + b + b + b =1
6. a,b,cB;a.(b + c + a + b) = a.(b + c)
7. a,b,cB;a.b + a + c = a + b.c
8. a,b,cB;a.c + a.c + a.b = a.c + a.c + b.c
9. a,b,cB;a.b + c + (a (b + c) c) + a (a + a.b) = b + b
10. a,b,c B;a.c + bc + a.b = a.c + a.b + b.c

Ejercicio 2: Tabla de
las siguientes funciones

la funcin. Sea (B, + , .) el Algebra de Boole (0,1) realizar la tabla de

1. f(a, b, c) = b c + (a + b) (a + c)
2. f(a, b, c) = a c + b c + a b + a c
3. f(a, b, c) = (a + c) (a b) (b + c)
4. f(a, b, c) = (a + c) (b + a c) b + a + b + c
5. f(a, b, c) = a b c + b ( a c + b)

6. f (p, q, r) = 1 si p q = 0 r = 1
2

i =0

i =1

7. f(p, q, r) = M i * M 3i
8. f ( x, y, z , t ) = m1 + m 2 + m13
9. f(x, y, z, t) = (m 4 + m 12 ) * M 8
Ejercicio 3:

Equivalencia. Sea (B, + , .) el Algebra de Boole (0,1) y las siguientes funciones

k(a,b,c) = a.b + a + c l(a,b,c) =

(a.b).(a + c)

m(a,b,c) = a + b.c
n(a,b,c,d) = a.c.d + a.b.c + a.c.d
p(a,b,c,d) = a + b.c
Responder verdadero/falso, justificando

3.1- k l
3.2- p k
3.3- p m
3.4- m n
3.5- m n
3.6- Realizar un algoritmo/diagrama para que dadas dos funciones Booleanas de N
variables, indique si son equivalentes, complementarias o ninguna de las dos.
Puede representar una funcin de 3 variables en un vector de F, de F(0) a F(7)
conteniendo 0/1, es decir la tabla de la funcin.

Universidad Nacional de Salta - Facultad de Ciencias Exactas

Carrera: Licenciatura en Anlisis de Sistemas Tecnictura en Programacion
Ctedra: ELEMENTOS DE PROGRAMACION
Ao 2013
-----------------------------------------------------------------------------------------------------------------------------------------------------------------------

Ejercicio 4: Dadas las siguientes tablas lgicas:

Determinar la FND. Expresarla como funcin de sus variables y como suma de mi.
Detreminar la FNC. Expresarla como funcin de sus variables y como producto de Mi.
Comprobar las formas normales por la tcnica de transposicin.
a)

x
0
0
0
0
1
1
1
1

y
0
0
1
1
0
0
1
1

z
0
1
0
1
0
1
0
1

f
1
1
0
0
1
1
1
0

c)

x
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1

y
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1

z
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1

w
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1

b)

f
1
1
1
1
0
1
0
1
1
1
1
1
1
0
0
1

x
0
0
0
0
1
1
1
1

y
0
0
1
1
0
0
1
1

z
0
1
0
1
0
1
0
1

f
0
1
1
0
1
0
0
0

d)

x
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1

y
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1

z
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1

w
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1

f
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1

Ejercicio 5: Escribir un algoritmo para obtener la FND expresada con notacin de minitrminos de
una funcin de N variables booleanas, dada su correspondiente tabla lgica.
Ejercicio 6: Dadas las siguientes funciones booleanas:
Obtener la expresin analtica de su FND.
Obtener la expresin analtica de su FNC..

1. f (x, y, z) = (x y).(x z).(y z)

4

2. f (x, y, z) =

mi + x. (y z . y. z)
i= 2

3. f (x, y, z) = ( x + y).(( x + y ) + x y z + z) + x y
Ejercicio 7: Dados los siguientes logigramas:
Determinar la expresin analtica de la funcin de salida.
Determinar las formas mnimas como SP y como PS.
Determinar la fmin
X
Y
Z
W

X
Y
Z

Universidad Nacional de Salta - Facultad de Ciencias Exactas

Carrera: Licenciatura en Anlisis de Sistemas Tecnictura en Programacion
Ctedra: ELEMENTOS DE PROGRAMACION
Ao 2013
-----------------------------------------------------------------------------------------------------------------------------------------------------------------------

Ejercicio 8: DIAGRAMAS DE KARNAUGH. Sea (B, + , .) el Algebra de Boole (0,1) y las siguientes
funciones, minimizarlas y obtener Mnima como Suma de Productos (minSP), Mnima como
Producto de Sumas (minPS), Mnima (min) y logigrama mnimo.

8.1- mm(a,b,c) = a + b.c + b.c

8.2- q(a,b,c) = a.c + b.c + a.b

8.3- pp(a,b,c) =

(a + b c)+ c + b

8.4- qq(a,b,c) = a.b.c + a.b.c + a.b.c + a.b.c

8.5- rr(a,b,c) = a + b

(a.b)

8.6- tt(a,b,c,d) = m1+ m5 + m6 + m7 + m11+ m12 + m13 + m14 + m15

8.7- uu(a,b,c,d) = m0 + m2 + m5 + m7 + m8 + m10 + m13 + m15
8.8- ggg(a,b,c,d) = M0.M3.M5.M6.M9.M10.M12.M15
8.9- q(a,b,c) tiene varias expresiones mnimas (PS o SP) ? cuantas?
8.10- nnn(a,b,c) tiene varias expresiones mnimas (PS o SP) ? cuantas?
8.11- Puede minSP una expresin en Forma Normal ?, justificar
8.12- Puede ser la minSP = minPS ? es decir la expresin minSP idntica a la
expresin minPS, justificar
8.13- Siempre Existe la minPS ? justificar
8.14- fff (a,b,c,d) = c.d + (c + b).(c + d).(d + b).(d + d)