标签： conjunctive-normal-form
我遇到了一个低于
A ∨ (B ∧ C) ∨ (D ∧ E ∧ ￢ (A ∨ B))
如何转换为CNF（联合正常形式）？
答案 0 :(得分：1)
假设您需要等效公式，则必须使用保留逻辑等效的转换。
这是潜在的第一步;
A ∨ (B ∧ C) ∨ (D ∧ E ∧ ￢(A ∨ B)) ((A ∨ B) ∧ (A ∨ C)) ∨ (D ∧ E ∧ ￢A ∧ ￢B)
采用A∨（B∧C）的分布规律并将DeMorgan应用于¬（A∨B）