离散数学实验报告
专业班级:12级计算机本部一班 姓名:鲍佳珍 学号: 201212201401016 实验成绩:
1.【实验题目】
命题逻辑实验三
2.【实验目的】
加深对五个基本联结词(否定、合取、析取、条件、双条件)的理解、掌握利用基本等价公式化简公式的方法。
3.【实验内容】
用化简命题逻辑公式的方法设计一个表决开关电路。
4、【实验要求】
C或C++语言编程实现
5. 【算法描述】
(1)写出5人表决开关电路真值表,从真值表得出5人表决开关电路的主合取公式(或主析取公式),将公式化简成尽可能含五个基本联结词最少的等价公式。
(2)上面公式中的每一个联结词是一个开关元件,将它们定义成C语言中的函数。
(3)输入5人表决值(同意为1,不同意为0),调用上面定义的函数,将5人表决开关电路真值表的等价公式写成一个函数表达式。
(4)输出函数表达式的结果,如果是1,则表明表决通过,否则表决不通过。
6. 【源程序(带注释)】
#include
int show(int a,int b,int c,int d,int e);//声明一个函数
int main()
{
int a,b,c,d,e;