单项选择题
A.{P∨Q∨┐R，P}B.Π{6}C.Σ{6}D.{┐（P∧┐Q）,┐Q∨R}
下列哪些真值指派使得P→Q的真值为0（）。A.（P，Q）/（0，1）B.（P，Q）/（1，0）C.（P，Q）/...
单项选择题下列哪些真值指派使得P→Q的真值为0（）。
A.（P，Q）/（0，1）B.（P，Q）/（1，0）C.（P，Q）/（0，0）D.（P，Q）/（1，1）
反向规则演绎推理中，目标的与或形图的根节点在（）A.最上方B.在分支节点下方C.在叶节点上方D.在根节点下方
单项选择题反向规则演绎推理中，目标的与或形图的根节点在（）
A.最上方B.在分支节点下方C.在叶节点上方D.在根节点下方
在图搜索推理方法中，需要使推理中被选出的状态节点放在（）。A.open表B.out表C.closed表D.li...
单项选择题在图搜索推理方法中，需要使推理中被选出的状态节点放在（）。
A.open表B.out表C.closed表D.link表
