将常规形式转换为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