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

离散数学上机实验报告 《离散数学》 实验报告 姓名： 学号： 班级： 实验一 连结词逻辑运算 一.实验目的 实现二元合取、析取、蕴涵和等价表达式的计算。 熟悉连接词逻辑运算规则，利用程序语言实现逻辑这几种逻辑运算。 二.实验内容 从键盘输入两个命题变元 P 和 Q 的真值，求它们的合取、析取、蕴涵和等价四种运算的真值。要 求对输入内容进行分析，如果不符合 0、1 条件需要重新输入，程序有良好的输入输出界面。 三.实验环境 使用 Microsoft Visual C++6.0 为编程软件， 采用称 C/C++语言为编程语言实现。 四.实验过程 算法分析: 合取：p，q 都为 1 的时候为 1，其他为 0 析取：p，q 都为 0 的时候为 0，其他为 1 蕴含：p 为 1，q 为 0 时为 0，其他为 1 等价：p，q 同真同假 程序代码: #includestdio.h int main() 3 { int P,Q,a,b,c,d,p,q; printf( P 的值); for(P=0;P2;P++) { for(Q=0;Q2;Q++) printf(\t%d,P); } printf(\n Q 的值); for(P=0;P2;P++) { for(Q=0;Q2;Q++) printf(\t%d,Q); } printf(\n 非 P 的值); for(P=0;P2;P++) { for(Q=0;Q2;Q++) { if(P==0)/*判断非 P 的值*/ p=1; else 4 p=0; printf(\t%d,p); } } printf(\n 非 Q 的值); for(P=0;P2;P++) { for(Q=0;Q2;Q++) { if(Q==1)/*判断非 Q 的值*/ q=0; else q=1; printf(\t%d,q); } } printf(\n P 与 Q 的值); for(P=0;P2;P++) { for(Q=0;Q2;Q++) { if(Q==0||P==0)/*判断 P 与 Q 的值*/ 5 a=0; else a=1; printf(\t%d,a); } } printf(\n P 或 Q 的值); for(P=0;P2;P++) { for(Q=0;Q2;Q++) { if(Q==1||P==1)/*判断 P 或 Q 的值*/ b=1; else b=0; printf(\t%d,b); } } printf(\nP 蕴含 Q 的值); for(P=0;P2;P++) { for(Q=0;Q2;Q++) 6 { if(P==1Q==0)/*判断 P 蕴含 Q 的值*/ c=0; else c=1; printf(\t%d,c); } } printf(\nP 等价 Q 的值); for(P=0;P2;P++) { for(Q=0;Q2;Q++) { if(P==Q)/*判断 P 等价 Q 的值*/ d=1; else d=0; printf(\t%d,d); } } printf(\n); return 0; 7 } 实验数据及结果分析: 11 -”0 1 0 1 -”00 1 1 n o L 1 0B 日1 1 B B 1 1E:\ d 1 1 -”0 1 0 1 -”0 0 1 1 n o L 1 0 B 日1 1 B B 1 1 1 0 n 1 L 1 1 ．坛蓝，－，F 们直叶向直忧倡倡p ． 坛蓝，－ ， F 们直 叶向直 忧倡倡 p 与Q扩恒 P或Q 胪恒 p=·.iiQ. 陌信 P ]:，e 仑仑 any ke 去－＿咄 l笸 c-ont:J..nue ?? ． 8 实验二 关系的复合运算及逆运算 一.实验目的 熟悉关系的复合运算和逆运算，编程实现关系复 合运算和逆运算算法。 二.实验内容 利用矩阵求解有限集上的复合关系和逆关系。 三.实验过程 算法分析: 复合运算就将两个用矩阵表示的关系进行复合， 即在第一个矩阵中寻找值为 1 的元素坐标 (i ,j )，在第二个矩阵第 j 行寻找值为 1 的元素，若有，且坐标为(j ,k )，则产生的新的关系的矩阵中坐标为(i ,k )的元素值为 1。 逆运算就是将用矩阵中值为 1 的元素坐标(i ,j) 对调，产生新的关系的矩阵中坐标为(j ,i )的元素值为 1。 程序代码: //关系的复合运算 #includeiostream using namespace std; int main() { 9 int a[100][100],b[100][100],c[100][100],i,j,k ,n; cout请输入集合 X 中元素的个数:; cinn; cout请输入关系矩阵 Mr 的格式:endl; for(i=0;in;i++)