UNIVERSIDAD TECNOLOGICA DE HONDURAS

Asignatura:
Análisis y Diseño de algoritmos
Catedrático:
Jair Josué Hernández Hernández
Grupo:
Ronald Daniel Antúnez Lemus: 202120020065
Trabajo:
Guía de tarea
 Introducción

En la siguiente guía se desarrollan ejercicios de las tablas de verdad,

aplicando el uso de la lógica para llegar a la respuesta correcta de cada
enunciado, para desarrollar estas tablas es necesario saber una serie de
reglas y pasos a seguir para poder tener el resultado correcto.
 Objetivos Generales

 Lograr comprender cada regla de las tablas de verdad.

 Seguir los pasos para poder completar los ejercicios.
 Desarrollar los ejercicios de manera correcta.
 Ejercicios a desarrollar

1. (P V Q) ↔ (P ^ Q)

2. ~ (P V Q) ↔ ~ (~ P ^ ~Q)

3. [ (P V Q) → (~R ^ Q)] ↔ (Q V R)]

4. [ (P → Q) V (~ Q ^ R)] ↔ (R → Q)]

5. (P → Q) ↔ [(~P) V Q]

6. [ ~ (P V Q)] ↔ [(~P) ^ (~Q)]

7. [~ (P↔ Q)] ↔ [ P ↔ (~P)]

8. [ ~ (~ P)] ↔ P

9. [(P → Q) V (~ Q ^ R)] ↔ (R ^ Q)

10. (~~P→~~Q) →R

11. [(P→Q) ^ (P→R)] →(P→R)

12. (P↔Q) ↔~[(P→Q) ^ (Q→P)]

 1. (P V Q) ↔ (P ^ Q)

P Q (P V Q) (P ^ Q) (P V Q) ↔ (P ^ Q)
V V V V V
V F V F F
F V V F F
F F F F V

 La tabla resulto ser una contingencia.

2. ~ (P V Q) ↔ ~ (~ P ^ ~Q)

P Q ~P ~Q (P V Q) ~ (P V Q) (~ P ^ ~ Q) ~ (~ P ^ ~ Q) ~ (P V Q) ↔ ~ (~ P ^ ~Q)
V V F F V F F V F
V F F V V F F V F
F V V F V F F V F
F F V V F V V F F

 La tabla resulto ser una contradicción.

3. [ (P V Q) → (~R ^ Q)] ↔ (Q V R)]

P Q R (P V Q) ~R (~R ^ Q) (P V Q) → (~R ^ Q) (Q V R) [ (P V Q) → (~R ^ Q)] ↔ (Q V R)]

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

 La tabla da resultado de una contingencia.

 4. [ (P → Q) V (~ Q ^ R)] ↔ (R → Q)]

P Q R (P → Q) ~Q (~ Q ^ R) (P → Q) V (~ Q ^ R) (R → Q) (P → Q) V (~ Q ^ R)] ↔ (R → Q)
V V V V F F V V V
V V F V F F V V V
V F V F V V V F F
V F F F V F F V F
F V V V F F V V V
F V F V F F V V V
F F V V V V V F F
F F F V V F V V V

 La tabla dio un resultado de una contingencia.

5. (P → Q) ↔ [(~P) V Q]

P Q ~P (~P) V Q (P → Q) (P → Q) ↔ [(~P) V Q]
V V F V V V
V F F F F V
F V V V V V
F F V V V V

 La tabla dio resultado de una tautología.

6. [ ~ (P V Q)] ↔ [(~P) ^ (~Q)]

P Q (P V Q) ~ (P V Q) (~P) ~Q (~P) ^ (~Q) [~ (P V Q)] ↔ [(~P) ^ (~Q)]

V V V F F F F V
V F V F F V F V
F V V F V F F V
F F F V V V V v

 La tabla resulto ser una tautología.

 7. [~ (P↔ Q)] ↔ [ P ↔ (~P)]

P Q P↔Q ~P ↔ Q ~Q [~ (P V Q)] [~ (P V Q)] ↔ [ P ↔ (~P)]

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

 La tabla dio como resultado ser una tautología.

8. [ ~ (~ P)] ↔ P

P ~P [ ~ (~ P)] [ ~ (~ P)] ↔ P
V F V V
F V F V

 La resulta ser una tautología.

9. [(P → Q) V (~ Q ^ R)] ↔ (R ^ Q)

P Q R (P → Q) ~Q (~ Q ^ R) [(P → Q) V (~ Q ^ R)] (R ^ Q) [(P → Q) V (~ Q ^ R)] ↔ (R ^ Q)]

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

 La tabla dio como resultado ser una contingencia.

 10. (~~P→~~Q) →R

P Q R ~P ~~P ~Q ~~Q (~~P→~~Q) (~~P→~~Q) →R

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

 La tabla da resultado de una contingencia.

11. [(P→Q) ^ (P→R)] →(P→R)

P Q R (P→Q (P→R) [(P→Q) ^ (P→R)] [(P→Q) ^ (P→R)] →(P→R)

)
V V V V V V V
V V F V F F V
V F V F V F V
V F F F F F V
F V V V V V V
F V F V V V V
F F V V V V V
F F F V V V V

 La tabla da un resultado de una tautología.

12. (P↔Q) ↔~[(P→Q) ^ (Q→P)]

P Q (P→Q) (Q→P) [(P→Q) ^ (Q→P)] ~[(P→Q) ^ (Q→P)] (P↔Q) (P↔Q) ↔~[(P→Q) ^ (Q→P)]

V V V V V F V F
V F F V F V F F
F V V F F V F F
F F V V V V V F
  La tabla resulta ser una contradicción.

Conclusiones

En conclusión, toda lógica está contenida en las tablas de verdad, en ellas

se manifiestan todo lo que implican y las relaciones sintácticas entre las
diversas proposiciones y la gran cantidad de operaciones que hay que
hacer para una proposición con mas de una o dos variables, esta dificultad
ha sido superada por la rapidez de los ordenadores en la actualidad.