ACTIVIDAD DE APRENDIZAJE 1

MATEMÁTICAS DISCRETAS
DEMOSTRACIONES INFERENCIAS
ALGEBRA BOOLEANA

En los siguientes ejercicios se debe transforma el lenguaje de proposiciones y luego

demostrar la que dice, Por lo tanto.

1. Si hoy debo ir al trabajo entonces tendré que trabajar muy duro o me echarán de
la empresa. No es cierto que hoy no tenga que ir al trabajo. No me echarán de la
empresa. Por lo tanto, tendré que trabajar muy duro.

Definición de proposiciones:

p : Hoy debo ir al trabajoq :Tendré que trabajar muy duror : Me echarán de la empresa

Simbología del enunciado.

[ ( p →q ∨r ) ∧ ( ∼ ( ∼ p ) ) ∧ ( ∼r ) ] →q
Demostración por tablas de verdad

p q r q∨r p →q ∨ r ∼ ( ∼ p )∼ r ( p →q ∨ r ) ∧ ( ∼ ( ∼ p ) ) ∧ ( ∼r
[ ( p) →q ∨r ) ∧ ( ∼ ( ∼ p ) ) ∧ ( ∼r ) ] →q
1 1 1 1 1 1 0 0 1
1 1 0 1 1 1 1 1 1
1 0 1 1 1 1 0 0 1
1 0 0 0 0 1 1 0 1
0 1 1 1 1 0 0 0 1
0 1 0 1 1 0 1 0 1
0 0 1 1 1 0 0 0 1
0 0 0 0 1 0 1 0 1

2. La música es un arte si, y sólo si este escrito expresa el sentimiento del

compositor. Ni este escrito expresa el sentimiento del compositor ni es una obra de
teatro. Este escrito es una obra de arte si, y solo si es un poema hecho canción. Si
este escrito no es una obra de arte, entonces la música no es un arte. Por lo tanto,
este escrito es una obra de arte y es un poema hecho canción.

Definición de proposiciones:

p : La música es un arteq : Este escrito expresa el sentimiento del compositor

r : Es una obra de teatros : Es un poema hecho canciónt : Este escrito es una obra de arte
Simbología del enunciado.

[ ( p ↔q ) ∧ ( q ↓ r ) ∧ (t ↔ s ) ∧ ( ∼t → ∼ p ) ] → ( t ∧ s )
Demostración por tablas de verdad

p q r s t p ↔q q ↓ r t ↔s ∼ t → ∼ p ( p ↔q ) ∧ ( q ↓ r ) ∧ ( t ↔t ∧ s ( ∼t → ∼ p )
s )∧
1 1 1 1 1 1 0 1 1 0 1 1
1 1 1 1 0 1 0 0 0 0 0 1
1 1 1 0 1 1 0 0 1 0 0 1
1 1 1 0 0 1 0 1 0 0 0 1
1 1 0 1 1 1 0 1 1 0 1 1
1 1 0 1 0 1 0 0 0 0 0 1
1 1 0 0 1 1 0 0 1 0 0 1
1 1 0 0 0 1 0 1 0 0 0 1
1 0 1 1 1 0 0 1 1 0 1 1
1 0 1 1 0 0 0 0 0 0 0 1
1 0 1 0 1 0 0 0 1 0 0 1
1 0 1 0 0 0 0 1 0 0 0 1
1 0 0 1 1 0 1 1 1 0 1 1
1 0 0 1 0 0 1 0 0 0 0 1
1 0 0 0 1 0 1 0 1 0 0 1
1 0 0 0 0 0 1 1 0 0 0 1
0 1 1 1 1 0 0 1 1 0 1 1
0 1 1 1 0 0 0 0 1 0 0 1
0 1 1 0 1 0 0 0 1 0 0 1
0 1 1 0 0 0 0 1 1 0 0 1
0 1 0 1 1 0 0 1 1 0 1 1
0 1 0 1 0 0 0 0 1 0 0 1
0 1 0 0 1 0 0 0 1 0 0 1
0 1 0 0 0 0 0 1 1 0 0 1
0 0 1 1 1 1 0 1 1 0 1 1
0 0 1 1 0 1 0 0 1 0 0 1
0 0 1 0 1 1 0 0 1 0 0 1
0 0 1 0 0 1 0 1 1 0 0 1
0 0 0 1 1 1 1 1 1 1 1 1
0 0 0 1 0 1 1 0 1 0 0 1
0 0 0 0 1 1 1 0 1 0 0 1
0 0 0 0 0 1 1 1 1 1 0 0

3. Si ingreso a la universidad, entonces tendré mucho que leer y si tengo muchos

