最新离散数学命题公式真值表C或C语言试验报告
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
精品文档
离散数学实验报告姓名:鲍佳珍专业班级:12级计算机本部一班实验成绩:201212201401016 学号:【实
验题目】1.命题逻辑实验二【实验目的】2.熟悉掌握命题逻辑中真值表,进一步能用它们来解决实际问题。【实验内容】3.求任意一个命题公
式的真值表【实验要求】4、C++语言编程实现C或【算法描述】5.
1.实验原理表征逻辑事件输入和输出之间全部可能状态的表格。列出命题公式真值表:命题公式的取值由组成命题公式的命表示假。1通常以表示真,0 真假值的表。真题变元的取值和命题联结词决定,命题联结词的真值表给出了真假值的算法。值表是在逻辑中使用的一类数学表,用来确定一个表达式是否为真或有效。实验过程
2.输出结果:然后用函数运算,首先是输入一个合理的式子,生成相应真值表,要求可生成逻辑非、合取、析取、蕴含、双条件表达式的真值表,例如: !a
输入输出真值表如下:a !a
1 00
1
a&&b
输入输出真值表如下:a b a&&b
0 0 0
0 1 0
1 0 0
1 1 1
a||b
输入输出真值表如下:精品文档.
精品文档
a b a||b
0 0 0
0 1 1
1 0 1
1 1 1
输入a->b
输出真值表如下:
a b a->b
0 0 1
0 1 1
1 0 0
1 1 1
输入a<>b (其中<>表示双条件)
输出真值表如下:
a b a<>b
0 0 1
0 1 0
1 0 0
1 1 16.【源程序(带注释)】#include
#include
void hequ();
void yunhan();
void xiqu();
void shuang();
void fei();//声明五个函数
int main()
{
int ch;
char s[10];
精品文档.
精品文档
牰湩晴尨欢迎使用命题公式真值表查找软件\n\n);
printf(.合取 2.析取 3.蕴含 4.双条件 5.非
0.结束查找\n);//软件使用界面的输出
scanf(%d,&ch);
while(ch){
printf(\
\n您能查找真值表的命题公式有以下几种:\n\n);
printf(.合取请输入a&&b 2.析取请输入a||b 3.蕴含请输入a->b 4.双条件请输入a<>b 5.非请输入!a\n);//选择输入的公式类型
getchar();
牰湩晴尨请输入您所需要查询的公式:);
scanf(%s,s);
if(!strcmp(s,a&&b))
hequ();
else if(!strcmp(s,!a))
fei();
else if(!strcmp(s,a||b))
xiqu();
else if(!strcmp(s,a->b))
yunhan();
精品文档.
精品文档
else if(!strcmp(s,a<>b))//将输入的公式与程序内存在的公式进行比较
shuang();
else
牰湩晴尨对不起,您所要查找的公式不存在!\n\n);
printf(\
1.继续查找0. 结束\n\n);
scanf(%d,&ch); //使程序循环
}
return 0;
}
void hequ()
{
a&&b\n); printf(a b
0\n); printf( 1
0\n); printf( 0
0\n); 0 printf(
1\n); printf( 1
}
void xiqu()
a||b\n); b printf(a 1\n); 1 printf(
精品文档.
精品文档
printf( 0 0\n); printf( 0 1\n); printf( 1 1\n); }
void yunhan()
{
printf(a b a->b\n); 1\n); printf( 1
1\n); 0 printf( printf( 0\n); 0
1\n);
printf( 1
}
void fei()
{
!a\n); printf(a
0\n); printf(
1\n); printf(
void shuang()
{
printf(a b a<>b\n);
0\n); printf( 1
精品文档.
精品文档
printf( 0 1\n);
printf( 0 0\n);
printf( 1 1\n);
} //定义五个函数
7.【实验结果与分析总结(含运行结果截图)】输入界面
输入公式并输出真值表
精品文档.精品文档
继续查找结束程序
精品文档.精品文档
精品文档.