3.

2 Demostrar: las siguientes equivalencias lógicas y dar una conclusión

1. (p=>q) (-pvq)
2. (p=>q)  (-p=>-q)
3. (pvq)  (-p=>q)
4. (p^q) -(p=>-q)
5. –(p=>q) (p^-q)
6. ((p=>q) ^ (p=>r))  (p=>(q^r))
7. ((p=>r) ^ (q=>r))  ((pvq)=>r)
8. ((p=>q) v (q=>r))  ((p^q)=>r)
9. (p  q)  (p=>q)^(q=>r)
10. (p  q)  (-p  -q )
11. (p  q)  ((p^q) v(-p^-q))
12. –(pq)  (p-q)

1) (p⇒q) ⇔ (¬p∨q)

2) (p⇒q) ⇔ (¬p⇒¬q)
3) (p∨q)⇔ (¬p⇒q)

4) (p∧q) ⇔ ¬(p⇒¬q)

5) ¬(p⇒q) ⇔ (p∧¬q)
6) ((p⇒q) ∧ (p⇒r))⇔(p⇒(q∧r))

7) ((p⇒r) ∧ (q⇒r))⇔((p∨q)⇒r)

8) ((p⇒q) ∨ (q⇒r))⇔((p∧q)⇒r)
9) (p⇔q) ⇔ (p⇒q)∧(q⇒r)

10) (p⇔q) ⇔ (¬p⇔¬q)

11) (p⇔q)⇔((p∧q)∨(¬p∧¬q))
12) ¬(p⇔q) ⇔ (p⇔¬q)