amigos, entonces saldré a rumbear los fines de semana. Si consigo novia, saldré a
rumbear los fines de semana. Si salgo a rumbear los fines de semana, tendré bajo
rendimiento académico. No tendré mucho que leer o no tendré bajo rendimiento
académico. Por lo tanto, si ingreso a la universidad, entonces ni conseguiré novia ni
tendré muchos amigos.

Definición de proposiciones:

p : Ingreso a la universidadq :Tendré mucho que leerr :Tengo muchos amigos

s :Saldré a rumbear los fines de semanat :Consigo novia
u :Tendré bajo rendimiento académico

Simbología del enunciado.

[ ( p →q ) ∧ ( r → s ) ∧ ( t → s ) ∧ ( s → u ) ] → ( p → (t ↓r ))
Demostración por tablas de verdad

p q r s t u p →q r → s t → s s →u ∴ t ↓r p →( t ↓ r )
1 1 1 1 1 1 1 1 1 1 1 0 0 0
1 1 1 1 1 0 1 1 1 0 0 0 0 1
1 1 1 1 0 1 1 1 1 1 1 0 0 0
1 1 1 1 0 0 1 1 1 0 0 0 0 1
1 1 1 0 1 1 1 0 0 1 0 0 0 1
1 1 1 0 1 0 1 0 0 1 0 0 0 1
1 1 1 0 0 1 1 0 1 1 0 0 0 1
1 1 1 0 0 0 1 0 1 1 0 0 0 1
1 1 0 1 1 1 1 1 1 1 1 0 0 0
1 1 0 1 1 0 1 1 1 0 0 0 0 1
1 1 0 1 0 1 1 1 1 1 1 1 1 1
1 1 0 1 0 0 1 1 1 0 0 1 1 1
1 1 0 0 1 1 1 1 0 1 0 0 0 1
1 1 0 0 1 0 1 1 0 1 0 0 0 1
1 1 0 0 0 1 1 1 1 1 1 1 1 1
1 1 0 0 0 0 1 1 1 1 1 1 1 1
1 0 1 1 1 1 0 1 1 1 0 0 0 1
1 0 1 1 1 0 0 1 1 0 0 0 0 1
1 0 1 1 0 1 0 1 1 1 0 0 0 1
1 0 1 1 0 0 0 1 1 0 0 0 0 1
1 0 1 0 1 1 0 0 0 1 0 0 0 1
1 0 1 0 1 0 0 0 0 1 0 0 0 1
1 0 1 0 0 1 0 0 1 1 0 0 0 1
1 0 1 0 0 0 0 0 1 1 0 0 0 1
1 0 0 1 1 1 0 1 1 1 0 0 0 1
1 0 0 1 1 0 0 1 1 0 0 0 0 1
1 0 0 1 0 1 0 1 1 1 0 1 1 1
1 0 0 1 0 0 0 1 1 0 0 1 1 1
1 0 0 0 1 1 0 1 0 1 0 0 0 1
1 0 0 0 1 0 0 1 0 1 0 0 0 1
1 0 0 0 0 1 0 1 1 1 0 1 1 1
1 0 0 0 0 0 0 1 1 1 0 1 1 1
0 1 1 1 1 1 1 1 1 1 1 0 1 1
0 1 1 1 1 0 1 1 1 0 0 0 1 1
0 1 1 1 0 1 1 1 1 1 1 0 1 1
0 1 1 1 0 0 1 1 1 0 0 0 1 1
0 1 1 0 1 1 1 0 0 1 0 0 1 1
0 1 1 0 1 0 1 0 0 1 0 0 1 1
0 1 1 0 0 1 1 0 1 1 0 0 1 1
0 1 1 0 0 0 1 0 1 1 0 0 1 1
0 1 0 1 1 1 1 1 1 1 1 0 1 1
0 1 0 1 1 0 1 1 1 0 0 0 1 1
0 1 0 1 0 1 1 1 1 1 1 1 1 1
0 1 0 1 0 0 1 1 1 0 0 1 1 1
0 1 0 0 1 1 1 1 0 1 0 0 1 1
0 1 0 0 1 0 1 1 0 1 0 0 1 1
0 1 0 0 0 1 1 1 1 1 1 1 1 1
0 1 0 0 0 0 1 1 1 1 1 1 1 1
0 0 1 1 1 1 1 1 1 1 1 0 1 1
0 0 1 1 1 0 1 1 1 0 0 0 1 1
0 0 1 1 0 1 1 1 1 1 1 0 1 1
0 0 1 1 0 0 1 1 1 0 0 0 1 1
0 0 1 0 1 1 1 0 0 1 0 0 1 1
0 0 1 0 1 0 1 0 0 1 0 0 1 1
0 0 1 0 0 1 1 0 1 1 0 0 1 1
0 0 1 0 0 0 1 0 1 1 0 0 1 1
0 0 0 1 1 1 1 1 1 1 1 0 1 1
0 0 0 1 1 0 1 1 1 0 0 0 1 1
0 0 0 1 0 1 1 1 1 1 1 1 1 1
0 0 0 1 0 0 1 1 1 0 0 1 1 1
0 0 0 0 1 1 1 1 0 1 0 0 1 1
0 0 0 0 1 0 1 1 0 1 0 0 1 1
0 0 0 0 0 1 1 1 1 1 1 1 1 1
0 0 0 0 0 0 1 1 1 1 1 1 1 1

