对于形如G = G1Λ G2Λ G3Λ …Λ Gn 的谓词公式，G的子句集的求取过程可以分解成几个部分单独处理。如果Gi的子句集为Si，则
有 S' = S1 ∪ S2 ∪ S3 ∪ …∪ Sn，虽然G的子句集不为S'，但是可以证明：
SG 与S1 ∪ S2 ∪ S3 ∪ …∪Sn在不可满足的意义上是一致的。
即SG 不可满足
S1 ∪ S2 ∪S3 ∪ …∪ Sn不可满足| 定理的推广 对于形如G = G1Λ G2Λ G3Λ …Λ Gn 的谓词公式，G的子句集的求取过程可以分解成几个部分单独处理。如果Gi的子句集为Si，则 有 S' = S1 ∪ S2 ∪ S3 ∪ …∪ Sn，虽然G的子句集不为S'，但是可以证明： SG 与S1 ∪ S2 ∪ S3 ∪ …∪Sn在不可满足的意义上是一致的。 即SG 不可满足
S1 ∪ S2 ∪S3 ∪ …∪ Sn不可满足 |