离散数学c语言实验报告,离散数学数理逻辑C++或C语言实验报告

离散数学实验报告

专业班级：12级计算机本部一班 姓名：鲍佳珍

学号： 1016 实验成绩：

1．【实验题目】

命题逻辑实验一

2．【实验目的】

熟悉掌握命题逻辑中的联接词，实现二元合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则，利用程序语言实现逻辑这几种逻辑运算。

3．【实验内容】

从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。(A)

4、【实验要求】

C或C＋＋语言编程实现

5. 【算法描述】

1.实验原理

(1)合取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∧Q, 读作P、Q的合取, 也可读作P与Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = T时方可P∧Q =T, 而P、Q只要有一为F则P∧Q = F。这样看来，P∧Q可用来表示日常用语P与Q, 或P并且Q。

(2)析取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∨Q, 读作P、Q的析取, 也可读作P或Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = F, Q = F时方可P∨Q =F, 而P、Q只要有一为T则P∨Q = T。这样看来，P∨Q可用来表示日常用语P或者Q。

(3)条件：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P→Q, 读作P条件Q, 也可读作如果P，那么Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P &#