[简答题,3.4分] 谓词公式G通过8个步骤所得的子句集合S,称为G的子句集。请写出这些步骤。
出自:信阳师范学院 人工智能