离散数学实验报告
专业班级?/p>
12
级计算机本部一?/p>
姓名:鲍佳珍
学号?/p>
201212201401016
实验成绩?/p>
1
?/p>
【实验题目?/p>
命题逻辑实验一
2
?/p>
【实验目的?/p>
熟悉掌握命题逻辑中的联接词,实现二元合取、析取、蕴涵和等价表达式的
计算。熟悉连接词逻辑运算规则,利用程序语言实现逻辑这几种逻辑运算?/p>
3
?/p>
【实验内容?/p>
从键盘输入两个命题变?/p>
P
?/p>
Q
的真值,求它们的合取、析取、条件和?/p>
条件的真值?/p>
?/p>
A
?/p>
4
?/p>
【实验要求?/p>
C
?/p>
C
++语言编程实现
5.
【算法描述?/p>
1.
实验原理
?/p>
1
?/p>
合取
:二元命题联结词。将两个命题
P
?/p>
Q
联结起来,构成一个新?/p>
命题
P
?/p>
Q,
读作
P
?/p>
Q
的合?/p>
,
也可读作
P
?/p>
Q
?/p>
这个新命题的真值与构成它的
命题
P
?/p>
Q
的真值间的关系为只有当两个命题变?/p>
P = T, Q = T
时方?/p>
P
?/p>
Q =T,
?/p>
P
?/p>
Q
只要有一?/p>
F
?/p>
P
?/p>
Q = F
。这样看来,
P
?/p>
Q
可用来表示日常用?/p>
P
?/p>
Q,
?/p>
P
并且
Q
?/p>
?/p>
2
?/p>
析取
:二元命题联结词。将两个命题
P
?/p>
Q
联结起来,构成一个新?/p>
命题
P
?/p>
Q,
读作
P
?/p>
Q
的析?/p>
,
也可读作
P
?/p>
Q
?/p>
这个新命题的真值与构成它的