合式公式常用的性质有（）

A.事实表达式是任意形式
B.规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式
C.目标公式为文字析取形
D.目标公式是任意形式

A.当轮到我方走棋时，首先按照一定的搜索深度生成出给定深度d以内的所有状态，计算所有叶节点的评价函数值。
B.然后从d-1层节点开始逆向计算。
C.对于我方要走的极大节点取其子节点中的最大值为该节点的值
D.对于对方要走的极小节点取其子节点中的最小值为该节点的值。
E.一直到计算出根节点的值为止，获得根节点取值的那一分枝，即为所选择的最佳走步。

A.图中的每一个节点代表问题的状态，节点间的弧代表应用的规则。
B.就是从隐含图中搜索出含有解路径的子图来。
C.对每一个状态可应用的所有规则都要去试，并把结果记录下来。
D.沿着单独的一条路向下延伸搜索下去。