Discrete-Mathematics 离散数学实验 实验1：利用真值表法求取主析取范式以及主合取范式的实现 实验2：集合上二元关系性质判定的实现 实验3：偏序关系中盖住关系的求取及格论中有补格的判定 实验4：图的随机生成及欧拉（回）路的确定