命题逻辑中的归结推理系统

【文件属性】：

文件名称：命题逻辑中的归结推理系统

文件大小：13KB

文件格式：CPP

更新时间：2011-01-12 12:55:55

C++写的

实现了命题逻辑的归结推理