范式 合取 析取 蕴含 等价

【文件属性】：
文件名称：范式 合取 析取 蕴含 等价
文件大小：13KB
文件格式：CPP
更新时间：2017-01-22 15:17:11
范式 合取 析取 蕴含 等价 范式 合取 析取 蕴含 等价 1． 消除等价式 2． 消除蕴含式 3． 化简否定式 4． 去掉多余的括号 5． 化简成为合取范式 6． 判断是否有互补对，是否为永真式