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

[billyglove (翱翔天空的鎖鏈)]

題目如標題

P V Q = ~ (~P^~Q)
請幫幫忙

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 163.24.253.29
推 yauhh:要先推出 P or Q -> not(not P and not Q),再推出
→ yauhh:not(not P and not Q) -> P or Q.
→ yauhh:應該是用迪摩根定理和not(not P)->P就可以證完
→ mikechan:真值表