南京邮电大学离散数学实验 lab1: 输入任意公式, 打印出该公式的真值表、主合取范式和主析取范式. lab2: 输入可以是具体的二元关系，也可以给定一个具体的集合，随机生成一个二元关系，根据二元关系性质及对应的判定定理, 并求出该二元关系的传递闭包. lab3: 偏序关系中盖住关系的求取及格论中有补格的判定 lab4: 图的随机生成及欧拉（回）路的确定