1028离散数学习题

时间：2022-04-14 01:00:07 阅读：最新文章文档下载

说明：文章内容仅供预览，部分内容可能不全。下载后的文档，内容与下面显示的完全一致。下载之前请确认下面内容是否您想要的，是否完整无缺。

一、判断下列命题公式的类型（重言式、永假式、可满足式）。

（1）(pq)(pq)；（2）((pq)(qr))(pr)；（3）((pq)r)s。二、证明下列等值式。

（1）(pq)(pq)p；

（2）((pq)(pr)(p(qr))；三、求下列命题公式的主析取范式，主合取范式。

（1）(pq)(qp)；（2）(pq)qr。