1.

¬(p ∨ q) ↔ (¬p ∧ ¬q) De D’Morgan (DDM)

p q pVq ¬(p ∨ q) ¬p ¬q
V V V F F F
V F V F F V
F V V F V F
F F F V V V

2. ¬(p ∧ q) ↔ (¬p ∨ ¬q) De D’Morgan (DDM)

p q p∧ q ¬(p ∧ q) ¬p ¬q
V V V F F F
V F F V F V
F V F V V F
F F F V V V

3. (p ∨ q) ↔ (q ∨ p) Conmutatividad (CONM)
p q pVq qVp (p ∨ q) ↔ (q ∨ p)
V V V V V
V F V V V
F V V V V
F F F F V

4. (p ∧ q) ↔ (q ∧ p) Conmutatividad (CONM)
p q p∧q q∧p (p ∧ q) ↔ (q ∧ p)
V V V V V
V F F F V
F V F F V
F F F F V

5. ¬¬p ↔ p Doble negación (DN)

p ¬p ¬¬p ¬¬p ↔ p
V F V V
F V F V

6. (p → q) ↔ (¬p ∨ q) Def. condicional (DEF)

p q p→q ¬p (¬p ∨ q) (p → q) ↔ (¬p ∨ q)
V V V F V V
V F F F F V
F V V V V V
F F V V V V

7. (p ↔ q) ↔ [(p → q)∧(q → p)] Def. bicondicional (DEF)

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

8. (p ↔ q) ↔ [(p∧q)∨(¬p∧¬q)] Def. bicondicional (DEF)

p q p↔q p∧q ¬p ¬q
V V V V F F
V F F F F V
F V F F V F
F F V F V V

9. [(p → q) ∧ p] → q Modus Ponens (MP)

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

