真值表的C算法实现

08届课程（设计）论文题 目命题公式的真值表算法专业班级信息与计算科学(1)班学 号0809030116学生姓名上官业云指导教师李圆媛指导教师职称讲师学院名称理学院完成日期： 2010