实验二-命题公式的等值演算与真值表

1、实验二-命题公式的等值演算与真值表离散数学实验报告学院软件学院专业计算机科学与技术指导教师学号_姓名_提交日期2016.3.30实验二命题公式的等值演算与真值表一. 实验目的熟悉逻辑运算否定、合取、析取、蕴含、等价规厕，手俑雇序语言实现命题公会的真值表运算，使其与命题的等值演算结果相同。二. 实验内容写出下列题目的命题公式，并应用程序语言实现命题公式的真值表以求解问题。（一）预测比赛名次有A,B,C,D四人参加百米赛跑，观众甲、乙、丙预测化赛的名次为：甲说：C第一，B第二;乙说：C第二，D第三；丙说：A第二，D第四；比赛结束后发现甲、乙、丙每人的预测都只对一半，试问实际名次如何(假定没有并列者

2、)?(二)筛选产品方案某工厂要从A、B、C、D、E五种新型产品中选择几种产品投产，根据该厂的实际生产条件及市场需求的调查分析结果，选择时必须满足以下条件：(1) 若选择A，则必须选择B；(2) d、E两种产品至少选择一种；(3) b、C两种产品只选择一种；C、D两种产品都选择或都不选择；他咚而则必请为该厂做出选择方案。三. 实验过程1. (一)预测比赛名次算法分析：列出命题公式，说明程序设计思路。设Pi,Qi,Ri,Si分别表示A第i名，B第i名,C第i名，D第i名。(R1/!Q2)V(!R1/Q2);(R2/!S3)V(!R2/S3);(P2/!S4)V(!P2/S4);由于每人的预测都只对

3、一半，所以以上三式成立。真命题的合取式仍然为真命题。程序设计思路：通过运算，找出成真赋值，即可列出真值表。2. 程序代码：#includeusingnamespacestd;intmain()intR1,Q2,R2,S3,P2,S4;intt,p,q;coutR1Q2R2S3P2S4endl;for(R1=0;R12;R1+)for(Q2=0;Q22;Q2+)for(R2=0;R22;R2+)for(S3=0;S32;S3+)for(P2=0;P22;P2+)for(S4=0;S42;S4+)(t=(R1&!Q2)|(!R1&Q2);p=(R2&!S3)|(!R2&S3);q=(P2&!S4)

4、|(!P2&S4);if(t&p&q)=1)coutR1”Q2R2S3P2S4B;DVE;(B/!C)V(!B/C);CD;E-(A/B);2. 找出成真赋值。找出结果程序代码：#includeusingnamespacestd;intYunhan(int,int);intDengjia(int,int);intmain()intA,B,C,D,E;inta,b,c,d,e;for(A=0;A2;A+)for(B=0;B2;B+)for(C=0;C2;C+)for(D=0;D2;D+)for(E=0;E2;E+)a=Yunhan(A,B);b=(D|E);c=(B&!C)|(!B&C);d=Dengjia(C,D);e=Yunhan(E,(A&B);if(a&b&c&d&e)=1)coutABCDEendl;return0;intYunhan(intp,intq)if(p=1&q=0)return0;elsereturn1;intDengjia(intp,intq)if(p=1&q=0)r