10. [(p → q) ∧ ¬q] → ¬p Modus Tollens (MT

p q p→q ¬q [(p → q) ∧ ¬q] ¬p
V V V F F F
V F F V F F
F V V F F V
F F V V V V

11. [(p → q) ∧ (q → r)] → (p → r) Transitividad (T)

p q r p→q q→r [(p → q) ∧ (q → r)]
V V V V V V
V V F V F F
V F V F V F
V F F F V F
F V V V V V
F V F V F F
F F V V V V
F F F V V V

12. (p ∨ q) ∧ ¬p → q Silogismo disy. (SD)

p q pVq ¬p (p ∨ q) ∧ ¬p (p ∨ q) ∧ ¬p → q
V V V F F V
V F V F F V
F V V V V V
F F F V F V

13. [(p → q)∧(r → s)∧(p∨r)] → (q∨s) Dilema const. (DC)

 p q r s p→q r→s
V V V V V V
V V V F V V
V V F V V V
V V F F V V
V F V V F F
V F V F F F
V F F V F V
V F F F F V
F V V V V V
F V V F V V
F V F V V V
F V F F V V
F F V V V F
F F V F V F
F F F V V V
F F F F V V

14. [(p → q) ∧ (r → s) ∧ (¬q ∨ ¬s)] → (¬p ∨ ¬r) Dilema dest. (DD)

p q r s p→q r→s
V V V V V V
V V V F V V
V V F V V V
V V F F V V
V F V V F F
V F V F F F
V F F V F V
V F F F F V
F V V V V V
F V V F V V
F V F V V V
F V F F V V
F F V V V F
F F V F V F
F F F V V V
F F F F V V

15. (p ∧ q) → p Simplificación (SIMP)

p q (p ∧ q) (p ∧ q) → p
V V V V
V F F V
F V F V
F F F V
16. p → (p ∨ q) Adición (AD)
p q (p V q) p → (p ∨ q)
V V V V
V F V V
F V V V
F F F V

17. p ↔ (p ∨ p) Tautología (TAU)

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

18. [p ∨ (q ∨ r)] ↔ [(p ∨ q) ∨ r] Asociatividad (ASOC)

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

19. [p ∧ (q ∧ r)] ↔ [(p ∧ q) ∧ r] Asociatividad (ASOC)

p q r q∧ r p ∧ (q ∧ r) (p ∧ q)
V V V V V V
V V F F F V
V F V F F F
V F F F F F
F V V V F F
F V F F F F
F F V F F F
F F F F F F

20. (p → q) ↔ (¬q → ¬p) Transposición (TRANSP)

p q (p → q) ¬q ¬p (¬q → ¬p)
V V V F F V
V F F V F F
F V V F V V
F F V V V V

21. [(p ∧ q) → r] ↔ [p → (q → r)] Exportación (EXP)

 p q r (p ∧ q) [(p ∧ q) → r] q→r
V V V V V V
V V F V F F
V F V F V V
V F F F V V
F V V F V V
F V F F V F
F F V F V V
F F F F V V

22. [p∧(q∨r)] ↔ [(p∧q)∨(p∧r)] Distribución (DIST)

p q r qVr [p∧(q∨r)] (p ∧ q)
V V V V V V
V V F V V V
V F V V V F
V F F F F F
F V V V F F
F V F V F F
F F V V F F
F F F F F F

23. [p∨(q∧r)] ↔ [(p∨q)∧(p∨r)] Distribución (DIST)

p q r (q ∧ r) [p∨(q∧r)] pVq
V V V V V V
V V F F V V
V F V F V V
V F F F V V
F V V V V V
F V F F F V
F F V F F F
F F F F F F

24. (p ∧ q) → (p ∧ q) Conjunción (CONJ)

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

25. (p ∧ p) ↔ p Idempotencia (IDEM)

p p∧ p (p ∧ p) ↔ p
V V V
F F V
26. (p ∨ p) ↔ p Idempotencia (IDEM)
p pV p (p V p) ↔ p
V V V
F F V

27. (p ∨ F) ↔ p Identidad (IDEN)

p F pV F (p ∨ F) ↔ p
V F V V
F F F V

28. (p ∧ T) ↔ p Identidad (IDEN)

p T p∧T (p ∧ T) ↔ p
V V V V
F V F V

29. (p ∨ T) ↔ T Dominación (DOM)

p T pVT (p ∨ T) ↔ T
V V V V
F V V V

30. (p ∧ F) ↔ F Dominación (DOM)

p F p∧F (p ∧ F) ↔ F
V F F V
F F F V

31. [p ∨ (p ∧ q)] ↔ p Absorción (ABS)

p q p∧q p ∨ (p ∧ q) [p ∨ (p ∧ q)] ↔ p
V V V V V
V F F V V
F V F F V
F F F F V

32. [p ∧ (p ∨ q)] ↔ p Absorción (ABS)

p q pVq p ∧ (p V q) [p ∧ (p ∨ q)] ↔ p
V V V V V
V F V V V
F V V F V
F F F F V

33. (p ∨ ¬p) ↔ T Inversa (INV)

p ¬p (p ∨ ¬p) T (p ∨ ¬p) ↔ T
V F V V V
F V V V V
34. (p ∧ ¬p) ↔ F Inversa (INV)
p ¬p (p ∧ ¬p) F (p ∧ ¬p) ↔ F
V F F F V
F V F F V
 (¬p ∧ ¬q) ¬(p ∨ q) ↔ (¬p ∧ ¬q)
F V
F V
F V
V V

(¬p V ¬q) ¬(p ∧ q) ↔ (¬p V ¬q)

F V
V V
V V
V V

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

V
 V
V
V

(¬p ∧ ¬q) (p∧q) ∨ (¬p∧¬q)

F V
F F
F F
V V

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

(p → r) [(p → q) ∧ (q → r)] → (p → r)
V V
F V
V V
F V
V V
V V
V V
V V
 p∨r (p → q) ∧ (r → s)
V V
V V
V V
V V
V F
V F
V F
V F
V V
V V
F V
F V
V F
V F
F V
F V

(p → q) ∧ (r → s) ¬q
V F
V F
V F
V F
F V
F V
F V
F V
V F
V F
V F
V F
F V
F V
V V
V V
 (p ∨ q) ∨ r [p ∨ (q ∨ r)] ↔ [(p ∨ q) ∨ r]
V V
V V
V V
V V
V V
V V
V V
F V

[(p ∧ q) ∧ r] [p ∧ (q ∧ r)] ↔ [(p ∧ q) ∧ r]

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

(p → q) ↔ (¬q → ¬p)
V
V
V
V
[p → (q → r)] [(p ∧ q) → r] ↔ [p → (q → r)]
V V
F V
V V
V V
V V
V V
V V
V V

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

pVr (p∨q)∧(p∨r)
V V
V V
V V
V V
V V
F F
V F
F F
(p ↔ q) ↔ [(p∧q) ∨ (¬p∧¬q)]
V
V
V
V
(p → q) ∧ (r → s) ∧ (p∨r) q∨s [(p → q) ∧ (r → s) ∧ (p∨r)] → (q∨s)
V V V
V V V
V V V
V V V
F V V
F F V
F V V
F V V
V V V
V V V
F V V
F V V
F V V
F F V
F V V
F F V

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

F F F F
V V V F
F F F F
V V V F
F V F F
V V F F
F V F F
V V F F
F F F V
V V V V
F F F V
V V V V
F V F V
V V F V
F V V V
V V V V
[p∧(q∨r)] ↔ [(p∧q)∨(p∧r)]
V
V
V
V
V
V
V
V

[p∨(q∧r)] ↔ [(p∨q)∧(p∨r)]
V
V
V
V
V
V
V
V
¬r ¬p ∨ ¬r [(p → q) ∧ (r → s) ∧ (¬q ∨ ¬s)] → (¬p ∨ ¬r)
F F V
F F V
V V V
V V V
F F V
F F V
V V V
V V V
F V V
F V V
V V V
V V V
F V V
F V V
V V V
V V V
A. (¬p V q ) ∧ (q → ¬r) ∧ r →¬p
p q r ¬p ¬r ¬p V q
V V V F F V
V V F F V V
V F V F F F
V F F F V F
F V V V F V
F V F V V V
F F V V F V
F F F V V V

B. (p → q ) ∧ (q → ¬r) ∧ r →¬p
p q r ¬p ¬r p→q
V V V F F V
V V F F V V
V F V F F F
V F F F V F
F V V V F V
F V F V V V
F F V V F V
F F F V V V
q → ¬r (¬p V q ) ∧ (q → ¬r)
F F
V V
V F
V F
F F
V V
V V
V V
q → ¬r (p → q ) ∧ (q → ¬r)
F F
V V
V F
V F
F F
V V
V V
V V
(¬p V q ) ∧ (q → ¬r) ∧ r (¬p V q ) ∧ (q → ¬r) ∧ r →¬p
F V
F V
F V
F V
F V
F V
V V
F V
(p → q ) ∧ (q → ¬r) ∧ r (p → q ) ∧ (q → ¬r) ∧ r →¬p
F V
F V
F V
F V
F V
F V
V V
F V
1. ¬(p ∨ q) ↔ (¬p ∧ ¬q) De D’Morgan (DDM)
p q pVq ¬(p ∨ q) ¬p ¬q
V V V F F F
V F V F F V
F V V F V F
F F F V V V

3. (p ∨ q) ↔ (q ∨ p) Conmutatividad (CONM)
p q pVq qVp (p ∨ q) ↔ (q ∨ p)
V V V V V
V F V V V
F V V V V
F F F F V

6. (p → q) ↔ (¬p ∨ q) Def. condicional (DEF)

p q p→q ¬p (¬p ∨ q) (p → q) ↔ (¬p ∨ q)
V V V F V V
V F F F F V
F V V V V V
F F V V V V

8. (p ↔ q) ↔ [(p∧q)∨(¬p∧¬q)] Def. bicondicional (DEF)

p q p↔q p∧q ¬p ¬q
V V V V F F
V F F F F V
F V F F V F
F F V F V V

10. [(p → q) ∧ ¬q] → ¬p Modus Tollens (MT

p q p→q ¬q [(p → q) ∧ ¬q] ¬p
V V V F F F
V F F V F F
F V V F F V
F F V V V V

12. (p ∨ q) ∧ ¬p → q Silogismo disy. (SD)

p q pVq ¬p (p ∨ q) ∧ ¬p (p ∨ q) ∧ ¬p → q
V V V F F V
V F V F F V
F V V V V V
F F F V F V

13. [(p → q)∧(r → s)∧(p∨r)] → (q∨s) Dilema const. (DC)

 p q r s p→q r→s
V V V V V V
V V V F V V
V V F V V V
V V F F V V
V F V V F F
V F V F F F
V F F V F V
V F F F F V
F V V V V V
F V V F V V
F V F V V V
F V F F V V
F F V V V F
F F V F V F
F F F V V V
F F F F V V

14. [(p → q) ∧ (r → s) ∧ (¬q ∨ ¬s)] → (¬p ∨ ¬r) Dilema dest. (DD)

p q r s p→q r→s
V V V V V V
V V V F V V
V V F V V V
V V F F V V
V F V V F F
V F V F F F
V F F V F V
V F F F F V
F V V V V V
F V V F V V
F V F V V V
F V F F V V
F F V V V F
F F V F V F
F F F V V V
F F F F V V

18. [p ∨ (q ∨ r)] ↔ [(p ∨ q) ∨ r] Asociatividad (ASOC)

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

20. (p → q) ↔ (¬q → ¬p) Transposición (TRANSP)

p q (p → q) ¬q ¬p (¬q → ¬p)
V V V F F V
V F F V F F
F V V F V V
F F V V V V

22. [p∧(q∨r)] ↔ [(p∧q)∨(p∧r)] Distribución (DIST)

p q r qVr [p∧(q∨r)] (p ∧ q)
V V V V V V
V V F V V V
V F V V V F
V F F F F F
F V V V F F
F V F V F F
F F V V F F
F F F F F F

24. (p ∧ q) → (p ∧ q) Conjunción (CONJ)

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

28. (p ∧ T) ↔ p Identidad (IDEN) 29. (p ∨ T) ↔ T Dominación (DOM)

p T p∧T (p ∧ T) ↔ p p
V V V V V
F V F V F

32. [p ∧ (p ∨ q)] ↔ p Absorción (ABS)

p q pVq p ∧ (p V q) [p ∧ (p ∨ q)] ↔ p
V V V V V
V F V V V
F V V F V
F F F F V
 (¬p ∧ ¬q) ¬(p ∨ q) ↔ (¬p ∧ ¬q)
F V
F V
F V
V V

4. (p ∧ q) ↔ (q ∧ p) Conmutatividad (CONM)
p q p∧q
V V V
V F F
F V F
F F F

7. (p ↔ q) ↔ [(p → q)∧(q → p)] Def. bicondicional (DEF)

p q
V V
V F
F V
F F

(¬p ∧ ¬q) (p∧q) ∨ (¬p∧¬q) (p ↔ q) ↔ [(p∧q) ∨ (¬p∧¬q)]

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

11. [(p → q) ∧ (q → r)] → (p → r) Transitividad (T)

[(p → q) ∧ ¬q] → ¬p p
V V
V V
V V
V V
F
F
F
F
 p∨r (p → q) ∧ (r → s) (p → q) ∧ (r → s) ∧ (p∨r)
V V V
V V V
V V V
V V V
V F F
V F F
V F F
V F F
V V V
V V V
F V F
F V F
V F F
V F F
F V F
F V F

(p → q) ∧ (r → s) ¬q ¬s
V F F
V F V
V F F
V F V
F V F
F V V
F V F
F V V
V F F
V F V
V F F
V F V
F V F
F V V
V V F
V V V

(p ∨ q) ∨ r [p ∨ (q ∨ r)] ↔ [(p ∨ q) ∨ r]
V V
V V
V V
V V
V V
 V V
V V
F V

21. [(p ∧ q) → r] ↔ [p → (q → r)] Exportación (E

(p → q) ↔ (¬q → ¬p) p
V V
V V
V V
V V
F
F
F
F

(p ∧ r) (p∧q)∨(p∧r) [p∧(q∨r)] ↔ [(p∧q)∨(p∧r)]

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

25. (p ∧ p) ↔ p Idempotencia (IDEM)

p p∧ p (p ∧ p) ↔ p
V V V
F F V

) ↔ T Dominación (DOM)
T pVT (p ∨ T) ↔ T
V V V
V V V

33. (p ∨ ¬p) ↔ T Inversa (INV)

p ¬p (p ∨ ¬p)
V F V
F V V
 2. ¬(p ∧ q) ↔ (¬p ∨ ¬q) De D’Morgan (DDM)
p q
V V
V F
F V
F F

q∧p (p ∧ q) ↔ (q ∧ p)
V V
F V
F V
F V

dicional (DEF)
p↔q p→q
V V
F F
F V
V V

9. [(p → q) ∧ p] → q Modus Ponens (MP)

p
V
V
F
F

→ r)] → (p → r) Transitividad (T)

