范式消除等价蕴含等算法

【文件属性】：
文件名称：范式消除等价蕴含等算法
文件大小：123KB
文件格式：DOCX
更新时间：2016-09-07 05:47:40
范式 消除等价式 2． 消除蕴含式 3． 化简否定式 4． 去掉多余的括号 5． 化简成为合取范式