[理工] [離散]-邏輯

看板Grad-ProbAsk作者 (阿聰)時間16年前 (2009/11/02 18:08), 編輯推噓0(000)
留言0則, 0人參與, 最新討論串1/15 (看更多)
請問一下一題邏輯 if p then q else r 恆等於(p->q)^(~p->r) 上式怎麼堆導到 (p^q)v(~p^r) -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 61.230.126.103
文章代碼(AID): #1Axg-9WV (Grad-ProbAsk)
討論串 (同標題文章)
文章代碼(AID): #1Axg-9WV (Grad-ProbAsk)