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

谓词逻辑下，子句，C1=L∨C1‘，C2=?L∨C2‘，若σ是互补文字的（最一般）合一置换，则其归结式C=（）
A、C1’σ∨C2’σ
B、C1’∨C2’
C、’σ∧C2’σ
D、C1’∧C2’
正确答案：A