南京邮电大学离散数学_实验三求主析取及主合取范式介绍

实 验 报 告（2015 / 2016 学年 第 一 学期）课程名称离散数学实验名称偏序关系中盖住关系的求取以及格论中有补格的判定实验时间2015年12月1日指导单位计算机科学与技术系指导教师罗卫兰