离散数学实验教程.docVIP

实 验 报 告 （20 / 2017 学年 第 学期） 课程名称 实验名称 实 验 报 告 实验名称 指导教师 实验类型 实验学时 实验时间 实验目的和要求 二、实验环境(实验设备) X86计算机 ：Windows 7 32bit IDE: CodeBlokcs 16.02 ：： 三、实验原理及内容 原理： 将中缀表达式转换成后缀表达式，再将后缀表达式中每一个赋值，递归枚举的方法赋值情况用map映射将每一个字母与当前枚举的值一一映射，每一种情况后缀表达式计算计算后缀表达式的值，情况如果是真，记录到zhen的不定长数组中，如果是假，记录到名为jia的vector不定长数组中。根据zhen和jia的不定长数组来打印主析取范式和主合取范式。 实现任意数量的字母的主析取范式求取和主合取范式求取，以及真值表打印。 实 验 报 告 ：预处理 这样，所有的运算符只一个字符，后期处理起来更加方便。 { string::iterator i=zhong.begin(); //string类迭代器需在头文件 int flag=1; while(flag) { flag=0; for(i=zhong.begin();i!=zhong.end();++i) { if(*i==) { zhong.erase(i); flag=1; break; } if(*i===) { zhong.erase(i); flag=1; break; } } } } 第二步：将中缀表达式转换后缀表达式 利用栈和优先级函数来将中缀表达式转换成后缀表达式，此函数另一个功能是将中缀表达式中所有出现过的字母变量都保存包名为alpha的string类中（string类为STL中的string，需要在头文件加入#includestring），并且alpha中不出现重复字母，这样，通过alpha.size()函数就可以得到所有字母变量的个数，并且方便后面枚举赋值映射。 全局变量： string zhong; //中缀表达式 char hou[1000]; //后缀表达式 string alpha; //存放所有字母变量 优先级函数： int icp(char a) //栈外优先级 { if(a==#) return 0; if(a==() return 12; if(a==!) return 10; if(a==) return 8; if(a==|) return 6; if(a==-) return 4; if(a==) return 2; if(a==)) return 1; } int isp(char a) //栈内优先级 { if(a==#) return 0; if(a==() return 1; if(a==!) retur