当前位置:首页 >> 数学 >>

离散数学五人表决真值表实验报告


离散数学实验报告?
专业班级:12 级计算机本部一班 学号: 201212201401016 1. 【实验题目】
命题逻辑实验三

姓名:鲍佳珍 实验成绩:

2. 【实验目的】
加深对五个基本联结词(否定、合取、析取、条件、双条件)的理解、掌握 利用基本等价公式化简公式的方法。

3. 【实验内容】
用化简命题逻辑公式的方法设计一个表决开关电路。

4、 【实验要求】
C 或 C++语言编程实现

5.

【算法描述】

(1)写出 5 人表决开关电路真值表,从真值表得出 5 人表决开关电路的主合取

公式 (或主析取公式) ,将公式化简成尽可能含五个基本联结词最少的等价公式。 (2)上面公式中的每一个联结词是一个开关元件,将它们定义成 C 语言中 的函数。 (3)输入 5 人表决值(同意为 1,不同意为 0) ,调用上面定义的函数,将 5 人表决开关电路真值表的等价公式写成一个函数表达式。 (4)输出函数表达式的结果,如果是 1,则表明表决通过,否则表决不通 过。

6.

【源程序(带注释) 】

#include<stdio.h> int show(int a,int b,int c,int d,int e);//声明一个函数 int main() { int a,b,c,d,e;

int m,n; printf("您是否要计算 5 人表决真值,是请输入 1,否请输入 0\n\n"); scanf("%d",&n); while(n){ 或继续 printf("请输入 5 人表决结果,1 表示同意,0 表示不同意 \n\n"); scanf("%d%d%d%d%d",&a,&b,&c,&d,&e); m=show(a,b,c,d,e); if(m==1) printf("表决通过\n\n"); else printf("表决不通过\n\n"); printf("您是否要继续输入,是请输入 1,否请输入 0\n\n"); scanf("%d",&n); } return 0; } int show(int a,int b,int c,int d,int e) { if( a&&b&&c || a&&b&&d || a&&b&&e || a&&c&&d || a&&c&&e || a&&d&&e || b&&c&&d || b&&c&&e || b&&d&&e || //定义函数 //使程序可以随用户自己结束

c&&d&&e) return 1; else return 0; } 7.【实验结果与分析总结(含运行结果截图) 】

软件界面

进行五人表决并输出结果

再次输入五人表决, 并输

出最后结果

输入 0,程序结束


相关文章:
离散数学实验报告
离散数学实验报告 - 南邮离散数学实验报告,实验一,利用真值表法求取主析取范式以及主合取范式的实现
离散数学实验一
离散数学实验一_数学_自然科学_专业资料。实验报告(2012 / 2013 学年 第一 学期) 课程名称 实验名称 离散数学 真值表法求主析取范式和主合取范式 2014 实验时...
离散数学实验报告
离散数学实验报告 题专学姓 目业号名 指导教师 提交日期 实验一 五种...输出其真值表一 、实验目的 熟悉各命题公式,并会利用 C 语言编程求其真值。...
离散数学实验——真值表
离散数学五人表决真值表实... 暂无评价 4页 2财富值 离散数学命题公式真值表...离散数学实验报告 2011 8页 免费 C++真值表实验报告 6页 2财富值 离散数学实验...
离散数学实验一
实验报告(2013 / 2014 学年 第一 学期) 课程名称 实验名称 离散数学 利用真值表法求取主析取范式 以及主合取范式的实现 实验时间 指导单位 指导教师 2013 年...
离散数学(MFC实现真值表、最短路径)实验报告
离散数学(MFC实现真值表、最短路径)实验报告_工学_高等教育_教育专区。离散数学...离散数学五人表决真值表... 暂无评价 4页 1下载券 离散数学命题公式真值表....
离散数学实验1
离散数学实验1_数学_自然科学_专业资料。“离散数学实验报告 (实验 1) 专业...(A) 2. 求任意一个命题公式的真值表(B,并根据真值表求主范式(C) ) ...
离散数学实验报告
离散数学实验报告 1 目录一、实验目的 ......45 2 一、实验目的实验一:熟悉掌握命题逻辑中的联接词、真值表、主范式等,进一步能用它们来解决 实际问题...
求给定命题公式的真值表并根据真值表求公式的主范式
离散数学实验报告(求给定命题公式的真值表并根据真值表求公式的主范式) 专业班级学号姓名 网络工程 1202 班 12407442 张敏慧 2013.12.14 目录一.实验目的 ...
离散数学真值表计算
离散数学五人表决真值表... 暂无评价 4页 1下载券 离散数学(MFC实现真值表....离散数学实验报告 23页 免费 真值表的C++算法实现 29页 免费 实验1 真值表判...
更多相关标签: