离散数学实验一柏超宇精要.doc

实 验 报 告 （20 / 2013 学年 第 学期） 课程名称 实验名称 实验时间 年 月 日 指导单位 指导教师 学生姓名 班级学号 学院(系) 专 业  实 验 报 告 实验名称 指导教师 实验类型 实验学时 实验时间 实验目的和要求 编程实现用真值表法求任意变量的合式公式的主析取范式和主合取范式 要求： 从屏幕输入变元个数和每种情况的真值 2.给出相应主析取和主合取范式 实验环境(实验设备) 实验原理及内容 上图将行数生成了各个变元的真值情况 上图根据真值表输出主析取范式。最后一个式子会多输出一个∨。这时候输出一个退格再输出一个空格就能将∨覆盖掉。 四、运行结果： 先输入变元个数，以回车结尾，再输入各个变元的名称，记得中间要加上空格，在读入字符的时候，用了getchar（）函数来吸收无用的空格和回车。这样就在屏幕上输出了该式子的主合取范式和主析取范式。 实 验 报 告 、实验小结 五、指导教师评语 成 绩 批阅人 日 期 - 4 -