实验一 联结词的运算 实验二 集合的运算 实验三 二元关系的性质判定 实验四 图的矩阵运算