將常規形式轉換爲CNF

Question

在我的CS邏輯類中，我們必須將常規形式的布爾表達式轉換爲CNF，但是我有點困惑於此。

¬（¬P=>（P => Q））

它是：

¬（¬P=>（¬POR Q））通過暗示消除

¬（ ¬¬P或暗示消除

¬（P OR（¬P或Q））的雙重否定（¬P或Q））

通過德摩根的

¬P和¬（¬P或Q））

¬P和雙重否定（¬¬P和¬Q））由德·摩根的

¬PAND（P和¬Q））

下一步是分發或以上，並，但有AREN沒有任何OR分發。

Answer 1

一旦你通過雙重否定

你必須達到

• ¬(P OR (¬P OR Q))
  • ¬((P OR ¬P) OR (P OR Q))通過分佈
  • ¬(true OR (P OR Q))被排除中間
  • ¬(true)通過顯而易見的OR
  • false空元素：P