将一阶逻辑转换为 CNF
C/c++/java 中是否存在将一阶逻辑转换为 CNF 的现有实现？
Is there a existing implementation in C/c++/java to convert first order logic to CNF ?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
C/c++/java 中是否存在将一阶逻辑转换为 CNF 的现有实现？
Is there a existing implementation in C/c++/java to convert first order logic to CNF ?
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
接受 或继续使用网站，即表示您同意使用 Cookies 和您的相关数据。
发布评论
评论（1）
使用以下内容可能会更有效： 布尔范式
对于实现，我建议您自己做一些像这样简单的事情。一个有效的方法有伪代码+解释这里
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