谓词逻辑下，子句,C1=L∨C1‘,C2=¬L∨C2‘,若σ是互补文字的（最一般）合一置换，则其归结式C=（）(本题3.5分)
A、 C1’σ∨C2’σ
B、 C1’∨C2’
C、 C1’σ∧C2’σ
D、 C1’∧C2’
出自：黑龙江省教育学院人工智能(高起专)

提示：
同一【IP】的非会员用户每天可免费获取10次答案

收藏本站【zk.995w.com】，下次访问不迷路

本站试题总数:【10245403】个 (题库试题定时更新)