C/c++/java中是否存在将一阶逻辑转换为CNF的现有实现？
最佳答案
使用类似Boolean Normal Form的方法可能会更有效。
为了实现，我建议您自己做一些简单的事情。一种有效的方法具有伪代码+说明here
关于programming-languages - 将一阶逻辑转换为CNF，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/6728001/
C/c++/java中是否存在将一阶逻辑转换为CNF的现有实现？
最佳答案
使用类似Boolean Normal Form的方法可能会更有效。
为了实现，我建议您自己做一些简单的事情。一种有效的方法具有伪代码+说明here
关于programming-languages - 将一阶逻辑转换为CNF，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/6728001/