q r
V V
V F
F V
F F
V V
V F
F V
F F
 q∨s [(p → q) ∧ (r → s) ∧ (p∨r)] → (q∨s)
V V
V V
V V
V V
V V
F V
V V
V V
V V
V V
V V
V V
V V
F V
V V
F V

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

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

19. [p ∧ (q ∧ r)] ↔ [(p ∧ q) ∧ r] Asociatividad (ASOC)

p q
V V
V V
V F
V F
F V
 F V
F F
F F

↔ [p → (q → r)] Exportación (EXP)

q r
V V
V F
F V
F F
V V
V F
F V
F F
23. [p∨(q∧r)] ↔ [(p∨q)∧(p∨r)] Distribución (DIST)
p
V
V
V
V
F
F
F
F

26. (p ∨ p) ↔ p Idempotencia (IDEM)

p
V
F

30. (p ∧ F) ↔ F Dominación (DOM)

p
V
F

T (p ∨ ¬p) ↔ T
V V
V V
 p∧ q ¬(p ∧ q) ¬p
V F F
F V F
F V V
F V V

5. ¬¬p ↔ p Doble negación (DN)

p ¬p
V F
F V

q→p (p → q)∧(q(p→↔
p) q) ↔ [(p → q)∧(q → p)]
V V V
V F V
F F V
V V V

