登录  注册

首页->人工智能

谓词逻辑下,子句, C1=L∨C1‘, C2= L∨若σ是互补文字的(最一般)合一置换,则其归结式C=( )

(A)C1’σ∨C2’σ

(B)C1’∨C2’

(C)C1’σ∧C2’σ

(D)C1’ ∧C2’

参考答案
继续答题:下一题
微考学堂微考学社

更多人工智能试题

考试