3.Realizar los ejercicios de la sección 5.5.

1. Diseñar un programa en C++ que permita evaluar la expresión p || q && r evalúe todas las
interpretaciones de la expresión anterior y compárelas con las interpretaciones de la fórmula
lógica p ∨ q ∧ r ¿Son lógicamente equivalentes?

P Q R ((P ∨ q) ^r) p||q &&r (p||q)&& r

V V
V V
V F
V F
F V
F V
F F
F F
V V
F F
V V
F F
V V
F F
V F
F F
(p||q)&& r
V V
V F
V V
V F
V V
F V
F V
F V

Rta// no son lógicamente equivalentes ya que c++ maneja una jerarquía de operadores
diferente.
2. Escribir en C++ una asignación a una variable real F que almacene el valor del módulo de
la fuerza con que se atraen o se repelen dos cargas Q1 y Q2 que se encuentran separadas
una distancia r. El módulo de la fuerza se puede calcular utilizando la ley de Coulomb que
está dada por la expresión.

3. Suponga que double a = 0.5, int b = -2 y int c = 3, entonces ¿Cuál es el valor que se
obtiene al evaluar de la siguiente expresión? -b + b * b % 3 - 4 * a * c / 2 * a
-(-2)+(((-2)*(-2))%3)-(4*0.5*3/2*0.5)
2+ (4%3)-1.5
2+1-1.5
3-1.5
1.5
Rta//si en donde yo vaya a guardar el resultado le asigno una variable (double) el
resultado va a ser 1.5, pero si asigno una variable de tipo entero (int) me va a dar 1.

4. Suponga que int a = 3, int b = 10, double c = 0.5 y int d = 4, entonces ¿Cuál es el valor
que se obtiene al evaluar de la siguiente expresión?
(int)(b * c) % a * -b / c + d - a % d
(5%3)*(-(10)/0.5))+4-(3%4)
 2*(-20)+4-3
-40+4-3
-39

5. Construya la traza para la siguiente secuencia de instrucciones:

1. int s = 0;
2. int i = 0;
3. s += i;
4. i++;
5. s += i;
6. i++;
7. s += i;
8. i++;
9. s += i;
10. i++;
11. s += i;
12. i++;
13 .s += i;
14. i++;
15. s += i;

t s i
1 0 -
2 0 0
3 0 0
4 0 0
5 1 1
6 1 1
7 3 2
8 3 2
9 6 3
10 6 3
11 10 4
12 10 4
13 15 5
14 15 5
15 21 6

¿Si se repiten las dos últimas instrucciones de forma continua, cual es la expresión
(dependiente de i) que se desea calcular?

Rta//la sucesión de la sumatoria de los números naturales “i” hasta el infinito.

6. Construya la traza para la siguiente secuencia de instrucciones:

1. int p = 1;
2. int b = 2;
3. int t;
4. t = p;
5. p *= b;
6. t += p;
7. p *= b;
8. t += p;
9. p *= b;
10. t += p;
11. p *= b;
12. t += p;
13. p *= b;
14. t += p;

p b t
1 1 0 0
2 1 2 0
3 1 2 0
4 1 2 1
5 2 2 1
6 2 2 3
7 4 2 3
8 4 2 7
9 8 2 7
10 8 2 15
11 16 2 15
12 16 2 31
13 32 2 31
14 32 2 63
¿Si se repiten las dos últimas instrucciones de forma continua, cuáles son las expresiones que se
desean calcular con las variable p y t?
Rta//
p=b^n
t=(b^n)-1
4. Realizar los ejercicios 1, 2, 4, [26, 30] de la sección 6.6.

1. Sean A = {0, 1, 2} y B = { } dos conjuntos. ¿Cuántas relaciones de A en B Existen?

Rta// existen 2^(n*m) relaciones posibles, es decir, que en este caso hay 4096 unidades.

2. Sean A = {0, 1} y B = { } dos conjuntos. Encuentre todas las relaciones de A en

