标签： programming-languages artificial-intelligence machine-learning markov-chains
C / c ++ / java中是否存在将一阶逻辑转换为CNF的现有实现？
答案 0 :(得分：1)
使用以下内容可能更有效：Boolean Normal Form
为了实现，我建议你自己做一些像这样简单的事情。一种有效的方法有伪代码+解释here