Universidad Nacional de Salta – Facultad de Ciencias Exactas

Carrera Licenciatura en Análisis de Sistemas – Tecnicatura en Programación.

Cátedra ELEMENTOS DE PROGRAMACIÓN - Año 20203

TRABAJO PRACTICO N° 7: ALGEBRA DE BOOLE

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

las expresiones utilizando postulados y teoremas. Luego verifique realizando la tabla lógica.

a) usar: distributiva, complemento, neutro, idempotencia

b) usar: complemento, neutro, asociativa

c) usar: asociativa, complemento, neutro absorvente

d) usar: De Morgan, involución, neutro absorvente y otras

e) usar: definición de disyunción, y otras
f)

Ejercicio 2: Tabla de la función. Sea (B, +, .) el Algebra de Boole (0,1) realizar la tabla lógica de las
siguientes funciones.
a) b)

c) d)

e) f)

Ejercicio 3: Equivalencias. Sea (B, +, .) el Algebra de Boole (0,1) y las siguientes funciones.
N
2 − 1
k ( a , b , c )=a b+a+b c n (a , b , c , d )= ∏ Mi (N=cantidad de variables)
i=3
2
p (a ,b , c , d )=( a +b + d )( a +b+ c ) q(a , b , c , d )=∑ m i
i=0

Responder verdadero o falso justificando

a) p≡ q b) n≡ p c) n≡ p ∗ d) p≡ q e) n≡ p ∗

1
 Universidad Nacional de Salta – Facultad de Ciencias Exactas
Carrera Licenciatura en Análisis de Sistemas – Tecnicatura en Programación.
Cátedra ELEMENTOS DE PROGRAMACIÓN - Año 20203

Ejercicio 4: Formas Normales. Dadas las siguientes funciones booleanas:

 Determinar la FND, expresada como función de sus variables y como suma de mi
 Determinar la FNC, expresada como función de sus variables y como producto de Mi.
 Comprobar las formas normales por la técnica de transposición.

a) f 1 1 0 0 1 1 0 1 b) g 0 1 1 0 1 0 1 0

c) h 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 1

d) k 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

Ejercicio 5:Formas Normales y logigrama. Dadas las siguientes funciones booleanas:

 Obtener la expresión analítica de su FND y su logigrama.
 Obtener la expresión analítica de su FNC y su logigrama.

Sugerencia: intente trabajar algebraicamente las expresiones, usando los postulados y las
propiedades. Sino, recuerde que siempre es posible determinar la salida de una función elaborando
su tabla lógica.

a) f ( x , y , z )=( x+ y)+( z z )(x y z ) b) f ( x , y , z )= x y + z ( x + z )+ z y + xy ( z + z )

4
c) f ( x , y , z )=( x ⊕ y)( x⊕ z )( y ⊕ z ) d) f ( x , y , z )=∑ mi+ x( y z . yz )
i =2

Ejercicio 6:Minimización Algebraica. Dadas las siguientes funciones booleanas:

 Determinar una expresión analítica de la función de salida.
 Determinar las funciones mínimas como SP y como PS.
 Determinar la función mínima fmin.

a)

2
 Universidad Nacional de Salta – Facultad de Ciencias Exactas
Carrera Licenciatura en Análisis de Sistemas – Tecnicatura en Programación.
Cátedra ELEMENTOS DE PROGRAMACIÓN - Año 20203

b)

Ejercicio 7: Minimización. Diagramas de Karnaugh. Dadas las siguientes funciones booleanas:

usar los Diagramas de Karnaugh (o Mapa-K) para obtener
 la Función Mínima como Suma de Productos (minSP)
 la Función Mínima como Producto de Sumas (minPS)
 el Logigrama Mínimo
 responder las preguntas

a) f ( a ,b , c )=a b+ a c + a b c Admite varias expresiones mínimas SP o PS ? Cuantas?

b) f ( a ,b , c )=a b+ a b c Admite varias expresiones mínimas SP o PS ? Cuantas?
c) f (a ,b , c)=a c+b c+a b
d) f (a ,b , c)=a b+a c+a b c Puede existir alguna función donde la fminSP sea una forma
normal? Justifique
e) f (a ,b , c)=a b c+a b c+a b c+a b c
f) f (a ,b , c)=a+b ⊕ a . b
g) f (a ,b , c)=(a⊕ b ⊕ c)+a c ((a ⊕ b⊕ c))+a b c+a b c
h) f (a ,b , c , d )=m0+m2+m4+m6+m8+m13+m15
i) f (a ,b , c , d )=M5 . M7 . M13 . M15
j) f (a ,b , c , d )=M0 . M3 . M5 . M9 . M15
k) f (a ,b , c , d )=M2 . M5 . M7 . M8. M13 . M15 Cuantas fminSP es posible encontrar ?
L) f (a ,b , c , d )=m1+m4+m5 +m11+m14+m15
7 13
M) f (a ,b , c , d )= ∑ mi+( ∑ mi )+m1+m15
i =5 i=11

3
 Universidad Nacional de Salta – Facultad de Ciencias Exactas
Carrera Licenciatura en Análisis de Sistemas – Tecnicatura en Programación.
Cátedra ELEMENTOS DE PROGRAMACIÓN - Año 20203

Ejercicio 8: Dadas las siguientes funciones booleanas obtener

 sus expresiones como Formas Normales (FND y FNC)
 el Logigrama Mínimo

a) f (a ,b , c)=(a⊕ b)+a c+ac+bc

b) f (a ,b , c)=b c+b c+m3+abc
c) f (a ,b , c)=((a+b+c )(a+b))⊕ (a b)
d) ab /c 0 1
00 1 0
01 1 1
11 1 0
10 0 1

e) f 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0

f) f 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0

g) ab /cd 00 01 11 10
00 0 0 1 0
01 0 1 1 1
11 1 1 0 0
10 0 1 0 0

h) f ( a ,b , c , d )= 0