析取范式和可满足在 P (DNFSAT)

Question

我正在阅读一种处于析取范式且可满足的语言是 P 中的一种语言，但没有解释，谁能告诉我为什么？

Answer 1

要使 DNF 中的表达式为真，您只需使其单个分离子句为真。 一个典型的子句是A ^ B ^ ~C之类的东西，因此您将 A 和 B 设置为 true，将 C 设置为 false。

所以算法将是：

1. 找出一些不自相矛盾的析取子句。 （即它同时包含 X 和 ~X）。
2. 如果所有的析取子句都包含一些自相矛盾，那么整个表达式就不能被满足。
3. 如果甚至有一个子句不自相矛盾，那么就有一个明显的变量分配使该子句为真。 在这种情况下，整个表达式为真。