公式化为范式

【文件属性】：

文件名称：公式化为范式

文件大小：13KB

文件格式：CPP

更新时间：2016-05-27 03:18:34

范式

公式化为范式然后判断是否为永真式，分为以下步骤：消除等价，消除蕴含，消除否定，化为范式