开发者

Converting First order logic to CNF

开发者 https://www.devze.com 2023-03-20 18:54 出处:网络
Is there a existing implementation in C/c++/java to conver开发者_开发百科t first order logic to CNF ?It might be more efficient to use something like: Boolean Normal Form

Is there a existing implementation in C/c++/java to conver开发者_开发百科t first order logic to CNF ?


It might be more efficient to use something like: Boolean Normal Form

For implementation, I recommend doing it yourself for something simple like this. An efficient method has psuedo code + explanation here

0

精彩评论

暂无评论...
验证码 换一张
取 消