請教一題等價的證明

看板Math作者 (uygh)時間2年前 (2021/10/15 23:30), 編輯推噓0(0推 0噓 12→)
留言12則, 2人參與, 2年前最新討論串1/2 (看更多)
https://i.imgur.com/YnktdrT.jpg
請教大大們，這一題該如何證明？可否指點一下，謝謝 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 27.51.56.132 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1634311819.A.03E.html
→
10/16 01:01, 2年前 , 1F
等價於 ~r 且 ~(q且(~r->~p))
10/16 01:01, 1F
→
10/16 01:01, 2年前 , 2F
等價於 ~r 且(~q或~(~r->~p))
10/16 01:01, 2F
→
10/16 01:01, 2年前 , 3F
等價於~r且(~q或~(~~r或~p))
10/16 01:01, 3F
→
10/16 01:01, 2年前 , 4F
等價於~r且（~q或（~r且p))
10/16 01:01, 4F
→
10/16 01:01, 2年前 , 5F
等價於(~r且~q)或（~r且(~r且p))
10/16 01:01, 5F
→
10/16 01:01, 2年前 , 6F
等價於(~r且~q)或((~r且~r)且p)
10/16 01:01, 6F
→
10/16 01:01, 2年前 , 7F
等價於(~r且~q)或(~r且p)
10/16 01:01, 7F
→
10/16 01:01, 2年前 , 8F
等價於~r且(~q或p)
10/16 01:01, 8F
→
10/16 01:01, 2年前 , 9F
等價於~r且(p或~q)
10/16 01:01, 9F
→
10/16 01:12, 2年前 , 10F
就是德摩根，交換律，結合律，分配律等重複使用
10/16 01:12, 10F
→
10/16 01:13, 2年前 , 11F
還有用到 p->q等價於~pvq
10/16 01:13, 11F
→
10/16 08:34, 2年前 , 12F
太感謝大大了
10/16 08:34, 12F
‣ 更多 rfvbgtsport 的文章
文章代碼(AID): #1XQPwB0- (Math)
‣ 更多 rfvbgtsport 的文章
文章代碼(AID): #1XQPwB0- (Math)