离散数学实验报告格式

《离散数学》实验报告

专 业 班 级 姓 名 学 号 授课教师

二 O 一 六 年 十二 月

目 录

实验一 联结词的运算

实验二

实验三

实验四

根据矩阵的乘法求复合关系 利用warshall算法求关系的传递闭包图的可达矩阵实现

《离散数学》实验报告

实验一 联结词的运算

一.实验目的

通过上机实验操作,将命题连接词运算融入到C语言的程序编写中,一方面加强对命题连接词运算的理解,另一方面通过编程实现命题连接词运算,帮助学生复习和锻炼C语言知识,将理论知识与实际操作结合,让学生更加容易理解和记忆命题连接词运算。

二.实验原理

(1) 非运算, 符号:? ,当P=T时 ,?P为F, 当P=F时 ,?P为T 。

(2) 合取, 符号: ∧ , 当且仅当P和Q的真值同为真,命题P∧Q的真值才为真;否则,P∧Q的真值为假。

(3) 析取, 符号: ∨ , 当且仅当P和Q的真值同为假,命题P∨Q的真值才为假;否则,P∨Q的真值为真。

(4) 异或, 符号: ▽ , 当且仅当P和Q的真值不同时,命题P▽Q的真值才为真;否则,P▽Q的真值为真。

(5) 蕴涵, 符号: → , 当且仅当P为T,Q为F时,命题P→Q的真值才为假;否则,P→Q的真值为真。

(6) 等价, 符号: ? , 当且仅当P,Q的真值不同时,命题P?Q的真值才为假;否则,P→Q的真值为真。

三.实验内容

编写一个程序实现非运算、合取运算、析取运算、异或运算、蕴涵运算、等价运算。

四.算法程序

#include int main() {

bool P=true,Q=false; printf(\请选择运算方式\\n\ printf(\析取 \\n\ printf(\合取\\n\ printf(\非\\n\ printf(\蕴含\\n\ printf(\等价\\n\

1

联系客服:779662525#qq.com(#替换为@) 苏ICP备20003344号-4