离散数学主合取题（非P→Q）→（非QvP）的主合取范式答案上给出的是非QvP我算出来的是非Q且P所以我现在不知道是答案印错了还是我自己算错了如果是我算错了我哪里算错了?答案之

Question

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

Answer 1

（非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