odus Ponens (MP)

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

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

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

15. (p ∧ q) → p Simplificación (SIMP)

p q
 V V
V F
F V
F F

16. p → (p ∨ q) Adición (AD)

p q
V V
V F
F V
F F

17. p ↔ (p ∨ p) Tautología (TAU)

p q
V V
V F
F V
F F

¬p ¬r ¬p ∨ ¬r
F F F
F F F
F V V
F V V
F F F
F F F
F V V
F V V
V F V
V F V
V V V
V V V
V F V
V F V
V V V
V V V

r q∧ r p ∧ (q ∧ r)
V V V
F F F
V F F
F F F
V V F
 F F F
V F F
F F F

(p ∧ q) [(p ∧ q) → r] q→r
V V V
V F F
F V V
F V V
F V V
F V F
F V V
F V V
q)∧(p∨r)] Distribución (DIST)
q r (q ∧ r)
V V V
V F F
F V F
F F F
V V V
V F F
F V F
F F F

otencia (IDEM)
pV p (p V p) ↔ p
V V
F V

ación (DOM)
F p∧F (p ∧ F) ↔ F
F F V
F F V

34. (p ∧ ¬p) ↔ F Inversa (INV)

p ¬p
V F
F V
 ¬q (¬p V ¬q)
F F
V V
F V
V V

