安徽工业大学离散数学实验报告.docVIP

《离散数学》实验报告 专 业 软件工程 班 级 163班 姓 名 周掌珍 学 号 169074261 授课教师 杨思春 二 O 一 七 年 六 月 目 录 实验一 联结词的运算 实验二 集合的运算 实验三 二元关系的性质判定 实验四 图的矩阵运算 《离散数学》实验报告 PAGE 20 实验一 联结词的运算 一．实验目的 通过上机实验操作，将命题连接词运算融入到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