谓词公式与其子句集的关系是（）。