-4

我遇到了下面的表情

A ∨ (B ∧ C) ∨ (D ∧ E ∧ ￢ (A ∨ B))

如何转换为 CNF（联合范式）？

4

1 回答 1

1

假设您想要一个等效公式，则必须使用保留逻辑等效性的转换。

这是潜在的第一步；

A ∨ (B ∧ C) ∨ (D ∧ E ∧ ￢(A ∨ B))
((A ∨ B) ∧ (A ∨ C)) ∨ (D ∧ E ∧ ￢A ∧ ￢B)

采用 A ∨ (B ∧ C) 的分布规律并将 DeMorgan 应用于 ￢(A ∨ B)

于 2013-09-10T14:10:59.650 回答