离散数学主合取题（非P→Q）→（非Q v P）的主合取范式答案上给出的是非Q v P 我算出来的是非Q且P 所以我现在不知道是答案印错了 还是我自己算错了 如果是我算错了 我哪里算错了?答案之前的步骤是（非P v 非Q v P） 且 （非Q v 非Q v P） 数学
网友回答
【答案】 （非P→Q）→（非Q ∪P）的主合取范式
（非P→Q）→（非Q ∪P）=（P ∪Q）→（非Q∪P）
=非（P ∪Q）∪（非Q ∪P）=（非P ∩非Q）∪（非Q ∪P）
=（非P∪（非Q ∪P）） ∩（非Q∪（非Q ∪P））
=T ∩（非Q∪P）=非Q∪P