>我面对的表达式如下
A ∨ (B ∧ C) ∨ (D ∧ E ∧ ￢ (A ∨ B))
如何转换为CNF（合取范式）？
假设你想要一个等效的公式，你必须使用保持逻辑等价性的变换。
这是可能的第一步;
A ∨ (B ∧ C) ∨ (D ∧ E ∧ ￢(A ∨ B))
((A ∨ B) ∧ (A ∨ C)) ∨ (D ∧ E ∧ ￢A ∧ ￢B)
∧ C） 的分配定律并将 DeMorgan 应用于 ¬（A ∨ B）