5

C/c++/java 中是否存在将一阶逻辑转换为 CNF 的现有实现？

4

1 回答 1

1

使用类似的东西可能更有效：布尔范式

对于实现，我建议您自己做一些简单的事情。一个有效的方法在这里有伪代码+解释

于 2011-11-03T07:03:00.100 回答