离散数学实验一.docVIP

实 验 报 告 （20 / 2013 学年 第 学期） 课程名称 实验名称 实验时间 年 月 日 指导单位 指导教师 学生姓名 班级学号 学院(系) 专 业  实 验 报 告 实验名称 指导教师 实验类型 实验学时 实验时间 实验目的和要求 编程实现用真值表法求任意变量的合式公式的主析取范式和主合取范式 要求： 从屏幕输入变元个数和每种情况的真值 规范列出合式公式的真值表 给出相应主析取和主合取范式 实验环境(实验设备) CPU：Ghz 内存：1.00GB 软件： 操作系统：Windows XP SP3 编程软件：Visual C++ 6.0 实验原理及内容 核心代码： 将十进制数转化成二进制数，并以不同的方式显示在屏幕上，如在输入真值表时显示每种情况对应的真假，主要完成如下图所示的功能： void BinaryShow(int m,int n) //m代表zzb[m]中的m，n代表变元个数 { int a,i,j,q; for(i=n;i0;i--) ?//i的值：n，n-1，…，1 { for(j=0,q=1;ji-1;j++) { q*=2; //先求出2的i-1次方 } a=m/q; /