【发布时间】：2013-09-10 12:08:10
【问题描述】：
我遇到了下面的表达式
A ∨ (B ∧ C) ∨ (D ∧ E ∧ ￢ (A ∨ B))
如何转化为CNF(Conjunctive normal form)？
【问题讨论】：
-
这不是编码问题。
-
你试过什么。你被困在哪里了？你也是在等价公式（潜在的指数爆炸）或等价公式（多项式变换）之后。
-
这个问题似乎跑题了，因为它是关于数学的。
-
这个问题似乎跑题了，因为它更像是一个计算机科学或数学问题，而不是编程问题。