问题 更新时间2023/4/3 12:59:00 谓词逻辑下，子句,C1=L∨C1‘,C2=¬L∨C2‘,若σ是互补文字的（最一般）合一置换，则其归结式C=（）(本题3.5分) 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
答案