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