logo - 刷刷题
下载APP
【简答题】

用输入归结策略是否可证明下列子句集的不可满足性? S={P∨Q,Q∨R,R∨W,~R∨~P,~W∨~Q,~Q∨~R)

举报
参考答案:
参考解析:
.
刷刷题刷刷变学霸
举一反三