简答：

1. 子句集的化简

（1）.消去连接词”—>”和”<—>”

（2）减少否定符号的辖域

（3）对变元标准化

（4）化为前束范式

（5）消去存在量词

（6）化为Skolem标准形

（7）消去全称量词

（8）消去合取词

（9）更换变元名称

2.在状态空间搜索中，Open表与Closed表的作用与区别是什么？