【文件属性】：
文件名称：求公式的主合取范式和主析取范式
文件大小：3KB
文件格式：RAR
更新时间：2013-01-02 02:31:29
c++ 主范式
求公式的主合取范式和主析取范式
c++写的类
【文件预览】：
c++主范式
----formula.cpp(8KB)
----formula_header.h(1KB)
----main.cpp(312B)
网友评论
- 还可以吧 ，但不是最好的
- 对我帮助很大
- 解决了我学习中遇到的困难了 解答挺详细的，很不错 谢谢作者。
- 很好，期末作业全靠它了。。
- 很实用的，但是这个是不分变量，子句，clasue formula的里边的源码也没有给使用说明sat dnf的一些问题
- 十分有用，很好
- 还行 略复杂，初学者不需要这么多步骤，程序可以自己读懂后精炼简化
- 挺好的东西,看过对我还是有点帮助的
- 东西不错，解决了我的问题！
- 解决了我的问题，谢谢
- 很不错，解决了我的大麻烦
- 对我帮助很大
- 非常有用，是用中缀转后缀的方法做的
- 是C++类，先中缀转后缀，用树形结构返回其值，但好像是用赋值法做的。 不能进行复杂的运算，不满足一些主合取公式。
- 很牛，自己改改增加点功能算是交差了。。。嘿嘿
- 很厉害呢~是用公式写的好像~