谓词逻辑下，子句,C1=L∨C1‘,C2=L∨C2‘,若σ是互补文字的（最一般）合一置换，则其归结式C=（）
·C1’σ∨C2’σ\t\t
·C1’∨C2’\t
·C1’σ∧C2’σ\t
·C1’∧C2’
出自：佳木斯大学语言治疗学

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

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

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