实验二-命题公式的等值演算与真值表
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
《离散数学》
实验报告
学院软件学院
专业计算机科学与技术指导教师
学号
姓名
提交日期2016.3.30
实验二命题公式的等值演算与真值表
一.实验目的
熟悉逻辑运算否定、合取、析取、蕴含、等价规则，利用程序语言实现命题公式的真值表运算，使其与命题的等值演算结果相同。
二.实验内容
写出下列题目的命题公式，并应用程序语言实现命题公式的真值表以求解问题。
（一）预测比赛名次
有A,B,C,D四人参加百米赛跑，观众甲、乙、丙预测比赛的名次为：
甲说：C第一，B第二；
乙说：C第二，D第三；
丙说：A第二，D第四；
比赛结束后发现甲、乙、丙每人的预测都只对一半，试问实际名次如何(假定没有并列者)？
（二）筛选产品方案