通过海量题库、编程比赛和实时排名，系统化提升您的编程能力。
根据本章的论述，把任一谓词演算公式化为子句集有九个步骤，请按正确的顺序把它们排列起来：a 消去蕴涵符号 b 消去存在量词 c 对变量标准化 d 把母式化为合取范式 e消去连词符号∧ f 更换变量名称 g 消去全称量词 h 化为前束形 i 减少否定符号的辖域 正确的顺序是： （ ）