求主析取范式和主合取范式,用等价公式求
第1个回答 2019-10-02
离散数学,求主析取范式和主合取范式主要就是利用等级公式,记住等价公式多联系,多写多推敲就可以掌握其中的精髓,看看书,祝你能学会
上面如图是我做的,由于纸张问题和时间问题最后一问没去写下去,但是也给你片尾曲《时间的漩涡》写了做题过程和验证方法。望能看懂!嘻嘻
本回答被提问者采纳第2个回答 2019-09-27
Q→(P∨¬R)
<=>¬ Q∨(P∨¬R)
<=>P∨¬ Q∨¬R(主合取范式,即M4)
<=> (¬P∧¬Q∧¬R) ∨ (¬P∧¬Q∧R) ∨ (¬P∧Q∧¬R) ∨ (¬P∧Q∧R) ∨ (P∧¬Q∧R) ∨ (P∧Q∧¬R) ∨ (P∧Q∧R)(主析取范式,即m0,1,2,3,5,6,7)
¬(P→Q)∨(R∧P)
<=>¬(¬P∨Q)∨(P∧R)
<=>(P∧¬Q)∨(P∧R)
<=>((P∧¬Q)∧(R∨¬R)) ∨ ((P∧R)∧(Q∨¬Q))
<=>((P∧¬Q∧R) ∨ (P∧¬Q∧¬R)) ∨ ((P∧R∧Q) ∨ (P∧R∧¬Q))
<=> (P∧¬Q∧¬R) ∨ (P∧¬Q∧R) ∨ (P∧Q∧R)(主析取范式,即m4,5,7)
<=> (P∨Q∨R) ∧ (P∨Q∨¬R) ∧ (P∨¬Q∨R) ∧ (P∨¬Q∨¬R) ∧ (¬P∨¬Q∨R)(主合取范式,即M0,1,2,3,6)本回答被网友采纳
<=>¬ Q∨(P∨¬R)
<=>P∨¬ Q∨¬R(主合取范式,即M4)
<=> (¬P∧¬Q∧¬R) ∨ (¬P∧¬Q∧R) ∨ (¬P∧Q∧¬R) ∨ (¬P∧Q∧R) ∨ (P∧¬Q∧R) ∨ (P∧Q∧¬R) ∨ (P∧Q∧R)(主析取范式,即m0,1,2,3,5,6,7)
¬(P→Q)∨(R∧P)
<=>¬(¬P∨Q)∨(P∧R)
<=>(P∧¬Q)∨(P∧R)
<=>((P∧¬Q)∧(R∨¬R)) ∨ ((P∧R)∧(Q∨¬Q))
<=>((P∧¬Q∧R) ∨ (P∧¬Q∧¬R)) ∨ ((P∧R∧Q) ∨ (P∧R∧¬Q))
<=> (P∧¬Q∧¬R) ∨ (P∧¬Q∧R) ∨ (P∧Q∧R)(主析取范式,即m4,5,7)
<=> (P∨Q∨R) ∧ (P∨Q∨¬R) ∧ (P∨¬Q∨R) ∧ (P∨¬Q∨¬R) ∧ (¬P∨¬Q∨R)(主合取范式,即M0,1,2,3,6)本回答被网友采纳