单项选择题
A.事实表达式的与或树 B.目标公式的与或树 C.与或树 D.证明树
A.左上位置 B.中上位置 C.中央位置 D.中左位置
A.F∈{x}，当目标F在综合数据库中出现时，则F被求得。 B.F∈{x}，当目标F在综合数据库中出现时，则F一定不被求得。 C.F不包含于{x}，当目标F不在综合数据库中出现时，则F被求得。 D.F不包含于{x}，当目标F不在综合数据库中出现时，则F一定被求得。
A.Cn B.k（n1，N）+…+k（ni，N） C.0 D.Cn+k（n1，N）+…+k（ni，N）
微信扫一扫,加关注免费搜题