B.

(0,1) (1,0) (0, ) (1, ) (0, ) (1, ) ( , )( , ) (0,0) (1,1) ( , )( , )( ,0) ( ,1) ( ,0)
( , 1)

4. Dados A y B conjuntos finitos tales que |A| = n y |B| = m. ¿Cuántas relaciones de A en B existen?

Rta// existen 2^(n*m) relaciones posibles.

26. De las siguientes funciones definidas de Z a Z

i. f1(n) = 1 Dom: (-∞,∞) Img: 1

ii. f2(n) = n Dom: (-∞,∞) Img: (-∞,∞)
iii. f3(n) = n^2 Dom: (-∞,∞) Img: [0, ∞)
iv. f4(n) = n^3 Dom: (-∞,∞) Img (-∞,∞)
v. f5(n) = 2^n Dom: (-∞,∞) Img(0, ∞)
vi. f6(n) = log2 n Dom: (0, ∞) Img (-∞,∞)

27. De las funciones definidas en el numeral 26. ¿Cuáles son inyectivas?, ¿cuáles son
sobreyectivas?, ¿cuáles son totales?, ¿cuáles son biyecciones?

i. Es total.
ii. Es biyectiva y total.
iii. Es total
iv. Es biyectiva y total
v. Es inyectiva y total
vi. Es biyectiva

28. De las siguientes relaciones definidas de Z en R

i. f1(x) = x Es función
ii. f2(x) = x2 Es función
iii. f3(x) =√x Es función
iv. f4(x) = |x| Es función
v. f5(x) = ±x no es función
vi. f6(x) = 1/x Es función
vii. f7(x) = 1/x2 Es función
viii. f8(x) = log2 x Es función

29. De las relaciones definidas en el numeral 28. ¿Cuál es el dominio?, ¿Cuál es el rango?

i. Dom: (-∞,∞) Img: (-∞,∞)

ii. Dom: (-∞,∞) Img: [0,∞)
iii. Dom: (0, ∞ ) Img: (0,∞)
iv. Dom: (-∞,∞) Img: [0,∞)
v.
vi. Dom: (-∞,0) U (0, ∞) Img: (-∞,0) U (0, ∞)
vii. Dom: (-∞,0) U (0, ∞) Img: (0,∞)
viii. Dom: (0,∞) Img: (∞,-∞)

30. De las relaciones definidas en el numeral 28 que son funciones. ¿cuáles son inyectivas?,
¿cuáles son sobreyectivas?, ¿cuáles son totales?, ¿cuáles son biyecciones?

i. Es biyectiva y total
ii. Es total
iii. Es inyectiva
iv. Es total
v. _no es función.
vi. Es inyectiva
vii. No es inyectiva, no es sobreyectiva, no es total
viii. Es biyectiva
 1. Realizar los ejercicios [1,4], [6, 8], [13i, 13xvi], 14i, 14iii, 14v, 14vix,
14xv de la sección 3.3.

1. De los siguientes enunciados ¿cuáles son proposiciones y cuáles no?,

justifique su respuesta.

• Tom Hanks ha ganado dos premios Oscar como mejor actor por dos años
consecutivos.
(si es una proposición ya que puedo asignarle un valor de verdad)
• Dame una cerveza.
(no es una proposición porque hace referencia a una acción a realizar)
• Colombia ganó ocho medallas olímpicas en Londres 2012.
(si es una proposición ya que puedo asignarle un valor de verdad)
• Todo número primo es impar.
(si es una proposición ya que puedo asignarle un valor de verdad)
• 1 + 1 = 2.
(si es una proposición ya que puedo asignarle un valor de verdad)
• La diferencia de dos primos.
(no es una proposición ya que la respuesta es cuantitativa)
• Todo número par mayor que 2 puede escribirse como suma de dos números
primos. (Christian Goldbach, 1742).
(si es una proposición ya que puedo asignarle un valor de verdad)
• ¿Qué hora es?
(no es una proposición ya que su respuesta depende de un factor externo)
• x^n + y^n = z^n.
(si es una proposición ya que puedo asignarle un valor de verdad)
• x + y = z + y si x = z.
(si es una proposición ya que puedo asignarle un valor de verdad)

