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

baidu_43420 2019-09-07 00:28:08

还可以吧 ，但不是最好的

qq_69405075 2019-09-07 00:28:08

对我帮助很大

qing41916 2019-09-07 00:28:08

解决了我学习中遇到的困难了 解答挺详细的，很不错 谢谢作者。

boeing103 2019-09-07 00:28:08

很好，期末作业全靠它了。。

zscl 2019-09-07 00:28:08

很实用的，但是这个是不分变量，子句，clasue formula的里边的源码也没有给使用说明sat dnf的一些问题

zhu_lang27066 2019-09-07 00:28:08

十分有用，很好

songfu45565 2019-09-07 00:28:08

还行 略复杂，初学者不需要这么多步骤，程序可以自己读懂后精炼简化

电动发动机 2019-09-07 00:28:08

挺好的东西,看过对我还是有点帮助的

godietion 2019-09-07 00:28:08

东西不错，解决了我的问题！

hllyzms 2019-09-07 00:28:08

解决了我的问题，谢谢