在九宫格棋盘上，两位选手轮流在棋盘上摆各自的棋子（每次一枚），谁先取得三子一线的结果就取胜。设程序方MAX的棋子用（×）表示，对手MIN的棋子用（○）表示，MAX先走。静态估计函数f（p）规定如下：若p对任何一方来说都不是获胜的格局，则f（p）＝（所有空格都放上MAX的棋子之后，MAX的三子成线（行、列、对角）的总－（所有空格都放上MIN的棋子之后，MIN的三子成线（行、列、对角）的总数）。当×在中央位置，○在中上位置时，则可得f（p）＝（）

A.深度优先算法
B.宽度优先算法
C.盲搜索算法
D.A算法

A.5.IF-D-THEN-E
B.2.IFA∧CTHEN-D
C.3.IFB∧CTHEN-G
D.4.IFB∧ETHEN-F

A.用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。
B.用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。
C.对规则的处理同（*）式。
D.用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）