公式化为范式

【文件属性】：
文件名称：公式化为范式
文件大小：13KB
文件格式：CPP
更新时间：2016-05-27 03:18:34
范式 公式化为范式然后判断是否为永真式，分为以下步骤：消除等价，消除蕴含，消除否定，化为范式