求(┐p→q)→(┐q∨p)的主析取范式,并求成真赋值,