2. De las siguientes secuencias de símbolos ¿cuáles son fórmulas bien formadas y cuáles
no?

• ((¬(p) → r) ∧ (p ¬ q)) -no es una formula bien formada

• ((¬(p) ↔ ¬(q)) ↔ (q → r)) -sí es una formula bien formada
• (p ∧ q) ∨ (q → p)) -no es una formula bien formada
• ((p ↔ p) ∧ (p → p) ∨ (p ∧ ¬(p))) -si es una formula bien formada
3. Escriba la fórmula bien formada que representa cada una de las siguientes secuencias
de símbolos:

•p∧q↔r∨s→q ((p ∧ q) ↔ ( r ∨ s)) → q

•p→q→q→p (((p → q) → q) → p)
• ¬p ↔ q ∨ ¬r ∨ (q → r) ↔ ¬¬q (((¬p ↔ ((q ∨ ¬r) ∨ q)) → r) ↔ ¬¬q)
• p ∨ (q ∧ r) ↔ p ∨ q ∧ (p ∨ q) ((p ∨ (q ∧ r)) ↔(( p ∨ q )∧ (p ∨ q)))

4. Hallar el significado de cada fórmula que se especifica a continuación con respecto a

la interpretación definida para ésta.

• f = (((p ∧ q) ↔( r ∨ s ))→ q), si (p) = V , (q) = V , (r) = V , (s) = F.

