离散数学实验一柏超宇

《离散数学实验一柏超宇》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、AU瑯遂/薯实验报告（2012/2013学年第一学期）课程名称离散数学实验名称真值表法求主析取范式和主合取范式实验时间2016年3月29日指导单位南京邮电大学指导教师罗卫兰学生姓名柏超宇班级学号Q15010125学院（系）贝尔英才学院专业信息科技英才班实验报告实验名称真值表法求取主析取、合取范式指导教师罗卫兰实验类型Windows+DEVC++实验学时4实验时间3.29一、实验目的和要求冃的：编程实现用真值表法求任意变量的合式公式的主析取范式和主合取范式要求：1.从屏幕输入变元个数和每种情况的真值2•给出相应主析取和主合取范式二、实验环境（实验设备）硬件：电脑软件

2、：操作系统：WindowsXP编程软件：DevC++画图软件：系统自带画图工具文字软件：word2007三、实验原理及内容总体思路：用一个变量n保存变元个数，变量L代表2的n次方即所有情况的种数，全局数组data保存每种情况的真值，前n列表示n个变元的真值，第n+1列表示表达式的真值情况。要求用户输入最后一列的真值情况，代码可以自动根据行数填充前而的真值情况，L・i如：i=l时8・1=7转换成二进制就是111,对应的就是TTT。然后根据输出方式输出析取合取方法输出析取范式合取范式。重要代码片段：■For(i=l,i<=lji++){kl=l-ijfor(j=n;j

3、>=l;j--){if(kl^2==l)data[i][j]=*Tt5if(kl^2==6)data[i][j]=,F,jkl=kl/2jI}}上图将行数生成了各个变元的真值情况■for(i=lji<=lji++)if((data[i][n+l]==,T,)

4、

5、(data[i][n+l]==*t*)

6、

7、(data[i][n+l]==11r)){printfCC*)^for(j=ljj<=n-ljj++)II{if(data[i][j]==fFf)printfC'qprintfC^c^zitjDjprintfC-A11)}ii}if(data[i][n]==tF>)

8、printfC^printfC^c^zifn])}printf(-)••)5printfC-V11)}}printfCAb11)}printfC1••)}!上图根据真值表输出主析取范式。最后一个式子会多输出一个V。这时候输出一个退格再输出一个空格就能将/覆盖掉。运行结果:路X3十愆強表达式的禺取范式：V

9、q/-

10、r>V

11、q/-

12、r>主合取范式：/

13、qVb>A<-

14、pVqVR>A/Processexitedafter15.79secondswithreturnv

15、alue0请按任意键继续・・・先输入变元个数，以回车结尾，再输入各个变元的名称，记得中间要加上空格，在读入字符的时候,用了gctchar()函数来吸收无用的空格和这样就在屏幕上输出了该式子的主合取范式和主析取范式。实验报告五、实验小结通过这次实验我编写了程序根据真值表来输出主合取范式和主析取范式。加深了我对该概念的理解和掌握，同时通过调试的过程增加了自己对代码编写的水平，但该方法仍存在一些不足之处，应设法实现输入一个表达式,然后直接生成真值表。存储空间也可以从二维优化成一维，利用位运算可以加速生成过程。这些都是将来可以优化的方面。五、指导教师评语批阅人日期成绩