谓词公式与其子句集的关系是()。
出自:计算机科学