去掉否定符号思路：
判断是四个模型中哪一种？
然后以小团体为单位，进行变形
化为skolem标准型思路：
找括号，然后找出连接括号的符号
如果符号是析取，就析取算到括号里面。形成一个新的谓词公式
然后再次判断一遍小团体之间的连接符号有没有析取符号，，，，一直循环，直到找不到析取符号为止
实现化为子句集的三个重要步骤
猜你喜欢
转载自blog.csdn.net/qq_36067000/article/details/83001547
今日推荐
周排行