Question

あや

論理式の同値変形について教えて欲しいです。

① Ｐ⇒（Ｑ⇒Ｑ）
② （Ｐ∧Ｑ）⇒ ￢（Ｐ⇒￢Ｑ）
③ （Ｐ∨Ｑ）⇒ （￢Ｐ⇒Ｑ）
④ （Ｐ∧（Ｐ⇒Ｑ））⇒Ｑ
⑤ （（Ｐ⇒Ｑ）∧￢Ｑ）⇒ ￢Ｐ

これを解いてもらえると嬉しいです。
よろしくお願いします。

論理式 同値変形