. Demuestre la siguiente implicacion:
[p∧ (p→q) ∧ (s∨r) ∧ (r →¬q)] ⇒s


. Demuestre la siguiente equivalencia

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



​