2017年哈工大数理逻辑B期末考试参考答案(1)

一 、 求 公 式 ( ¬ p → q ) → ( q → r ) 的 主 合 取 范 式 和 主 析 取 范 式 。 （ 10 分 ） 1、求公式(\neg p \to q )\to (q \to r )的主合取范式和主析取范式。（10分） 一、求公式(¬p→q)→(q→r)的主合取范式和主析取范式。（10分） 真 值 表 如 下 ： 真值表以下： 真值表如下：html p q r ¬ p \n

>>阅读原文<<