【文件属性】:
文件名称:消解算法-2014091522053249
文件大小:477KB
文件格式:PPT
更新时间:2021-03-24 10:42:06
java
消解算法
消解算法
输入: 合式公式A
输出: 当A是可满足时, 回答“Yes”; 否则回答“No”.
1. 求A的合取范式S
2. 令S0, S2, S1S的所有简单析取式
3. For C1S0和C2S1
4. If C1, C2可以消解 then
5. 计算CRes(C1,C2)
6. If C= then
7. 输出“No”, 计算结束
8. If CS0且C S1 then
9. S2S2{C}