首页->人工智能

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

（A）C1’σ∨C2’σ

（B）C1’∨C2’

（C）C1’σ∧C2’σ

（D）C1’ ∧C2’