离散数学的若干实验指导书。主要包含真值表判定、逻辑推理、集合运算、等价关系、代数系统运算等方面。-Several discrete mathematics experiment documents. Mainly consists of determining truth table, logical reasoning, set operations, equivalence relations, algebraic operations and so on.