离散数学实验报告.docxVIP

--- -------- 《离散数学》实验报告 专 业 网络工程 班 级 姓 名 学 号 授课教师 二 O 一 六 年 十二 月 目 录 实验一 联结词的运算 实验二 根据矩阵的乘法求复合关系 实验三 利用 warshall 算法求关系的传递闭包 实验四 图的可达矩阵实现 《离散数学》实验报告 实验一 联结词的运算 一．实验目的 通过上机实验操作，将命题连接词运算融入到 C 语言的程序编写中，一方面加强对命 题连接词运算的理解，另一方面通过编程实现命题连接词运算，帮助学生复习和锻炼 C语 言知识，将理论知识与实际操作结合，让学生更加容易理解和记忆命题连接词运算。 二．实验原理 (1) 非运算 , 符号 : , 当 P=T时 ， P 为 F, 当 P=F 时 ， P 为 T 。 合取 , 符号 : ∧ , 当且仅当 P 和 Q的真值同为真，命题 P∧ Q的真值才为真；否则， P∧ Q的真值为假。 析取 , 符号 : ∨ , 当且仅当 P 和 Q的真值同为假，命题 P∨ Q的真值才为假；否则， P∨ Q的真值为真。 异或 , 符号 : ▽ , 当且仅当 P 和 Q的真值不同时，命题 P▽ Q的真值才为真；否则， P▽ Q的真值为真。 蕴涵 , 符号 : → , 当且仅当 P 为 T,Q 为 F 时，命题 P→ Q的真值才为假； 否则，P→ Q 的真值为真。 (6) 等价 , 符号 : ? , 当且仅当 P,Q 的真值不同时，命题 P? Q的真值才为假；否则， P→ Q的真值为真。 三．实验内容 编写一个程序实现非运算、合取运算、析取运算、异或运算、蕴涵运算、等价运算。 四．算法程序 #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 《离散数学》实验报告 实验二 根据矩阵的乘法求复合关系 一．实验目的 复合运算是一种重要的二元关系运算， 可用于二元关系的合成， 二元关系的性质判断，二元关系传递闭包的运算等方面，通过编程实现二元关系的复合运算，帮助同学们理解复合运算的过程，复合形成新的二元关系中的序偶是如何产生的。 二．实验原理 复合运算能由两个二元关系生成一个新的二元关系。 X→ Y(R 关系 ) ， Y→Z(S 关系 ) ，则称 X→ Z( R?S 关系 ) 为 R 和 S 的复合关系，并规定 为： R?S={x,z|x ∈ X∧z∈ Z∧ ? y(y ∈ Y∧x,y ∈ R∧ y,z ∈S)} 关系可用矩阵表示，故复合运算也可用矩阵表示。设有三个集合： X={x ,x ? 1 2 x },Y={y ,y ? y },Z={z 1 ,z ? z }, X R Y S Z ， |X|=m, |Y|=n, |Z|=p,M =[a ] m× n ， m 12n 2p R ik M=[a kj ] n× p 则复合关系 R?S 的关系矩阵为： S MR?S= MR?MS=[c ij ] m×p n c ij ( aik bkj ) k 1 ∨代表逻辑加，满足 0∨ 0=0，0∨ 1=1,1 ∨ 0=1， 1∨ 1=1 ∧代表逻辑乘，满足 0∧ 0=0， 0∧ 1=0,1 ∧ 0=0， 1∧ 1=1 三．实验内容 将二元关系用关系矩阵表示，通过两个关系矩阵对应行列元素先进行逻辑乘，后进行 逻辑加生成新的关系矩阵中的每一个元素。新的关系矩阵所对应的二元关系就是两个二元 关系复合形成的，编程实现这一复合过程。 四．算法程序 #include stdio.h int main() { int a[100][100],b[100][100],c[100][100],i,j,k,n;