原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学实验报告（1）
实验名称：构造任意合式公式的真值表
姓名：卢松
指导老师：冯伟森
年级：11级2班
学号：1143041172
学院：计算机
功能
给出任意变元的合式公式，构造该合式公式的真值表。
基本思想
仍然以用数值变量表示命题变元为前提规范，合式表示的表示。程序计算前将转换后的合式公式输入到本程序首个sign：语句后的条件位置上。另外使用a[N]来表示合式公式中所出现的n个命题变元。
一位数组a[N]除了表示n个命题变元外，它还是一个二进制加法的模拟器，每当在这个模拟器中产生一个二进制数时，就相当于给各命题变元产生了一组真值指派。其中数值一表示真值为1，数值0表示真值为0.
算法逻辑
将二进制加法模拟器a[N]赋初值，ai=0(i=1,2,…,n)。
计算模拟器中所对应于模拟器所给出的一组真值指派下合式公式的真值。（条件语句）
输出真值表中对应于模拟器所给出的一组真值指派及这组真值指派所对应的一行真值。
在模拟器a[N]中，模拟产生下一个二进制数值。
若a[N]中的数值等于2n，则结束，否则转（2）。
源程序
#includestdio.h
#define N 4
main()
{
int a[N];
int i,z;
printf(构造任意公式的真值表);
printf(\n);
for(i=1;i=4;i++)
{
a[i]=0;
printf(a[%d]=0 ,i);
}
sign:
if(!(a[1]==1||a[2]==1)((a[1]==1||a[3]==1)||a[4]==1))
z=1;
else
z=0;
for(i=N;i=1;i--)
printf(%4d,a[i]);
printf( |%4d\n,z);
i=1;
sing:
a[i]=a[i]+1;
if(a[i]2)
goto sign;
else
a[i]=0;
i++;
if(i=4)
goto sing;
}
备注：本题是以~（PνQ）Λ((PνR)νS)为例子进行实验的。
实验总结：
由于自己的技术问题只是验证了一组数据，因为时间紧迫所以来不及修改，课后会继续修改。从这次实验中学习到了很多，尤其是对真值表的判断条件，同时感觉到想像和实际操作之间的距离。
实验报告
提交时间：2012年12月19号
文档评论（0）