文档介绍：重庆交通大学学生实验报告实验课程名称离散数学开课实验室数学实验室学院理学院专业信息与计算科学学生姓名谭冰学号2班级 2班开课时间2011至2012学年第二学期教师评语:总成绩教师签名目录实验一:教材第17页****题(1)(b);教材第39页****题(4)(b)…………:教材第127页****题(2)(b);教材第113页****题(2)(b) 9实验一(此实验包含两题)一、实验内容从键盘输入两个命题变元P和Q的真值,求它们的非,合取,析取,条件和双条件的真值。求任意一个命题公式的真值表。二、实验目的熟悉掌握命题逻辑中的联接词,真值表,主范式等,进一步能用它们来解决实际问题。三、实验环境MATLAB软件的编程环境实现四、实现两题的算法与原理(教材第17页****题(1)(b),39页****题(4)(d))根据析取,合取的定义可用简单的算术运算求出结果,并将结果转换成逻辑值。同样根据等价关系可将条件式及双条件式转换成析取和合取的运算。五、实验数据及结果分析实验所用函数:functiony=Not(x)ifx==0y=1;elsey=0;endfunctionm=Vee(x,y)ifx==0&y==0m=0;elsem=1;endfunctiony=Wedge(P,Q)ifP==1&Q==1y=1;elsey=0;endfunctiony=If(P,Q)y=Vee(Not(P),Q);endfunctiony=Hh(P,Q,R)y=Vee(Wedge(P,R),If(P,Q));endfunctiony=Ss(P,Q,R)y=Wedge(If(P,Wedge(Q,R)),If(Not(P),Wedge(Not(Q),Not(R))));endA=[000001010011100101110111];P=A(:,1);Q=A(:,2);R=A(:,3);In=input(‘请输入含有三个变元的命题公式:’);S={‘真值表为’};T=num2str([P,Q,R,In]);T%保存命名为Zzb'此为求(P→(Q∧R))∧(¬P→(¬Q∧¬R))主析取范式、主合取范式的程序,并判断是否为重言式,以K代替其真值'P=[00001111];Q=[00110011];R=[01010101];'PQR'Z=[P;Q;R]'K=Wedge(If(P,Wedge(Q,R)),If(Not(P),Wedge(Not(Q),Not(R))));'主析取范式:'A=[];V=[];fori=find(K)switchicase1A=[A,'(¬P∧¬Q∧¬R)∨'];case2A=[A,'(¬P∧¬Q∧R)∨'];case3A=[A,'(¬P∧Q∧¬R)∨'];case4A=[A,'(¬P∧Q∧R)∨'];case5A=[A,'(P∧¬Q∧¬R)∨'];case6A=[A,'(P∧¬Q∧R)∨'];case7A=[A,'(P∧Q¬∧R)∨'];case8A=[A,'(P∧Q∧R)'];otherwise'此为永假式'endendA'主合取范式'fori=find(Not(K))switchicase1V=[V,'(P∨Q∨R)∧'];case2V=[V,'(P∨Q¬∨R)∧'];case3V=[V,'(P∨¬Q∨R)∧'];case4V=[V,'(P∨¬Q∨¬R)∧'];case5V=[V,'(¬P∨Q∨R)∧'];case6V=[V,'(¬P∨Q∨¬R)∧'];case7V=[V,'(¬P∨¬Q∨R)∧'];case8V=[V,'(¬P∨¬Q∨¬R)'];otherwise'此为永真式'endendVifall(K)==1'K是重言式'else'K不是重言式'end%保存文件名为ZyP17(1)(b):(P∧R)∨(P→Q)运行过程及结果:>>P=[00001111],Q=[00110011],R=[01010101]P=00001111Q=00110011R=01010101>>Zzb本程序可以求真值表,请输入含有三个变元的命题公式:Vee(Wedge(P,R),If(P,Q))T=00010011010101111000101111011111P39(4)(d):(P→(Q∧R))∧(¬P→(¬Q∧¬R))运行过程及结果:>>Zyans=此为求(P→(Q∧R))∧(¬P→(¬Q∧¬R))主析取范式、主合取范式的程序,并判断是否为重言式,以K代替其真值ans=PQRZ=000001010011100101110111ans=主析取范式:A=(¬P∧¬Q∧¬R)∨(P∧Q∧R)ans=主合取范式V=(P∨Q¬∨R)∧(P∨¬Q∨R)∧(P∨¬Q∨¬R)∧(¬P∨Q∨R)∧(¬P∨Q∨¬R)∧(¬P∨¬Q∨R)ans=K不是重言式六、收获与体会通过实验使我了解了一些数理逻