請教一題等價的證明

[rfvbgtsport (uygh)]

https://i.imgur.com/YnktdrT.jpg

請教大大們，這一題該如何證明？可否指點一下，謝謝


--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 27.51.56.132 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1634311819.A.03E.html
→ mantour     : 等價於 ~r 且 ~(q且(~r->~p))
→ mantour     : 等價於 ~r 且(~q或~(~r->~p))
→ mantour     : 等價於~r且(~q或~(~~r或~p))
→ mantour     : 等價於~r且（~q或（~r且p))
→ mantour     : 等價於(~r且~q)或（~r且(~r且p))
→ mantour     : 等價於(~r且~q)或((~r且~r)且p)
→ mantour     : 等價於(~r且~q)或(~r且p)
→ mantour     : 等價於~r且(~q或p)
→ mantour     : 等價於~r且(p或~q)
→ mantour     : 就是德摩根，交換律，結合律，分配律等重複使用
→ mantour     : 還有用到 p->q等價於~pvq
→ rfvbgtsport : 太感謝大大了