Translate the following formulas into equivalent CNFs and DNFs. Which of these formulas are satisfiable?
Which are valid?
(a) p → (¬q → p)
(b) ¬(p ∧ q) ∧ r → (¬p → ¬r)