离散主析取范式算法

【文件属性】：

文件名称：离散主析取范式算法

文件大小：9KB

文件格式：JAVA

更新时间：2016-01-20 09:18:14

主析取范式

自动省城某命题的主析取范式，通过用JAVA来实现这个目的。