化为子句形有哪些步骤?请结合例子说明之。

任一谓词演算公式可以化成一个子句集。其变换过程由下列九个步骤组成： (1)消去蕴涵符号将蕴涵符号化为析取和否定符号 (2)减少否定符号的辖域 每个否定符号最多只用到一个谓词符号上，并反复应用狄·摩根定律 (3)对变量标准化对哑元改名以保证每个量词有其自己唯一的哑元 (4)消去存在量词引入 Skolem函数，消去存在量词如果要消去的存在量词不在任何一个全称量词的辖域内，那么我们就用不含变量的 Skolem函数即常量。 (5)化为前束形把所有全称量词移到公式的左边，并使每个量词的辖域包括这个量词后面公式的整个部分。前束形 = (前缀) (母式) 前缀 = 全称量词串母式 = 无量词公式 (6)把母式化为合取范式反复应用分配律，将母式写成许多合取项的合取的形式，而每一个合取项是一些谓词公式和(或)谓词公式的否定的析取 (7)消去全称量词消去前缀，即消去明显出现的全称量词 (8)消去连词符号(合取)用{合取项 1,合取项 2}替换明显出现的合取符号 (9)更换变量名称更换变量符号的名称，使一个变量符号不出现在一个以上的子句中