离散数学实验报告2[2].docx_第1页
离散数学实验报告2[2].docx_第2页
离散数学实验报告2[2].docx_第3页
全文预览已结束

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

离散数学实验报告学 院 专 业 指导教师 学 号 姓 名 提交日期 实验二 命题公式的等值演算与真值表一.实验目的熟悉逻辑运算否定、合取、析取、蕴含、等价规则，利用程序语言实现命题公式的真值表运算，使其与命题的等值演算结果相同。二.实验内容（一）预测比赛名次写出下列题目的命题公式，并应用程序语言实现命题公式的真值表以求解问题。 有四人参加百米赛跑，观众甲、乙、丙预测比赛的名次为： 甲说： C第一，B第二； 乙说： C第二，D第三； 丙说： A第二，D第四；比赛结束后发现甲、乙、丙每人的预测都只对一半，试问实际名次如何(假定没有并列者)？（二）筛选产品方案某工厂要从 A 、 B 、 C 、 D 、 E 五种新型产品中选择几种产品投产，根据该厂的实际 生产条件及市场需求的调查分析结果，选择时必须满足以下条件：(1) 若选择 A ，则必须选择 B ；(2) D 、 E 两种产品至少选择一种；(3) B 、 C 两种产品只选择一种；(4) C 、 D 两种产品都选择或都不选择；(5) 若选 E ，则必须选择 A 和 B 。 请用命题公式真值表法为该厂做出选择方案。三. 实验过程（一）预测比赛名次1. 算法分析：列出命题公式，说明程序设计思路。2. 程序代码：#include int main(int argc, char *argv) int a,b,c,d; for (a=1;a5;a+) for (b=1;b5;b+) for (c=1;c5;c+) for (d=1;d5;d+) if (a!=b&b!=c&c!=d&d!=a&a!=c&b!=d) & (c=1 &b!=2)|(c!=1 &b=2) & (c=2 &d!=3)|(c!=2 &d=3)&(a=2 &d!=4)|(a!=2 &d=4) printf(A第%d名，B第%d名，C第%d名，D第%d名n,a,b,c,d);return 0; 3.实验数据及结果分析列出求解的真值表，并筛选出正确答案。（二）筛选产品方案1. 算法分析：列出命题公式，说明程序设计
人人文库> 全部分类> 应用文书 > 作业报告

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论