扩展节点可使定义的隐含图生成为显式表示的状态空间图。

任何一个合适公式，都可以等价地转化为一个前束范式。

判断题任何一个合适公式，都可以等价地转化为一个前束范式。

一般来说，置换是可交换的，即两个置换合成的结果与置换使用的次序无关。

判断题一般来说，置换是可交换的，即两个置换合成的结果与置换使用的次序无关。

当一个解图中所有涉及的置换构成的置换集是一致的时，该解图称为一致解图。

判断题当一个解图中所有涉及的置换构成的置换集是一致的时，该解图称为一致解图。