消解算法例题-2014091522053249

【文件属性】：
文件名称：消解算法例题-2014091522053249
文件大小：477KB
文件格式：PPT
更新时间：2021-03-24 10:42:06
java 消解算法例题 例12 用消解算法判断下述公式是否是可满足的: p(pq)(pq)(qr)(qr) 解 S= p(pq)(pq)(qr)(qr) 循环1 S0=, S1={p, pq, pq, qr, qr}, S2= Res(pq, pq)=p Res(pq, qr)=pr Res(pq, qr)= pr Res(qr, qr)=q S2={pr, pr, q} 循环2 S0={p, pq, pq, qr, qr}, S1={pr, pr, q}, S2= Res(pq, q)=p