4. Si voy a misa o al cine entonces llueve de día. No llueve de día. Si tiene dinero
entonces va a misa o a cine. Si no tiene dinero entonces no relampaguea. Por lo
tanto, no relampaguea.

Definición de proposiciones:

p :Voy a misa o al cineq : Llueve de díar :Tiene dineros : Relampaguea

Simbología del enunciado.

[ ( p →q ) ∧ ( ∼q ) ∧ ( r → p ) ∧ ( r → s )]→ s

Demostración por tablas de verdad

p q r s p →q ∼ q r→p r→ s s p )∧( r →
( p →q ) ∧ ( ∼ q ) ∧ ( r → s)
1 1 1 1 1 0 1 1 0 0 1
1 1 1 0 1 0 1 1 0 1 1
1 1 0 1 1 0 1 0 0 0 1
1 1 0 0 1 0 1 1 0 1 1
1 0 1 1 0 1 1 1 0 0 1
1 0 1 0 0 1 1 1 0 1 1
1 0 0 1 0 1 1 0 0 0 1
1 0 0 0 0 1 1 1 0 1 1
0 1 1 1 1 0 0 1 0 0 1
0 1 1 0 1 0 0 1 0 1 1
0 1 0 1 1 0 1 0 0 0 1
0 1 0 0 1 0 1 1 0 1 1
0 0 1 1 1 1 0 1 0 0 1
0 0 1 0 1 1 0 1 0 1 1
0 0 0 1 1 1 1 0 0 0 1
0 0 0 0 1 1 1 1 1 1 1

5. Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio partir el
coche de Andrés. Si Andrés dice la verdad, entonces Juan no vio partir el coche de
Andrés. O Andrés dice la verdad o estaba en el edificio en el momento del crimen.
El reloj está adelantado. Por lo tanto, Andrés estaba en el edificio en el momento
del crimen.

Definición de proposiciones:

p : El reloj está adelantadoq : Juan llegó antes de las diezr :Juan vio partir el coche de Andrés
s : Andres dice la verdadt : Andres estaba en el edificio en el momentodel crimen

Simbología del enunciado.

[ ( p → ( q ∧r ) ) ∧ ( s → r ) ∧ ( s ∨t ) ∧ p ] →t

Demostración por tablas de verdad

p q r s t q∧r p →(q ∧ r ) s → r s ∨t ( p → ( q ∧r ) ) ∧ ( s → r ) ∧ ( s ∨t ) ∧ p
1 1 1 1 1 1 1 0 1 0 1
1 1 1 1 0 1 1 0 1 0 1
1 1 1 0 1 1 1 1 1 1 1
1 1 1 0 0 1 1 1 0 0 1
1 1 0 1 1 0 0 1 1 0 1
1 1 0 1 0 0 0 1 1 0 1
1 1 0 0 1 0 0 1 1 0 1
1 1 0 0 0 0 0 1 0 0 1
1 0 1 1 1 0 0 0 1 0 1
1 0 1 1 0 0 0 0 1 0 1
1 0 1 0 1 0 0 1 1 0 1
1 0 1 0 0 0 0 1 0 0 1
1 0 0 1 1 0 0 1 1 0 1
1 0 0 1 0 0 0 1 1 0 1
1 0 0 0 1 0 0 1 1 0 1
1 0 0 0 0 0 0 1 0 0 1
0 1 1 1 1 1 1 0 1 0 1
0 1 1 1 0 1 1 0 1 0 1
0 1 1 0 1 1 1 1 1 0 1
0 1 1 0 0 1 1 1 0 0 1
0 1 0 1 1 0 1 1 1 0 1
0 1 0 1 0 0 1 1 1 0 1
0 1 0 0 1 0 1 1 1 0 1
0 1 0 0 0 0 1 1 0 0 1
0 0 1 1 1 0 1 0 1 0 1
0 0 1 1 0 0 1 0 1 0 1
0 0 1 0 1 0 1 1 1 0 1
0 0 1 0 0 0 1 1 0 0 1
0 0 0 1 1 0 1 1 1 0 1
0 0 0 1 0 0 1 1 1 0 1
0 0 0 0 1 0 1 1 1 0 1
0 0 0 0 0 0 1 1 0 0 1

6. Construir la función, el circuito inicial, la simplificación de la función y el nuevo

circuito, desde las siguientes funciones booleanas. Cada F es un problema en total
son 5

F1 F2 F3 F4
1 0 0 1
1 1 1 1
0 1 0 0
0 0 1 0
1 0 1 1
0 1 1 0
1 1 0 1
0 0 1 1

F5
 1
1
0
1
0
1
1
0
1
1
0
0
1
0
1
0

Construcción de una función para F1:

A B C F1
1 1 1 1
1 1 0 1
1 0 1 0
1 0 0 0
0 1 1 1
0 1 0 0
0 0 1 1
0 0 0 0

F= ABC + AB Ć+ Á BC + Á B́ C

Circuito inicial

A
B
C
A
B
C
F
A
B
C
A
B
C
Simplificación de la función

F= ABC + AB Ć+ Á BC + Á B́ C¿ AB ( C + Ć ) + Á C ( B+ B́ )¿ AB+ Á C

Nuevo circuito

F
A

Construcción de una función para F2:

A B C F2
1 1 1 0
1 1 0 1
1 0 1 1
1 0 0 0
0 1 1 0
0 1 0 1
0 0 1 1
0 0 0 0

F= AB Ć + A B́ C+ Á B Ć+ Á B́ C

Circuito inicial
 A
B
C
A
B
C
F
A
B
C
A
B
C

Simplificación de la función

F= AB Ć + A B́ C+ Á B Ć+ Á B́ C¿ B Ć ( A + Á ) + B́ C ( A+ Á )¿ B Ć + B́C

Nuevo circuito

F
A

Construcción de una función para F3:

 A B C F3
1 1 1 0
1 1 0 1
1 0 1 0
1 0 0 1
0 1 1 1
0 1 0 1
0 0 1 0
0 0 0 1

F= AB Ć + A B́ Ć+ Á BC + Á B Ć+ Á B́ Ć

Circuito inicial
A
B
C
A
B
C
A
B F
C
A
B
C
A
B
C

Simplificación de la función

F= AB Ć + A B́ Ć+ Á BC + Á B Ć+ Á B́ Ć ¿ B Ć ( A + Á ) + B́ Ć ( A+ Á )+ Á BC ¿ B Ć + B́ Ć + Á BC
¿ Ć ( B+ B́ ) + Á BC¿ Ć+ Á BC

Nuevo circuito
C

F
A

A
B
C
Construcción de una función para F4:

A B C F4
1 1 1 1
1 1 0 1
1 0 1 0
1 0 0 0
0 1 1 1
0 1 0 0
0 0 1 1
0 0 0 1

F= ABC + AB Ć+ Á BC + Á B́ C+ Á B́ Ć

Circuito inicial
A
B
C
A
B
C
A
B F
C
A
B
C
A
B
C

Simplificación de la función

F= ABC + AB Ć+ Á BC + Á B́ C+ Á B́ Ć¿ AB ( C + Ć ) + Á C ( B+ B́ ) + Á B́ Ć¿ AB+ Á C + Á B́ Ć

Nuevo circuito
A

A
F
CA

A
B
C

Construcción de una función para F5

A B C D F5
1 1 1 1 1
1 1 1 0 1
1 1 0 1 0
1 1 0 0 1
1 0 1 1 0
1 0 1 0 1
1 0 0 1 1
1 0 0 0 0
0 1 1 1 1
0 1 1 0 1
0 1 0 1 0
0 1 0 0 0
0 0 1 1 1
0 0 1 0 0
0 0 0 1 1
0 0 0 0 0
F= A BCD + ABC D́+ AB Ć D́+ A B́ C D́+ A B́ Ć D+ Á BCD + Á BC D́+ Á B́ CD+ Á B́ Ć D
Circuito inicial
A
B
C
D
A
B
C
D
A
B
C
D
A
B
C
D
A
B
C F
D
A
B
C
D
A
B
C
D
A
B
C
D
A
B
C
D
Simplificación de la función

F= ABCD+ ABC D́+ AB Ć D́+ A B́ C D́+ A B́ Ć D+ Á BCD + Á BC D́+ Á B́ CD+ Á B́ Ć D

¿ BCD ( A + Á ) + BC D́ ( A + Á ) + B́ Ć D ( A + Á ) + AB Ć D́+ Á B́ CD+ A B́ C D́ ¿ BCD+ BC D́+ B́ Ć D+ AB Ć D́+ Á B́ CD + A B́ C D́
¿ BC ( D+ D́ ) + B́ Ć D+ AB Ć D́+ Á B́ CD + A B́ C D́¿ BC+ B́ Ć D+ AB Ć D́+ Á B́CD + A B́C D́

Nuevo circuito
B

C
B
C
D
A
B
F
C
D
A
B
C
D
A
B
C
D