离散数学题求命题公式(P→(Q∧R))∧(┐P→(┐Q∧┐R))的主析取范式和主合取范式. 5

 我来答

1个回答

#合辑# 面试问优缺点怎么回答最加分？

zzllrr小乐

高粉答主

2015-04-19 · 小乐图客，小乐数学，小乐阅读等软件作者

zzllrr小乐

采纳数：20147 获赞数：78777

向TA提问私信TA

关注

展开全部

(P→(Q∧R))∧(¬P→(¬Q∧¬R))
⇔(¬P∨(Q∧R))∧(P∨(¬Q∧¬R)) 变成合取析取
⇔((¬P∨Q)∧(¬P∨R))∧(P∨(¬Q∧¬R)) 分配律
⇔(¬P∨Q)∧(¬P∨R)∧(P∨(¬Q∧¬R)) 结合律
⇔(¬P∨Q)∧(¬P∨R)∧((P∨¬Q)∧(P∨¬R)) 分配律
⇔(¬P∨Q)∧(¬P∨R)∧(P∨¬Q)∧(P∨¬R) 结合律
⇔(¬P∨Q∨(¬R∧R))∧(¬P∨(¬Q∧Q)∨R)∧(P∨¬Q∨(¬R∧R))∧(P∨(¬Q∧Q)∨¬R) 补项
⇔((¬P∨Q∨¬R)∧(¬P∨Q∨R))∧(¬P∨(¬Q∧Q)∨R)∧(P∨¬Q∨(¬R∧R))∧(P∨(¬Q∧Q)∨¬R) 分配律2
⇔(¬P∨Q∨¬R)∧(¬P∨Q∨R)∧(¬P∨(¬Q∧Q)∨R)∧(P∨¬Q∨(¬R∧R))∧(P∨(¬Q∧Q)∨¬R) 结合律
⇔(¬P∨Q∨¬R)∧(¬P∨Q∨R)∧((¬P∨¬Q∨R)∧(¬P∨Q∨R))∧(P∨¬Q∨(¬R∧R))∧(P∨(¬Q∧Q)∨¬R) 分配律2
⇔(¬P∨Q∨¬R)∧(¬P∨Q∨R)∧(¬P∨¬Q∨R)∧(¬P∨Q∨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∧Q)∨¬R) 分配律2
⇔(¬P∨Q∨¬R)∧(¬P∨Q∨R)∧(¬P∨¬Q∨R)∧(¬P∨Q∨R)∧(P∨¬Q∨¬R)∧(P∨¬Q∨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)∧(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)∧(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)∨¬(¬P∨¬Q∨¬R) 德摩根定律
⇔(¬P∧¬Q∧¬R)∨(P∧Q∧R) 德摩根定律
得到主析取范式

本回答由网友推荐