求下面一个公式的析取范式唯一吗与合取范式： (p↔q)→r

来源：蜘蛛抓取(WebSpider) 时间：2020-03-14 09:54 标签： 一个公式的析取范式唯一吗

拍照搜题秒出答案，一键查看所有搜题记录

拍照搜题秒出答案，一键查看所有搜题记录

拍照搜题秒出答案，一键查看所有搜题记录 

 用真值表很容易得出结果 
或者等价公式也可以 
先求主合取范式：
（P→Q）? R(﹁(﹁P∨Q)∨R)∧(﹁R∨(﹁P∨Q))((P∧﹁Q)∨R)∧(﹁P∨Q∨﹁R)
 (P∨R)∧(﹁Q∨R)∧(﹁P∨Q∨﹁R)((P∨R)∨(Q∧﹁Q))∧((﹁Q∨R)∨(P∧﹁P))∧(﹁P∨Q∨﹁R)
(P∨Q∨R)∧(P∨﹁Q∨R)∧(P∨﹁Q∨R)∧(﹁P∨﹁Q∨R)∧(﹁P∨Q∨﹁R)
(P∨Q∨R)∧(P∨﹁Q∨R)∧(﹁P∨﹁Q∨R)∧(﹁P∨Q∨﹁R)
同理可以求得主析取范式，过程类似上面很简单就是偅复工作而已，我就不写了
全部

我要回帖

更多关于 一个公式的析取范式唯一吗 的文章

 

随机推荐