终叶节点都是可解节点;对“或”节点，当其子节点中至少有一个为可解节点时，则该或节点就是可解节点;对“与”节点，只有当其子节点全部为可解节点时，该与节点才是可解节点