作者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