1、离散数学实验报告专业班级： 姓名： 学号： 实验成绩：1 【实验题目】命题逻辑（3）2 【实验目的】加深对五个基本联结词（否定、合取、析取、条件、双条件）的理解、掌握利用基本等价公式化简公式的方法。3 【实验内容】用化简命题逻辑公式的方法设计一个表决开关电路。4. 【实验要求】通过以下界面提示实现相应逻辑运算，给出具体逻辑值*请输入 5 位董事（分别用 A、B、C、D、E 表示）的表决值（1 或 0）：A 董事表决值（1 或 0）： B 董事表决值（1 或 0）：C 董事表决值（1 或 0）：D 董事表决值（1 或 0）：E 董事表决值（1 或 0）：出结果/继续/结束（y/c/exit）：
2、*5. 【算法描述】 某公司董事会由 5 个董事组成，公司要对某项决策进行投票表决，只要半数（3 位董事）以上都同意（用 1 表示同意，用 0 表示不同意）决策通过，否则不通过。试写出 5 位董事表决的命题公式（提示：列出表决开关电路真值表，从真值表得出 5 人表决开关电路的主合取公式（或主析取公式） ，将公式化简成尽可能含五个基本联结词最少的等价公式） 。 上面公式中的每一个联结词是一个开关元件，将它们定义成 C 语言中的函数。 输入 5 人表决值（同意为 1，不同意为 0） ，调用上面定义的函数，将 5人表决开关电路真值表的等价公式写成一个函数表达式。 输出函数表达式的结果，如果是 1，则
3、表明表决通过，否则表决不通过。6. 【源程序（带注释） 】#include #include #include using namespace std;int main()char a100,b100,c100,d100,e100; /定义 5 个字符型数组，用来储存ABCDE5 个董事的表决值 char f100; /f 数组为接收出结果/ 继续/结束的字符 void print(); /声明打*的函数 for(;) print();couta;while(strcmp(a,“0“)!=0 couta;print();coutb;while(strcmp(b,“0“)!=0 coutb;pr
4、int();coutc;while(strcmp(c,“0“)!=0 coutc;print();coutd;while(strcmp(d,“0“)!=0 coutd;print();coute;while(strcmp(e,“0“)!=0 coute;print();coutf; if(strcmp(f,“y“)=0)if(a0+b0+c0+d0+e0)242) print();cout“表决通过！n“;print();/利用 ASC II 码判断表决值是否大于 242（10 进制为 3） elseprint();cout “表决不通过。n“;print(); else if(strcmp(
5、f,“c“)=0)break;else if(strcmp(f,“exit“)=0)exit(0);elseprint();cout“输入有误，请重新输入！n“;print();system(“pause“);return 0; void print()cout“*n“;7 【实验结果与分析总结（含运行结果截图） 】主界面：功能演算：测试错误：分析总结：要善于利用 strcmp 函数来判断字符串之间是否相等，避免接受进不必要的字符造成程序错误。把表决值定义为字符型的话，在判断是否表决通过的时候，也应该利用 ASC II 码来判断（0 的 ASC II 码为 48 ; 1 的 ASC II 码为 49） 。为了程序美观，可以把打印星号的语句单独写为子函数，这样每次要打印星号的时候，只要调用该子函数即可。有时候之前输入的数据会对后面的输入造成干扰，这时候可以使用 fflush(stdin)来清空输入缓存区，以免对后面数据的输入造成干扰。
