非A或B如何推導出來的？

一般都是用這個永遠都有效的“枚舉法”，也就是真值表法：把A、B所有的取值組合都羅列出來，看復合命題A→B與┐A∨B的取值情況。結果證明二者恒等。 像這種基本連接詞間的轉換，真值表法就是最直接，也最有效的方法。不過也可以根據它們的定義，用一種更“高級”的方法來證明： A→B表示：A為真時，B也總是為真； 即：A→B為真，當且僅當A為真時B也為真；那么： A→B為假，當且僅當A為真，并且B不為真；——條件命題的否定，就是“真條件，假結論”同時出現——有些書上，就是用這句話來定義條件命題的：知道了結果為假的賦值組合，自然也就知道結果為真的賦值組合了。所以： ┐（A→B）=A∧┐B； ┐┐（A→B）=A→B=┐（A∧┐B）=┐A∨B；