实验一 命题逻辑公式化简 【实验目的】加深对五个基本联结词（否定、合取、析取、条件、双条件）的理解、掌握利用基本等价公式化简公式的方法
【实验内容】用化简命题逻辑公式的方法设计一个表决开关电路
实验用例：用化简命题逻辑公式的方法设计一个5人表决开关电路，要求 3人以上（含3人）同意则表决通过（表决开关亮）
【实验原理和方法】 （1）写出 5人表决开关电路真值表，从真值表得出 5人表决开关电路的主合取公式（或主析取公式），将公式化简成尽可能含五个基本联结词最少的等价公式
（2）上面公式中的每一个联结词是一个开关元件，将它们定义成 C语言中的函数
（3）输入 5人表决值（0或 1），调用上面定义的函数，将 5人表决开关电路真值表的等价公式写成一个函数表达式
（4）输出函数表达式的结果，如果是 1，则表明表决通过，否则表决不通过
参考代码： #include int vote(int a,int b,int c,int d,int e) { //五人中任取三人的不同的取法有 10种
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; } void main() { int a,b,c,d,e; printf("请输入第五个人的表决值（0或 1，空格分开）："); scanf("%d%d%d%d%d",&a,&b,&c,&d,&e); if(vote(a,b,c,d,e)) printf("很好，表决通过
\n"); else printf("遗憾，表决没有通过
\n"); } //注：联结词不定义成函数，否则太繁 实验二 命题逻辑推理 【实验目的
