4、谓词公式不可满足的充要条件是其子句集不可满足。

时间:2024-05-03 14:55:09

相似题目