问题 更新时间2023/4/3 12:59:00 谓词逻辑下，子句,C1=L∨C1‘,C2=?L∨若σ是互补文字的（最一般）合一置换，则其归结式C=（）A.C1’σ∨C2’σB.C1’∨C2’C.C1’σ∧C2’σD.C1’∧C2’ 答案 登录 注册 参考答案：A 出自：联大 >> 信阳师范学院 人工智能
问题 更新时间2023/4/3 12:59:00
搜题
搜题
问题 更新时间2023/4/3 12:59:00
答案