UNIVERSIDAD DE GUAYAQUIL

FACULTAD DE CIENCIAS ECONÓMICAS

TEMA:
ACTIVIDAD ASINCRÓNICA (Trabajo de
clase)

Estudiante:
Nayeli Leilany Rodríguez Domínguez

MATERIA:
Computación
Ma 2 – 42

DOCENTE:
Ing. Francisco Arias Larrea, MBA

Guayaquil - Ecuador

<
Calcular las tablas de verdad para las siguientes proposiciones.

1) [(P→Q) ∧ Q]→Q

p q p→q (p→q) ∧ q [(p→q) ∧ q]→q

V V V V V

V F F F V

F V V V V

F F V F V

2) (P→Q) ∨ (P↔Q)

p q p→q p↔q (p→q) ∨ (p↔q)

V V V V V

V F F F F

F V V F V

F F V V V

3) (P→Q)∧(P∧⌐Q)

p q p→q p∧⌐q (p→q)∧(p∧⌐q)

F F V F F

F V V F F

V F F V F

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

p q p∧q (p∧q) →p
F F F V
F V F V
V F F V
V V V V

5) P∨(Q→R)

p q r q→r p∨(q→r)
F F F V V
F F V V V
F V F F F
F V V V V
V F F V V

6) (P→Q) ∧ (Q→P)

p q p→q q→p (p→q) ∧ (q→p)

F F V F V
F V V F F
V F F V F
V V V V V
 7) [(P→Q) ∧ (Q→R)] → (P→R)

p q r p→q q→r [(P→Q) ∧ (Q→R)] p→r [(P→Q) ∧ (Q→R)] → (P→R)

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

8) (P→Q) ∧ (⌐P→⌐Q)

p q p→q ⌐p ⌐q (⌐p→⌐q) (P→Q) ∧ (⌐P→⌐Q)

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

9) P→(Q→R)

p q r q→r p→(q→r)
F F F V V
F V V V V
F F F F V
F V V V V
V F F V V
V F V V V
10) ⌐(P∨Q)↔ (⌐P∧⌐Q)

p q (P∨Q) ⌐(P∨Q) ⌐p ⌐q (⌐pv⌐q) ⌐(P∨Q)↔ (⌐P∧⌐Q)

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

11) ⌐(P∧Q)↔ (⌐P∨⌐Q)

p q (P^Q) ⌐(P^Q) ⌐p ⌐q (⌐pv⌐q) ⌐(P∧Q)↔ (⌐P∨⌐Q)

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