离散数学实验报告格式.docVIP

《离散数学》实验报告 专 业班 级姓 名学 号授课教师 二 O 一 六 年 十二 月  目 录 实验一 联结词的运算 实验二 根据矩阵的乘法求复合关系 实验三 利用warshall算法求关系的传递闭包 实验四 图的可达矩阵实现 《离散数学》实验报告  PAGE 13  实验一 联结词的运算 一．实验目的 通过上机实验操作，将命题连接词运算融入到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的真值为真。 三．实验内容 编写一个程序实现非运算、合取运算、析取运算、异或运算、蕴涵运算、等价运算。 四．算法程序 #includestdio.h int main() { bool P=true,Q=false; printf(请选择运算方式\n); printf(1.析取 \n); printf(2.合取\n); printf(3.非\n); printf(4.蕴含\n); printf(5.等价\n); int m; scanf(%d,m); while( m=1 m=4 ) { printf(请输入P Q的值\n); scanf(%d %d ,P,Q); int count = 1; switch(m) { case 1:while( (count = 1)(count 4 ) ) { if(Q==0 P==0) printf(P 析取 Q = 0\n); else printf(P 析取Q = 1\n); count++; if(count==4) break; printf(请输入P Q的值\n); scanf(%d %d ,P ,Q ); } break; case 2:while( (count = 0)(count 4 ) ) { if(Q==1 P==1) printf(P 合取 Q = 1\n); else printf(P 合取 Q = 0\n); count++; if(count==4) break; printf(请输入P Q的值\n); scanf(%d %d ,P ,Q ); } break; case 3:while( (count = 0)(count 4 ) ) { if(Q==0) printf(非Q = 1\n); else printf(非Q = 0\n); if(P==0) printf(非P = 1\n); else printf(非P = 0\n); count++; if(count==4) break; printf(请输入P Q的值\n); scanf(%d %d ,P ,Q ); } break; case 4:while( (count = 0)(count 4 ) ) { if( Q==1 || (Q==0 P==0)) printf(P 蕴含 Q = 1\n); else if(P==1 Q==0) printf(P 蕴含 Q