[請益] 請問!!pVq=~(~p^~q) 要如何證明!!

看板logic作者 (翱翔天空的鎖鏈)時間16年前 (2009/10/29 23:07), 編輯推噓1(1推 0噓 3→)
留言4則, 2人參與, 最新討論串1/1
題目如標題 P V Q = ~ (~P^~Q) 請幫幫忙 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 163.24.253.29
推
10/29 23:36, , 1F
要先推出 P or Q -> not(not P and not Q),再推出
10/29 23:36, 1F
→
10/29 23:37, , 2F
not(not P and not Q) -> P or Q.
10/29 23:37, 2F
→
10/29 23:50, , 3F
應該是用迪摩根定理和not(not P)->P就可以證完
10/29 23:50, 3F
→
10/30 16:51, , 4F
真值表
10/30 16:51, 4F
‣ 更多 billyglove 的文章
文章代碼(AID): #1AwQ-shS (logic)