求公式的主合取范式和主析取范式

时间:2013-01-02 02:31:29
【文件属性】:

文件名称:求公式的主合取范式和主析取范式

文件大小: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++类,先中缀转后缀,用树形结构返回其值,但好像是用赋值法做的。 不能进行复杂的运算,不满足一些主合取公式。
  • 很牛,自己改改增加点功能算是交差了。。。嘿嘿
  • 很厉害呢~是用公式写的好像~