作者billyglove (翱翔天空的鎖鏈)
看板logic
標題[請益] 請問!!pVq=~(~p^~q) 要如何證明!!
時間Thu Oct 29 23:07:32 2009
題目如標題
P V Q = ~ (~P^~Q)
請幫幫忙
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 163.24.253.29
1F：推 yauhh:要先推出 P or Q -> not(not P and not Q),再推出 10/29 23:36
2F：→ yauhh:not(not P and not Q) -> P or Q. 10/29 23:37
3F：→ yauhh:應該是用迪摩根定理和not(not P)->P就可以證完 10/29 23:50
4F：→ mikechan:真值表 10/30 16:51