15.

¬¬ p ∨ ¬¬ q

16. p ∨q

17. p ↔ q v r

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

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

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