消解算法-2014091522053249

【文件属性】：

文件名称：消解算法-2014091522053249

文件大小：477KB

文件格式：PPT

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

java

消解算法 消解算法 输入: 合式公式A 输出: 当A是可满足时, 回答“Yes”; 否则回答“No”. 1. 求A的合取范式S 2. 令S0, S2, S1S的所有简单析取式 3. For C1S0和C2S1 4. If C1, C2可以消解 then 5. 计算CRes(C1,C2) 6. If C= then 7. 输出“No”, 计算结束 8. If CS0且C S1 then 9. S2S2{C}