Question

（非P->q）->（非qVp）的主析取范式和主合取范式

Answer 1

(┐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 (主析取范式)