数理逻辑辅助工具合取范式&析取范式生成器
数理逻辑的辅助小程序，可以给出任意命题公式的合取范式及析取范式。主要用二叉树实现。压缩包内有比较详细的说明文档
下载地址
用户评论
vs写的程序，sln只能用vs打开，有些参考价值。
没有什么用，不过还是感谢楼主
感谢 正好不用自己写算法了
对于变量较多的情况不是很适用
谢谢，保存下来以备后用。