关于离散数学求如下公式的主析取范式和主合取范式 (p∧q)∨(p∧r)

答案:2 悬赏:60 手机版

解决时间 2021-03-30 15:54

提问者网友：呐年旧曙光
2021-03-30 07:02

最佳答案

五星知识达人网友：由着我着迷
2021-03-30 07:18

求主范式的过程如下：
(p∧q)∨(p∧r)
⇔(p∧q∧(¬r∨r))∨(p∧(¬q∨q)∧r) 补项
⇔((p∧q∧¬r)∨(p∧q∧r))∨(p∧(¬q∨q)∧r) 分配律2
⇔(p∧q∧¬r)∨(p∧q∧r)∨(p∧(¬q∨q)∧r) 结合律
⇔(p∧q∧¬r)∨(p∧q∧r)∨((p∧¬q∧r)∨(p∧q∧r)) 分配律2
⇔(p∧q∧¬r)∨(p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧r) 结合律
⇔(p∧q∧¬r)∨(p∧¬q∧r)∨(p∧q∧r) 等幂律
得到主析取范式

(p∧q)∨(p∧r)
⇔p∧(q∨r) 分配律
⇔(p∨(¬q∧q)∨(¬r∧r))∧((¬p∧p)∨q∨r) 补项
⇔((p∨¬q∨(¬r∧r))∧(p∨q∨(¬r∧r)))∧((¬p∧p)∨q∨r) 分配律2
⇔(p∨¬q∨(¬r∧r))∧(p∨q∨(¬r∧r))∧((¬p∧p)∨q∨r) 结合律
⇔((p∨¬q∨¬r)∧(p∨¬q∨r))∧(p∨q∨(¬r∧r))∧((¬p∧p)∨q∨r) 分配律2
⇔(p∨¬q∨¬r)∧(p∨¬q∨r)∧(p∨q∨(¬r∧r))∧((¬p∧p)∨q∨r) 结合律
⇔(p∨¬q∨¬r)∧(p∨¬q∨r)∧((p∨q∨¬r)∧(p∨q∨r))∧((¬p∧p)∨q∨r) 分配律2
⇔(p∨¬q∨¬r)∧(p∨¬q∨r)∧(p∨q∨¬r)∧(p∨q∨r)∧((¬p∧p)∨q∨r) 结合律
⇔(p∨¬q∨¬r)∧(p∨¬q∨r)∧(p∨q∨¬r)∧(p∨q∨r)∧((¬p∨q∨r)∧(p∨q∨r)) 分配律2
⇔(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)∧(p∨q∨r) 等幂律

得到主合取范式

全部回答

1楼网友：千夜
2021-03-30 07:47

(p∧q)∨(p∧r)
　　<==> (p∧q∧(r∨┐r))∨(p∧(q∨┐q)∧r)
　　<==> (p∧q∧r)∨(p∧q∧┐r)∨(p∧q∧r)∨(p∧┐q∧r)
　　<==> (p∧q∧r)∨(p∧q∧┐r)∨(p∧┐q∧r)
　　<==> m7∨m6∨m5 （主析取范式）
　　<==> M4∧M3∧M2∧M1∧M0 （主合取范式）

我要举报

如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！

点此我要举报以上问答信息

关于离散数学 求如下公式的主析取范式和主合取 范式 (p∧q)∨(p∧r)

关于离散数学求如下公式的主析取范式和主合取范式 (p∧q)∨(p∧r)