电脑桌面
添加小米粒文库到电脑桌面
安装后可以在桌面快捷访问

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

离散数学实验指导书及其答案_第1页
1/15
离散数学实验指导书及其答案_第2页
2/15
离散数学实验指导书及其答案_第3页
3/15
实验一 命题逻辑公式化简 【实验目的】加深对五个基本联结词(否定、合取、析取、条件、双条件)的理解、掌握利用基本等价公式化简公式的方法。 【实验内容】用化简命题逻辑公式的方法设计一个表决开关电路。 实验用例:用化简命题逻辑公式的方法设计一个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"); } //注:联结词不定义成函数,否则太繁 实验二 命题逻辑推理 【实验目的】加深对命题逻辑推理方法的理解。 【实验内容】用命题逻辑推理的方法解决逻辑推理问题。 实验用例:根据下面的命题,试用逻辑推理方法确定谁是作案者,写出推理过程。 (1)营业员 A或 B偷了手表; (2)若 A作案,则作案不在营业时间; (3)若 B提供的证据正确,则货柜末上锁; (4)若 B提供的证据不正确,则作案发生在营业时间; (5)货柜上了锁。 【实验原理和方法】 (1)符号化上面的命题,将它们作为条件,营业员 A偷了手表作为结论,得一个复合命题。 (2)将复合命题中要用到的联结词定义成 C语言中的函数,用变量表示相应的命题变元。将复合命题写成一个函数表达式。 (3)函数表达式中的变量赋初值 1。如果函数表达式的值为 1,则结论有效, A偷了手表,否则是 B偷了手表。 用命题题变元表示: A:...

1、当您付费下载文档后,您只拥有了使用权限,并不意味着购买了版权,文档只能用于自身使用,不得用于其他商业用途(如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利)。
2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。
3、如文档内容存在违规,或者侵犯商业秘密、侵犯著作权等,请点击“违规举报”。

碎片内容

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

小辰+ 关注
实名认证
内容提供者

出售各种文档和资料

确认删除?
VIP
微信客服
  • 扫码咨询
会员Q群
  • 会员专属群点击这里加入QQ群
客服邮箱
回到顶部