[简答题,3.4分] 谓词公式G通过８个步骤所得的子句集合S，称为G的子句集。请写出这些步骤。

1）消去蕴含式和等价式→，<-> 2）缩小否定词的作用范围，直到其作用于原子公式: 3）适当改名，使量词间不含同名指导变元和约束变元。 4.）消去存在量词（形成Skolem标准型） 5）消去所有全称量词 6)化成合取范式 7).适当改名，使子句间无同名变元 8).消去合取词∧，用逗号代替，以子句为元素组成一个集合S