离散数学范式问题,急,求详解

离散数学范式问题,急,求详解
1.求主合取范式,并求成假赋值 非(q→非p)∧非p
2.求公式的主析取范式,并求成真赋值 （非p→q）→（非q∨p）

真值表法：
p q ┐p q→┐p ┐(q→┐p) ┐(q→┐p) ∧┐p ┐p→q ┐q∨p (┐p→q )→(┐q∨p)
0 0 1 1 0 0 0 1 1
0 1 1 1 0 0 1 0 0
1 0 0 1 0 0 1 1 1
1 1 0 0 1 0 1 1 1
公式┐(q→┐p) ∧┐p 从真值表中看出 其真值为0所对应大项编码有M00,M01,M10,M11所以与
┐(q→┐p) ∧┐p 等价的主合取范式为M00∧M01∧M10∧M11=∏(0,1,2,3)；
公式(┐p→q )→(┐q∨p)从真值表中看出其真值为1的小项有m00,m10,m11三项,所以与
(┐p→q )→(┐q∨p)等价的主析取范式为m00∨m10∨m11=∑(0,2,3)