若C12是子句集S中C1、C2的归结式,若将C12加入到S中后得到的新子句集为S2,则S不可满足的充要条件是S2不可满足。()

A、正确
B、错误
查看答案

所属分类: 其他知识

浏览量: 133

相关试题 (自动搜索相关试题 快找找有你想要的嘛?)