(┐p→q)→(┐q∨p)
┐(┐┐p∨q)∨(┐q∨p)
(┐p∧┐q)∨(┐q∨p)
(┐p∨(┐q∨p))∧(┐q∨(┐q∨p))
1∧(┐q∨p)
(p∨┐q)
M1 (主合取范式)
m0∨m2∨m3 (主析取范式)