谓词逻辑下,子句,C1=L∨C1‘,C2=¬L∨C2‘,若σ是互补文字的(最一般)合一置换,则其归结式C=()(本题3.5分)
A、 C1’σ∨C2’σ
B、 C1’∨C2’
C、 C1’σ∧C2’σ
D、 C1’∧C2’

答案是:

标准答案:A
出自  青书学堂  >  黑龙江省教育学院人工智能(高起专)

更多答案联系客服:19139051760
本题添加时间:2023/4/3 12:59:00