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

求下列公式的主合取范式，并求成假赋值。
$$\neg(q\rightarrow\neg p)\wedge \neg p$$





答案：解：
$\neg(q\rightarrow\neg p)\wedge \neg p\\
\hspace{0.9em}\Leftrightarrow\neg(\neg q\vee\neg p)\wedge \neg p\\
\hspace{0.9em}\Leftrightarrow (q\vee(p\wedge\neg p))\wedge (p\vee(\neg q\wedge q))\wedge (\neg p\vee(\neg q\wedge q))\\
\hspace{0.9em}\Leftrightarrow(\neg p\vee \neg q)\wedge(\neg p\vee q)\wedge(p\vee\neg q)\wedge(p\vee q)\\
\hspace{0.9em}\Leftrightarrow M_0\wedge M_1\wedge M_2\wedge M_3$
所以，成假赋值是:00,01,10,11