离散数学实指导书及其答案.docVIP

实验一 命题逻辑公式化简 【实验目的】加深对五个基本联结词（否定、合取、析取、条件、双条件）的理解、掌握利用基本等价公式化简公式的方法。 【实验内容】用化简命题逻辑公式的方法设计一个表决开关电路。 实验用例：用化简命题逻辑公式的方法设计一个5人表决开关电路，要求3人以上（含3人）同意则表决通过（表决开关亮）。 【实验原理和方法】 （1）写出5人表决开关电路真值表，从真值表得出5人表决开关电路的主合取公式（或主析取公式），将公式化简成尽可能含五个基本联结词最少的等价公式。 （2）上面公式中的每一个联结词是一个开关元件，将它们定义成C语言中的函数。 （3）输入5人表决值（0或1），调用上面定义的函数，将5人表决开关电路真值表的等价公式写成一个函数表达式。 （4）输出函数表达式的结果，如果是1，则表明表决通过，否则表决不通过。 参考代码： #includestdio.h int vote(int a,int b,int c,int d,int e) { //五人中任取三人的不同的取法有10种。 if( abc || abd || abe || acd || ace || ade || bcd || bce || bde || cde) 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); } //注：联结词不定义成函数，否则太繁 实验二 命题逻辑推理 【实验目的】加深对命题逻辑推理方法的理解。 【实验内容】用命题逻辑推理的方法解决逻辑推理问题。 实验用例：根据下面的命题，试用逻辑推理方法确定谁是作案者，写出推理过程。 （1）营业员A或B偷了手表； 2）若A作案，则作案不在营业时间； 3）若B提供的证据正确，则货柜末上锁； 4）若B提供的证据不正确，则作案发生在营业时间； 5）货柜上了锁。 营业员A偷了手表 A偷了手表B偷了手表 int A,B,C,D,E; for(A=0;A=1;A++) for(B=0;B=1;B++) for(C=0;C=1;C++) for(D=0;D=1;D++) for(E=0;E=1;E++) if((A||B) (!A||C) (!D||E) (D||!C) !E) printf(A=%d,B=%d\n,A,B); } /*实验结果是：A=0，B=1，即B偷了手表*/ 实验三 集合运算 【实验目的】掌握用计算机求集合的交、并、差和补运算的方法。 【实验内容】编程实现集合的交、并、差和补运算。 【实验原理和方法】 （1）用数组A，B，C，E表示集合。输入数组A，B，E（全集），输入数据时要求检查数据是否重复（集合中的数据要求不重复），要求集合A，B是集合E的子集。 以下每一个运算都要求先将集合C置成空集。 （2）二个集合的交运算：把数组A中元素逐一与数组B中的元素进行比较，将相同的元素放在数组C中，数组C便是集合A和集合B的交。 C语言算法： for(i=0;im;i++) for(j=0;jn;j++) if(a[i]==b[j]) c[k++]=a[i]; （3）二个集合的并运算：把数组A中各个元素先保存在数组C中。将数组B中的元素逐一与数组B中的元素进行比较，把不相同的元素添加到数组C中，数组C便是集合A和集合B的并。 C语言算法： for(i=0;im;i++) c[i]=a[i]; for(i=0;in;i++) { for(j=0;jm;j++) if(b[i]==c[j]) break; if(j==m){ c[m+k]=b[i];k++;} } （4）二个集合的差运算：把数组A中各个元素先保存在数组C中。将数组B中的元素逐一与数组B中的元素进行比较，把相同的元素从数组C中删除，数组C便是集合A和集合B的差A-B。 C语言算法： for(i=0;im;i++) c[i]=a[i]; for(i=0;in;i++) for(j=0;jm;j++) if(b[i]==c[j]) { for(k=j;km;k++) c[k]=c[k+1];/*移位*/ m--; break; } （5）集合的补运算：将数组E中的元素逐一与数组A中的元素进行比较，把不相同的元素保存到数