f = (((p ∧ q) ↔ (r ∨ s ))→ q) = V
• f = (((p → q) → q) → p), si (p) = V , (q) = F.
f = (((p → q) → q) → p) =V
• f = ((¬p ↔(( q ∨ ¬r) ∨ (q → r))) ↔ ¬¬q) , si (p) = F, (q) = V , (r) = V .
f = ((¬p ↔( (q ∨ ¬r) ∨ (q → r))) ↔ ¬¬q)= V
• f = ((p ∨ (q ∧ r)) ↔ ((p ∨ q) ∧ (p ∨ q), si (p) = V , (q) = F, (r) = V .
f = ((p ∨ (q ∧ r)) ↔ ((p ∨ q) ∧ (p ∨ q)=
6. Verifique las implicaciones lógicas de la tabla 3.3.

α β {α,β} (α∧β) {α,β}→( α∧β)

V V V V V
V F F F V
F V F F V
F F F F V

α β α∧β { α∧β}→α
V V V V
V F F V
F V F V
F F F V
 α β {α∧β} {α∧β}→β
V V V V
V F F V
F V F V
F F F V

α β (α∨β) (α→(α∨β))
V V V V
V F V V
F V V V
F F F V

α β α∨β (β→( α∨β))

V V V V
V F V V
F V V V
F F F V

α Β (α∧α) ((α∧α) →β) (((α∧α) →β)→β)

V V V V V
V F V V V
F V V V V
F F F V V

α β (α→β) (¬β∧(α →β)) (¬β∧(α →β))→¬α)

V V V F V
V F F F V
F V V F V
F F V V V
α β ϒ α→β β→ϒ ((α→ β)∧(β→ϒ)) α→ϒ (((α→ (β∧β))→ϒ)→ (α→ϒ))
V V V V V V V V
V F V F V F V V
F V V V V V V V
F F F F V F V V
V V F V F F F V
F F V F V F V V
V F F F V F F V
F V F V F F V V

α β ϒ α↔β β↔ϒ ((α↔ β)∧(β↔ϒ)) α→ϒ (((α↔ (β∧β)) ↔ϒ)→ (α↔ϒ))

V V V V V V V V
V F V F F F V V
F V V F V F V V
F F F V V V V V
V V F V F F F V
F F V V F F V V
V F F F V F F V
F V F F F V V V

α β α∨β (¬α∧(α∨β)) ((¬α∧(α∨β)) →β)

V V V F V
V F F F V
F V V V V
F F F F V
V V V F V
F F F F V
V F F F V
F V V V v
 α β ¬α∨¬β (α∧ (¬α∨¬β)) ((α∧ (¬α∨¬β)) →¬ β)
V V F F V
V F V V V
F V V F V
F F V F V
V V F F V
F F V F V
V F V F V
F V V F V

α β (α∨β) (¬β∧(α∨β)) (¬β∧(α∨β)) →α

V V V F V
V F V V V
F V V F V
F F F F V

α β (¬α∨¬β) (β ∧ (¬α∨¬β)) (β→ (¬α∨¬β)) →¬α

V V F F V
V F V F V
F V V F V
F F V V V

α ¬α β α→β ¬α→ β (α→β) ∧ (¬α→ β) ((α→ β) ∧ (¬α→ β) → β)

V F V V V V V
V F F F V F V
F V V V V V V
F V F V F F V

α β α↔β α→β (α↔β) → (α→β)

V V V V V
V F F F V
F V F V V
F F V V V
 α β α↔β β → α (α↔β) → (β →
α)
V V V V V
V F F V V
F V F F V
F F V V V

α β β→α α→β α↔β (β→α)∧( α→β) (β→α)∧( α→β) → (α↔β)

V V V V V V V
V F V F F F V
F V F V F F V
F F V V V F V

α β ¬α (α∧¬α) (α∧¬α) →β
V V F F V
V F F F V
F V V F V

F F V F V

α β τ 𝚼 α→β 𝚼→τ α∨ 𝚼 β∨τ (α→β)∧(𝚼→τ) ((α→β)∧(ϒ→τ))∧ α∨ϒ (((α→β)∧(ϒ→τ))∧ α∨ ϒ)→β∨τ

V V V V V V V V V V V
V V V F V V V V V V V
V V F V V F V V F F V
V V F F V V V V V V V
V F V V F V V V F F V
V F V F F V V F F F V
V F F V F F V V F F V
V F F F F V V F F F V
F V V V V V V V V V V
F V V F V V F V V F V
F V F V V F V V F F V
F V F F V V F V V F V
F F V V V V V V V V V
F F V F V V F F V F V
F F F V V F V V F F V
F F F F V V F F V F V
α β τ 𝚼 ¬α ¬β ¬τ ¬𝚼 α→β 𝚼→τ ¬β∨¬τ ¬α∨¬𝚼 (α→β)∧(𝚼→τ) ((α→β)∧(𝚼→τ)) (((α→β)∧(𝚼→τ))
∧¬β∨¬τ ∧¬β∨¬τ) →¬α∨¬𝚼
V V V V F F F F V V F F V F V
V V V F F F F V V V F V V F V
V V F V F F V F V F V F F F V
V V F F F F V V V V V V V V V
V F V V F V F F F V V F F F V
V F V F F V F V F V V V F F V
V F F V F V V F F F V F F F V
V F F F F V V V F V V V F F V
F V V V V F F F V V F V V F V
F V V F V F F V V V F V V F V
F V F V V F V F V F V V F F V
F V F F V F V V V V V V V V V
F F V V V V F F V V V V V V V
F F V F V V F V V V V V V V V
F F F V V V V F V F V V F F V
F F F F V V V V V V V V V V V

7. Verifique que las fórmulas f1= p ∧ q ∨ r y f2 = p ∧ (q ∨ r) no son lógicamente

equivalentes.

P Q R p∧q q∨r ((p∧q) ∨ r) p ∧ (q ∨ r)

V V V V V V V
V V F V V V V
V F V F V V V
V F F F V F F
F V V F V V F
F V F F V F F
F F V F F V F
F F F F F F F
P Q ¬P ¬Q P→Q ¬(P∧¬Q)
V V F F V V
V F F V F F
F V V F V V
F F V V V V

P Q ¬P ¬Q ¬(P∧¬Q) ¬(Q∧¬P) P↔Q ¬(P∧¬Q) ∧¬(P∧¬Q)

V V F F V V V V
V F F V F V F F
F V V F V F F F
F F V V V V V V
A= {3, 6, 9}

V, si x es un digito y x es par;

F, en otro caso

A1= ø A2={ } A3={ } A4={ } A5={ } A6={ , , , } A7={ , , }

A8={ , , } A9={ , , } A10={ , , } A11={ , } A12={ , } A13={ , }
A14={ , } A15={ , } A15= { , }

i. A∪B {2, 3, 4, 6, 8, 9, 0 }
ii. A∩C {ø}
iii. ∪ {2, 4, 8 , , , }
iV {2, 4,8, }
i. ℘(A)= ø
iii.℘(C)=

i. A × B = {(2, ), (2, ), (2, ), (2, ), (4, ),(4, ), (4, ), (4, ), (6, ), (6, ), (6, ), (6, ),
(8, ), (8, ), (8, ), (8, ), (0, ), (0, ), (0, ), (0, )}

iii. B × A=A × C × B= {(2, ,a), {(2, ,e), {(2, ,i), {(2, ,o), {(2, ,u), (2, ,a), (2, ,e),(2, ,i),
(2, ,o), (2, ,u), (2, ,a), (2, ,e), (2, ,i), (2, ,o), (2, ,u), (2, ,a), (2, ,e), (2, ,i), (2, ,o),
(2, ,u), (4, ,a), (4, ,e), (4, ,i), (4, ,o), (4, ,u), (4, ,a), (4, ,e), (4, ,i), (4, ,o), (4, ,u), (4, ,a),
(4, ,e), (4, ,i), (4, ,o), (4, ,u), (4, ,a), (4, ,e), (4, ,i), (4, ,o), (4, ,u), (6, ,a), (6, ,e), (6, ,i),
(6, ,o), (6, ,u), (6, ,a), (6, ,e), (6, ,i), (6, ,o), (6, ,u), (6, ,a), (6, ,e), (6, ,i), (6, ,o), (6, ,u), (6, ,a),
(6, ,e), (6, ,i), (6, ,o), (6, ,u), (8, ,a), (8, ,e), (8, ,i), (8, ,o), (8, ,u), (8, ,a), (8, ,e), (8, ,i),
(8, ,o), (8, ,u), (8, ,a), (8, ,e), (8, ,i), (8, ,o), (8, ,u), (8, ,a ), (8, ,e), (8, ,i), (8, ,o),
(8, ,u), (0, ,a), (0, ,e), (0, ,i), (0, ,o), (0, ,u), (0, ,a), (0, ,e), (0, ,i), (0, ,o), (0, ,u),
C
(0, ,a), (0, ,e), (0, ,i), (0, ,o), (0, ,u), (0, ,a), (0, ,e), (0, ,i), (0, ,o), (0, ,u)}.
iv. B × A={( , 2 ), ( ,2) , ( ,2 ), ( , 2 ), ( , 4 ),( ,4 ), ( , 4 ), ( ,4 ), ( ,8), ( , 8 ), ( , 8 ),
( , 8 ), ( , 8), ( ,8 ), ( , 8 ), ( , 8 ), ( ,0), ( , 0 ), ( , 0 ), ( , 0 )}
i. ℘(A)= ø
iii.℘(C)=

|A|= 0
|C|= 4

|A|= 5
|B|= 4
|A|x|b|= 20

|A|= 5
|B|= 4
|C|= 5
|A|x|B|x|C|=100
PROGRAMACION DE COMPUTADORES TALLER N°1

HERNAN DARIO MOJICA DIAZ

EDUAR CASTRILLO VELILLA

UNIVERSIDAD NACIONAL DE COLOMBIA

FACULTAD DE INGENIERIA
PROGRAMACION DE COMPUTADORES
BOGOTA
2018