精选优质文档-倾情为你奉上实验一 命题逻辑公式化简【实验目的】加深对五个基本联结词（否定、合取、析取、条件、双条件）的理解、掌握利用基本等价公式化简公式的方法。【实验内容】用化简命题逻辑公式的方法设计一个表决开关电路。实验用例：用化简命题逻辑公式的方法设计一个5人表决开关电路，要求3人以上（含3人）同意则表决通过（表决开关亮）。【实验原理和方法】（1）写出5人表决开关电路真值表，从真值表得出5人表决开关电路的主合取公式（或主析取公式），将公式化简成尽可能含五个基本联结词最少的等价公式。（2）上面公式中的每一个联结词是一个开关元件，将它们定义成C语言中的函数。（3）输入5人表决值（0或1），调用上面定义的函数，将5人表决开关电路真值表的等价公式写成一个函数表达式。（4）输出函数表达式的结果，如果是1，则表明表决通过，否则表决不通过。参考代码：#includeint vote(int a,int b,int c,int d,int e)/五人中任取三人的不同的取法有10种。if( a&b&c
