当前位置:百科知识 > 知到图穷匕见答案

问题描述:

[单选] 若C12是子句集S中C1、C2的归结式,则用C12代替C1、C2后得到的新子句集S1不可满足,则S也不可满足
A.对 B.错
参考答案:查看
答案解析:
☆收藏

随机题目