A.事實表達式的與或樹 B.目標公式的與或樹 C.與或樹 D.證明樹
A.左上位置 B.中上位置 C.中央位置 D.中左位置
A.F∈{x},當目標F在綜合數(shù)據(jù)庫中出現(xiàn)時,則F被求得。 B.F∈{x},當目標F在綜合數(shù)據(jù)庫中出現(xiàn)時,則F一定不被求得。 C.F不包含于{x},當目標F不在綜合數(shù)據(jù)庫中出現(xiàn)時,則F被求得。 D.F不包含于{x},當目標F不在綜合數(shù)據(jù)庫中出現(xiàn)時,則F一定被求得。