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

Question

我正在閱讀一種處於析取范式且可滿足的語言是 P 中的一種語言，但沒有解釋，誰能告訴我為什么？

Answer 1

要使 DNF 中的表達式為真，您只需使其單個分離子句為真。 一個典型的子句是A ^ B ^ ~C之類的東西，因此您將 A 和 B 設置為 true，將 C 設置為 false。

所以算法將是：

1. 找出一些不自相矛盾的析取子句。 （即它同時包含 X 和 ~X）。
2. 如果所有的析取子句都包含一些自相矛盾，那么整個表達式就不能被滿足。
3. 如果甚至有一個子句不自相矛盾，那么就有一個明顯的變量分配使該子句為真。 在這種情況下，整個表達式為真。