Lógica y Funciones Ejercicios Prácticos Ciclo: III

Realice la tabla de verdad de las siguientes expresiones.

1. p∧ q
2. (p ∧ q) ∧ r
3. ¬(p → ¬q) ∧ (p ∧ ¬q)
4. (p ∧ q) ∨ (p ∨ ¬q)
5. p∧ q∧ r
6. ¬(p ∧ ¬q) ∧ (p ∧ ¬q)
7. ¬¬(¬p ∧ ¬q) ∨ (p ∧ ¬q)
8. p∨ q∧ r
9. ¬(¬p ∧ ¬q) ∧ (¬p ∧ ¬q)
10. p ∨ q ∧ ¬r
11. p∧ q→ r
12. p ∧ q → ¬r
13. p↔ ¬p
14. ¬ (p ∧ ¬q) ∧ (p ∧ ¬q)
15. ¬¬ p ∨ ¬¬ q
16. p ∨q
17. p↔ qvr
18. [ (¬p ∨ q) v (p ∧ q)] →[ (¬p ∨ q) v ¬p ]
19. (p ∨ ¬q) → ( ¬p → ¬q)
20. (p ↔ ¬q) v (p ∨ ¬q)
21. (¬p ∧ q) ∨ (¬p → q)
22. ¬q ∨ ¬p
23. (p → q ∧ r) ↔ ¬(¬q v r) v ¬r
24. (¬q ∧ r) → ¬(¬q v r) v ¬r
25. (p → q ) ∧ r ¬(p v r) v ¬r
26. (p → q) ∧ (q → r) → (p ∧ ¬r)
27. ¬p ↔ (q ∧ r) ∨ ¬(¬q v r)
28. [ (p v ¬ q) → (p → q)] → [(¬p → q) v ¬p] v ¬p

Docente: Ing. Jeyner Antonio Fernández Olano

Lógica y Funciones Ejercicios Prácticos Ciclo: III

29. [ ¬(p v q) v (p → q)] → [(¬p → q) v ¬p]

30. (p → q) ∧ (q → r) → (p ∧ r)
31. (p ∧ q → r) → (p v r )

32. (p ↔ q) → (¬q ↔ ¬p) .

33. (p ∧ q → p v ¬r) → ¬(¬q v ¬r) ∧ r
34. (p ∧ q → p) → (q v r ) ∧ (¬p ∧ ¬r)
35. ¬p → (q v r) ∧ ¬s
36. (p ↔ q) v (p → q)
37. (p v q) ∧ (¬p → ¬q v r)
38. (¬p ∧ q → p v r) ↔ ¬(¬q v ¬r) ∧ r
39. [ (¬p v q) ∧ (r → s) ] v ¬t
40. (p ∧ q) v r [ ¬r (p ∧ q)]

41. [ (¬p v q ) → r ] ↔ [ (p ∧ ¬q) v r ]

42. (¬p ∨ q → p ∧ r) ↔ ¬(¬q v ¬r) v r

43. (p ↔ q ∧ ¬r) ↔ ¬( ¬q v ¬r) v ( r v s )

44. (p ∨ ¬q → p ∧ r ) ↔ [ ¬(¬ q v ¬ r) v ( r → ¬ q) ]
45. (¬p ↔ q) ∧ (p v ¬p → ¬q v r)
46. (¬p ↔ ¬r ∧ ¬p) ∨ ¬(¬q ¬p ∨ r) → ¬r
47. (¬p ↔ q v ¬r) ∧ ¬(¬p ↔ q v ¬r)
48. p v q ↔ (p → q)
49. (p v q) → (p ↔ q) •
50. [ (p v q) → (q → p) ] v ¬p
51. (p ↔ q) v ( p→ q)
52. (p v q) → ( ¬p→ ¬q)
53. p ∧ ¬q → ¬p
54. (p v q) ∧ (q→p)] v ¬ p
55. [(A→B)/\(B→C)] →(A→C)
56. (p ↔ ¬q) ∧ q

Docente: Ing. Jeyner Antonio Fernández Olano

Lógica y Funciones Ejercicios Prácticos Ciclo: III

57. ¬(¬p ∧ q → r) → (q ↔ s v t) ∧ (¬p ∧ ¬r)

58. ¬p ∧ q ↔ p
59. p v q ↔ (p → q)

60. (¬p v q → p ∧ r) ↔ ¬(¬q ∧ ¬r) ∧ r

61. (p v q) ↔ (¬p →¬q v r)

62. p v q → (p ↔ q)
63. ¬p v (¬q ∧ r) → (¬r↔ p)

64. (p → ¬q) ∧ (r v ¬p ↔ ¬r)

65. ((p v ¬r ¬p) ∧ ¬(¬q r) ↔ ¬r

66. (p q → r) → p ∧ r *

67. (p ↔ q ∧ ¬r ) ↔ ¬¬(¬q v ¬r) v(r v s)

68. (¬p ↔ q) ← (p v ¬p → ¬q v r)

69. (p v ¬q→ p ∧ r) ↔ [ ¬(¬q v ¬r) v (r→ ¬q) ] *

70. (p q) ∧ (q r) (p r)

71. (p ← q → p) → (q v r) ∧(¬q ∧ ¬r)

72. ¬(p ∧ ¬q → r) → ¬(q ↔ s v t) ∧ ¬(¬ p ∧ ¬ s)

73. ¬(p ∧ ¬q → r) → ¬(q ↔ ¬r v q) ∧ ¬(¬ p ∧ ¬ ¬¬p)

74. (¬q → r) v (¬r ∧ ¬p ↔ ¬¬r) →p ∧ ¬¬r

Si p es V y q es F, determínese el valor de verdad de las

siguientes fórmulas:

1. - ¬p ← q

2.- ¬p v ¬p

Docente: Ing. Jeyner Antonio Fernández Olano

Lógica y Funciones Ejercicios Prácticos Ciclo: III

3.- ¬ ¬p v ¬ ¬q

4.- ¬q → ¬p

5.- p →¬(p v¬q)

6.- p v q →q

7.- ¬(¬q→p) v (¬p →q)

8.- (¬p v ¬q) ↔ (¬p v ¬q → p)

9.- (p → q) v ¬q → ¬p

10.- ¬¬¬p → ¬p

Complete las siguientes frases:

1. Si “p v q” es V y p es F, entonces “q” es....................................

2. Si “¬p ∧ q” es V, entonces “p” es............................................
3. Si “¬p ∧ ¬q” es F y “p” es F, entonces “q” es…………………...

4. Si “¬ (¬p v ¬q)” es V, entonces “p” es…………………………..

5. Si “p v ¬q” es F, entonces “q” es………………………………

6. Si “p → q” es V y “p” es V, entonces “q” es……………………

7. Si “p → q” es V y “¬q” es V, entonces “¬p” es………………...

8. Si “p ↔ q” es F y “p” es V, entonces “q” es……………………

9. Si “¬q → ¬p” es V y “q” es F, entonces “p” es………………...

10. Si “p ∧ ¬q” es V, entonces “p → q” es…………………………...

Docente: Ing. Jeyner Antonio Fernández Olano