Universidad Tecnológica De Honduras

Asignatura:
Introducción a la ingeniería computacional
(Análisis y diseño de algoritmos)

Catedrático:
Ing./Abog. Jair Josué Hernández

Alumno:
Miguel Ángel Diaz Mejía

Tema:
Tablas de Verdad

Campus:
Puerto Cortes

Año:
2020
 (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

~ (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

[(p v q )→ (~r ^ q )]→(q v r )

p q r ~r (p v q ) (~r ^ q ) [(p v q )→ (~r ^ q )] (q v r ) [(p v q )→ (~r ^ q )]→(q v r )
V V V F V F F V V
V V F V V V V V V
V F V F V F F V V
V F F V V V F F V
F V V F V F F V V
F V F V V V V V V
F F V F F F V V V
F F F V F F V F F
 [ (p → q) v (~ q ^ r)] ↔ (r → q)
p q r ~q (p → q) (q ^ r) (~ q ^ r) [ (p → q) v (~ q ^ r)] (r → q) [ (p → q) v (~ q ^ r)] ↔ (r → q)
V V V F V V F V V V
V V F F v F V V V V
V F V V F F V V F F
V F F V F F V V V V
F V V F V V F V V V
F V F F V F V V V V
F F V V V F V V F F
F F F V V F V v V V

(p → q) ↔ [(~p) v q]
p q ~p (p → q) [(~p) v q] (p → q) ↔ [(~p) v q]
V V F V V V
V F F F F V
F V V F V F
F F V V V V

[ ~ (p v q)] ↔ [ (~p) v (~q)]

p q (p v q) ~ (p v q) ~p ~q [ (~p) v (~q)] [ ~ (p v q)] ↔ [ (~p) v (~q)]
V V V F F F F V
V F V F F V V F
F V V F V F V F
F F F V V V V V
 [ ~ (p ↔q)] ↔ [p ↔ (~q)]

p q (p ↔q) [ ~ (p ↔q)] ~q p ↔ (~q) [ ~ (p ↔q)] ↔ [p ↔ (~q)]

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
[~(~p)] ↔ p
p ~p [~(~p)] [~(~p)]↔p
V F V v
F v F v

[(p→q) v (~q ^ r )] ↔(r ^q)

p q r ~q [(p → q) (~q ^ r) [(p → q) v (~q ^ r )] (r ^ q) [(p → q) v (~q ^ r)] ↔ (r ^q)

V V V F V F V V V
V V F F V F V F F
V F V V F V V F F
V F F V F F F F F
F V V F V F V V V
F V F F V F V F F
F F V V V V V F F
F F F V V F V F F
 (~~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

[ (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
 (p ↔q) ↔ ~ [(p → q) ^ (q → p)]

p q p ↔q p→q q→p [(p → q) ^ (q → p)] ~ [(p → q) ^ (q → p)] (p ↔q) ↔ ~ [(p → q) ^ (q → p)]

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