定理1谓词公式G不可满足当且仅当其子句集 S不可满足。 定义3子句集S是不可满足的,当且仅当其全 部子句的合取式是不可满足的。定理1 谓词公式G不可满足当且仅当其子句集 S不可满足。 定义3 子句集S是不可满足的，当且仅当其全 部子句的合取式是不可满足的