求( p→q)→( q∨p)的主析取范式步骤解释

极小项、极大项中变元的顺序按照字母顺序从前到后，若有下标，按下标从小到大。
你的答案是错误的，主析取范式是m1∨m2∨m3，主合取范式是M1。
方法一是用真值表求主析取范式，找到成真赋值01，10，11，转化为十进制是1,2,3，所以主析取范式是m1∨m2∨m3。主合取范式是M0。
方法二就是一般做法，进行等值演算
( p→q)→( q∨p)
<=> ┐(┐p∨q)∨(p∨q)
<=> (p∧┐q)∨(p∨q) 前者即为m2
<=> (p∧┐q)∨(p∧1)∨(1∧q)
<=> (p∧┐q)∨(p∧(┐q∨q))∨((┐p∨p)∧q)
<=> (p∧┐q)∨(p∧┐q)∨(p∧q)∨ (┐p∧q)∨(p∧q)
<=> (p∧┐q)∨(p∧q)∨ (┐p∧q)
<=> m2∨m3∨m1
<=> m1∨m2∨m3

P Q R PVQ RVQ (P∨Q)→(R∨Q)
0 0 0 0 0 1
0 0 1 0 1 1
0 1 0 1 1 1
0 1 1 1 1 1
1 0 0 1 0 0
1 0 1 1 1 1
1 1 0 1 1 1
1 1 1 1 1 1
没弄对其，应该能看懂吧~
然后主析取范式为（-P∧-Q∧-R）V(-P∧-Q∧R)V(-P∧Q∧-R)V(-P∧Q∧R)V(P∧-Q∧R)V(P∧Q∧-R)V(P∧Q∧R)
主合取范式为PV-QV-R
其中“-”是非，我没找到那个符号~用-代替一下~
P Q R PVQ RVQ (P∨Q)→(R∨Q)
0 0 0 0 0 1
0 0 1 0 1 1
0 1 0 1 1 1
0 1 1 1 1 1
1 0 0 1 0 0
1 0 1 1 1 1
1 1 0 1 1 1
1 1 1 1 1 1
没弄对其，应该能看懂吧~
然后主析取范式为（-P∧-Q∧-R）V(-P∧-Q∧R)V(-P∧Q∧-R)V(-P∧Q∧R)V(P∧-Q∧R)V(P∧Q∧-R)V(P∧Q∧R)
主合取范式为PV-QV-R
其中“-”是非，我没找到那个符号~用-代替一下~

Q-〉P，用析取范式表示，就是Q∨¬P，
主析取范式:所有简单合取式都是极小项的析取范式，称为主析取范式。
所有简单析取式都是极大项的合取范式称为主合取范式。
P-〉(P∧(Q-〉P))
=P-〉(P∧(Q∨¬P))
=P-〉((P∧Q)∨(P∧¬P))
=P-〉(P∧Q)
=P∨¬(P∧Q)
=P∨(¬P∨¬Q)
=1

---