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