离散数学真值表c语言实验报告,离散数学五人表决真值表实验报告

离散数学实验报告

专业班级：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;