Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
C/c++/java 中是否存在将一阶逻辑转换为 CNF 的现有实现?
使用类似的东西可能更有效:布尔范式
对于实现,我建议您自己做一些简单的事情。一个有效的方法在这里有伪代码+解释