从外部角度理解，从这个判断条件中析取，分析开了取，只要有其中一个满足了，就算成立了。
同样合取，从外部角度，两个条件合着取，两个必须同时成立
实现划分子句集中比较关键的三步：
- 去掉连接词
- 去掉非符号
- 化为skolem标准型，（介绍：以∩为小团体的连接符号，小团体内只能用∪）
- 其中小团体中只能是并连接，形成的子句集是为了归结准备
为什么叫析取？为什么叫合取？
猜你喜欢
转载自blog.csdn.net/qq_36067000/article/details/83001400
今日推荐
周排行