主观题：求下列公式的主析取范式，并求成真赋值[1]

求下列公式的主析取范式，并求成真赋值
$$(\neg p\rightarrow q)\rightarrow(\neg q\vee p)$$






答案：解：
$\hspace{1.3em}(\neg p\rightarrow q)\rightarrow(\neg q\vee p)\\
\Leftrightarrow\neg(p\vee q)\vee(\neg q\vee p)\\
\Leftrightarrow(\neg p\wedge \neg q)\vee((p\vee\neg p)\wedge\neg q)\vee (p\wedge(q\vee\neg q))\\
\Leftrightarrow(\neg p\wedge \neg q)\vee(p\wedge\neg q)\vee(\neg p\wedge\neg q)\vee (p\wedge q)\vee(p\wedge\neg q)\\
\Leftrightarrow(\neg p\wedge \neg q)\vee(p\wedge\neg q)\vee (p\wedge q)\\
\Leftrightarrow m_0\vee m_2\vee m_3$
成真赋值为00，10，11