消解算法例题-2014091522053249

【文件属性】：

文件名称：消解算法例题-2014091522053249

文件大小：477KB

文件格式：PPT

更新时间：2024-04-13 04:28:46

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