河南成教 / 人工智能
[单选题] 谓词逻辑下，子句,C1=L∨C1‘,C2=?L∨若σ是互补文字的（最一般）合一置换，则其归结式C=（）
A.C1’σ∨C2’σ
B.C1’∨C2’
C.C1’σ∧C2’σ
D.C1’∧C2’
A.C1’σ∨C2’σ
B.C1’∨C2’
C.C1’σ∧C2’σ
D.C1’∧C2’
参考答案：
佳题速递：