negación (DN)
¬¬p ¬¬p ↔ p
V V
F V

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

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

(p → r) [(p → q) ∧ (q → r)] → (p → r)
V V
F V
V V
F V
V V
V V
V V
V V

mplificación (SIMP)
(p ∧ q) (p ∧ q) → p
 V V
F V
F V
F V

ición (AD)
(p V q) p → (p ∨ q)
V V
V V
V V
F V

autología (TAU)
(p V q) p → (p ∨ q)
V V
V V
V V
F V

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

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

(p ∧ q) [(p ∧ q) ∧ r]
V V
V F
F F
F F
F F
 F F
F F
F F

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

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

[p∨(q∧r)] pVq
V V
V V
V V
V V
V V
F V
F F
F F

27. (p ∨ F) ↔ p Identidad (IDEN)

p F
V F
F F

31. [p ∨ (p ∧ q)] ↔ p Absorción (ABS)

p
V
V
F
F
nversa (INV)
(p ∧ ¬p) F
F F
F F
¬(p ∧ q) ↔ (¬p V ¬q)
V
V
V
V
[p ∧ (q ∧ r)] ↔ [(p ∧ q) ∧ r]
V
V
V
V
V
 V
V
V

pVr (p∨q)∧(p∨r)
V V
V V
V V
V V
V V
F F
V F
F F

pV F (p ∨ F) ↔ p
V V
F V

↔ p Absorción (ABS)
q p∧q
V V
F F
V F
F F

(p ∧ ¬p) ↔ F
V
V
[p∨(q∧r)] ↔ [(p∨q)∧(p∨r)]
V
V
V
V
V
V
V
V

p ∨ (p ∧ q) [p ∨ (p ∧ q)] ↔ p
V V
V V
F V
F V