7. Construir tablas de verdad y determinar cuál es contingencia, cual contradicción y cual tautología a) ~ (p⇒q) ⇔ (~q˄p) b) (~p˄~q) ˄ (p˄q) c) (p˅r) ˄ s ⇒ ~ s