离散数学实验报告()最新.pdfVIP

《离散数学》实验报告 专 业 网络工程 班 级 姓 名 学 号 授课教师 二 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 的真值为真。 三．实验内容 编写一个程序实现非运算、合取运算、析取运算、异或运算、蕴涵运算、等价运算。 4．算法程序 #includestdio.h void main() { printf(请输入 P 、Q 的真值\n); int a,b; scanf(%d%d,a,b); int c,d; if(a==1) c=0; else c=1; if(b==1) d=0; 1 《离散数学》实验报告 else d=1; printf(非 P 、Q 的结果为%d ，%d\n,c,d); int e; if(a==1b==1) e=1; else e=0; printf(合取的结果为%d\n,e); int f; if(a==0b==0) f=0; else f=1; printf(析取的结果为%d\n,f); int g; if(a==1b==0) g=0; else g=1; printf(单条件的结果为%d\n,g); int h; if(a==b) h=1; else h=0; printf(双条件的结果为%d\n,h); } 内容格式：新罗马，五号，行间距固定值 18 磅 五．实验结果 2 《离散数学》实验报告 六．心得体会 通过编程，学会了析取、合取、单条件连接词、双条件连接词的用法。 3 《离散数学》实验报告 实验二 根据矩阵的乘法求复合关系 一．实验目的 复合运算是一种重要的二元关系运算，可用于二元关系的合成，二元关系的性质判断， 二元关系传递闭包的运算等方面，通过编程实现二元关系的复合运算，帮助同学们理解复 合运算的过程，复合形成新的二元关系中的序偶是如何产生的。 二．实验原理 复合运算能由两个二元关系