谓词逻辑下,子句,C1=L∨C1‘,C2=¬L∨C2‘,若

---

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

A: 1’σ∨C2’σ

B:1’∨C2’

C:1’σ∧C2’σ

D:1’∧C2’