注意：此页面搜索的是所有试题
题目内容
（黑龙江省教育学院人工智能(高起专)）
谓词逻辑下，子句,C1=L∨C1‘,C2=¬L∨C2‘,若σ是互补文字的（最一般）合一置换，则其归结式C=（）(本题3.5分)
A、 C1’σ∨C2’σ
B、 C1’∨C2’
C、 C1’σ∧C2’σ
D、 C1’∧C2’
A、 C1’σ∨C2’σ
B、 C1’∨C2’
C、 C1’σ∧C2’σ
D、 C1’∧C2’
参考答案