5. For each of the following propositions, construct a truth table and state whether the
proposition is valid or satisfiable. (For brevity, you can just write one truth table with
many columns.)
(a) р^-р
(b) pv-p
(c) (pv¬q) q
(d) (pvq) → (p^q)
(e) (p⇒q) (q⇒ -p)
(f) (p⇒q) → (q⇒p)