一本有关离散数学的书，还讨论了数学推理和逻辑。

通过代码编译出的程序帮助用户求出其输入的命题公式的真值表以及主析取范式和主合取范式。 要求：能够列出含三个以内变量的合式公式的真值表，并给出相应的主析取和主合取范式。

应用主析取范式分析和解决实际问题 例2.12　某科研所要从3名科研骨干A,B,C中挑选1～2名出国进修。由于工作原因，选派时要满足以下条件： (1)若A去，则C同去。 (2)若B去，则C不能去。 (3)若C不去，则A或B可以去。 问应如何选派他们去？ 分析： (1) 将简单命题符号化 (2) 写出各复合命题 (3) 写出由(2)中复合命题组成的合取式（前提） (4) 将(3)中公式化成析取式（最好是主析取范式） (5) 这样每个小项就是一种可能产生的结果。 去掉不符合题意的小项，即得结论。

离散数学_耿素云、屈婉玲、张立昂，清华大学出版社

离散数学第二版课后答案

傅 彦：离散数学及其应用习题解析。选傅彦老师的孩纸们快下载吧。哈哈。

已知所给集合 A 和 B，求 A 与 B 的并集 C（C=A∪B）。 使学生更深刻理解集合中并运算定义，并掌握通过计算机语言实现集合并运算的基本方法。 主要仪器设备及耗材 PC，Dev-C++

离散数学 课后习题 答案 有助于各位同学准备期末考 或是想自我提升也是有帮助的哦

西南交大离散数学习题答案.zip

* 二元关系类及其测试 * 某一集合上的二元关系类 * 提供关系的性质判断 关系间的运算 求关系的闭包 * 判断自反性 * 判断反自反性 * 判断对称性性 * 判断反对称性 * 判断传递性 * 关系和合成运算 * 关系自身与某一关系的运算 * 两个关系之间的运算 * 求一关系的自反闭包 * 求一个关系的对称闭包 * 求一个关系的传递闭包 AND//关系的交运算 OR//关系的并运算 NOT//关系的非运算 XOR//关系的异或运算 SUB//关系的减运算 简单测试如下： 请输入关系矩阵的阶数 3 请输入第一个关系矩阵的各个元素值 1 0 1 1 1 1 1 0 1 请输入第二个关系矩阵的各个元素值 0 0 0 1 1 1 0 0 0 r的自反闭包是 1 0 1 1 1 1 1 0 1 r的对称闭包是 1 1 1 1 1 1 1 1 1 r的传递闭包是 1 0 1 1 1 1 1 0 1 r2是反对称的？ false r和r2的并关系是 1 0 1 1 1 1 1 0 1