离散数学习题答案解析(耿素云屈婉玲).docVIP

word 资料下载可编辑 专业技术资料 离散数学习题答案 习题二及答案：（P38） 5、求下列公式的主析取范式，并求成真赋值： （2） 解：原式 ，此即公式的主析取范式， 所以成真赋值为011，111。 6、求下列公式的主合取范式，并求成假赋值： （2） 解：原式，此即公式的主合取范式， 所以成假赋值为100。 7、求下列公式的主析取范式，再用主析取范式求主合取范式： （1） 解：原式 ，此即主析取范式。 主析取范式中没出现的极小项为，，，所以主合取范式中含有三个极大项，，，故原式的主合取范式。 9、用真值表法求下面公式的主析取范式： （1） 解：公式的真值表如下： 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 0 0 1 0 1 1 1 1 0 1 0 1 由真值表可以看出成真赋值的情况有7种，此7种成真赋值所对应的极小项的析取即为主析取范式，故主析取范式 习题三及答案：（P52-54） 11、填充下面推理证明中没有写出的推理规则。 前提： 结论：s 证明： ① p 前提引入 ② 前提引入 ③ q ①②析取三段论 ④ 前提引入