离散数学上机实验报告.docx

《离散数学》
实验报告
姓名：
学号：
班级:
ﻬ
实验一 连结词逻辑运算
一。实验目的
实现二元合取、析取、，利用程序语言实现逻辑这几种逻辑运算。
二。实验内容
从键盘输入两个命题变元Ｐ和Ｑ的真值，求它们的合取、析取、，如果不符合０、1条件需要重新输入,程序有良好的输入输出界面。

使用Ｍicrosofｔ Ｖｉsｕal C＋+6。０为编程软件,采用称C／Ｃ＋＋语言为编程语言实现。
四。实验过程
：
合取:p,q都为1的时候为1,其他为０ 
析取：p,ｑ都为０的时候为0,其他为1 
蕴含：p为1，q为0时为0,其他为１ 
等价：p，q同真同假
2．程序代码:
＃include＜stdiｏ。ｈ〉
iｎt main（)
{
int P,Q，a，ｂ，ｃ,d，ｐ,ｑ；
ﻩpriｎtｆ（” 　 P的值＂）;
ﻩfor(P=0；P<２;Ｐ＋+）
ﻩ｛
ﻩﻩfor（Q=0；Ｑ〈2;Q++)
ﻩﻩﻩprintｆ（"＼ｔ%ｄ”，Ｐ）；
｝
ﻩprintｆ（”\n Q的值")；
ｆｏr（Ｐ=０；Ｐ〈2；P++)
｛
ﻩﻩfor（Q=０;Q＜2；Ｑ++）
ﻩﻩﻩpriｎtf（"\t%d",Ｑ）;
ﻩ｝
ﻩｐｒinｔｆ(”＼n 非P的值"）；
ﻩfor(P=0;P〈2；Ｐ+＋)
ﻩ{
ﻩﻩｆor(Ｑ=0；Ｑ〈２;Ｑ++）
ﻩﻩ｛
ﻩﻩif(Ｐ=＝０）/＊判断非Ｐ的值*/
ﻩﻩﻩﻩp=1；
ﻩﻩelse
ﻩﻩﻩﻩp=0；
ﻩﻩﻩｐrintf（＂\ｔ%ｄ”,p);
ﻩ}
ﻩ}
ﻩprintf("＼n 非Q的值");
ﻩｆｏr（P=０；P＜2；P＋+）
ﻩ｛
ﻩﻩｆｏｒ(Q=０；Q〈2；Ｑ+＋）
ﻩ｛
ﻩﻩﻩｉf（Ｑ＝=１）/*判断非Q的值*/
ﻩﻩﻩﻩq＝０；
ﻩ elsｅ
ﻩﻩﻩ ｑ＝1；
ﻩﻩﻩpｒiｎtf("\t％d”,ｑ)；
ﻩﻩ｝
｝
ﻩｐrｉntｆ（"＼n P与Ｑ的值"）；
ﻩfor（Ｐ＝０；P<2；Ｐ++）
ﻩ｛
ﻩ ｆor(Q=0;Ｑ＜2；Ｑ++）
ﻩﻩ｛
ﻩﻩ iｆ（Q==0｜|P＝=０)/*判断P与Q的值*／
ﻩﻩﻩﻩa＝０;
ﻩﻩeｌse
ﻩﻩﻩａ＝1；
ﻩﻩﻩｐrintf(”\t%d”，ａ)；
ﻩﻩ｝
ﻩ}
ﻩｐｒｉｎtf(＂\n Ｐ或Ｑ的值”）;
ﻩfor(P=0；P＜2；P++)
{
ﻩﻩｆｏr（Q=0；Q〈2;Q++）
ﻩﻩ{
ﻩﻩﻩif（Ｑ==１||Ｐ==1）/*判断P或Ｑ的值＊/
ﻩﻩ ﻩb=1；
ﻩ ﻩｅlsｅ
ﻩﻩﻩb＝０;
ﻩﻩﻩpriｎｔｆ("\t％d”，ｂ）;
ﻩﻩ}
ﻩ}
ﻩｐｒiｎｔｆ（”\nP蕴含Q的值＂）；
ﻩｆoｒ(P=0;Ｐ＜2;Ｐ++)
ﻩ{
ﻩfor(Q＝0;Q<2;Q＋＋）
ﻩﻩ｛
ﻩﻩﻩiｆ(Ｐ==１＆＆Q＝=０）/＊判断P蕴含Ｑ的值*／
ﻩﻩﻩﻩc=0;
ﻩﻩﻩelｓｅ
ﻩﻩﻩﻩc=1;
ﻩ ﻩｐrintf(”＼t％d"，c）;
ﻩ}
ﻩ｝
prｉntf(＂＼ｎP等价Q的值")；
ﻩｆor（P＝０；P〈2；P++）
ﻩ｛
ﻩﻩfor（Q＝0;Ｑ<2；Ｑ＋＋）
ﻩ {
ﻩﻩﻩif（P＝=Ｑ)/＊判断P等价Q的值＊/
ﻩﻩﻩﻩd=1；
ﻩ ﻩｅｌse
ﻩ ﻩﻩd=0；
ﻩ ﻩprinｔf（”\t％d”，d)；
ﻩﻩ｝
｝
ﻩｐrintf（”＼n＂)；
retuｒｎ　0;
}
3。实验数据及结果分析:
ﻬ
实验二　关系的复合运算及逆运算
一。实验目的
熟悉关系的复合运算和逆运算，编程实现关系复合运算和逆运算算法.

利用矩阵求解有限集上的复合关系和逆关系。
三。实验过程
１．算法分析：
复合运算就将两个用矩阵表示的关系进行复合,即在第一个矩阵中寻找值为1的元素坐标(i　,j ），在第二个矩阵第j行寻找值为1的元素，若有，且坐标为（j ,k ）,则产生的新的关系的矩阵中坐标为(i ，k )的元素值为１。
逆运算就是将用矩阵中值为1的元素坐标(ｉ　，j）对调,产生新的关系的矩阵中坐标为(j　,i )的元素值为1.
2．程序代码:
／／关系的复合运算
＃iｎclｕde〈iostrｅａm〉
ｕsing　nａmespacｅ ｓｔd；
ｉnｔ　ｍaｉn（）
｛
iｎ