将普通表格转换为CNF

Question

在我的CS Logic类中，我们必须将普通形式的布尔表达式转换为CNF，但我有点困在这个。

¬（¬P=＆gt;（P =＆gt; Q））

是：

通过暗示消除

（¬P=＆gt;（¬PORQ））

通过暗示消除

¬（¬¬POR（¬POR Q））

（P OR（¬POR Q））通过双重否定

DeMorgan的

¬PAND¬（¬P或Q））

DeMorgan的

¬PAND（¬¬PAND¬Q））

通过双重否定

¬PAND（PAND¬Q））

下一步是在AND上分配OR，但没有任何OR要分发。

Answer 1

到达

• ¬(P OR (¬P OR Q))双重否定

你有

分发
• ¬((P OR ¬P) OR (P OR Q))
• ¬(true OR (P OR Q))排除中间
• ¬(true)由OR
的null元素组成
• false显而易见：P