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

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







答案：解：
$\hspace{1.3em}(\neg p\rightarrow q)\wedge(q\wedge r)\\
\Leftrightarrow(p\vee q)\wedge(q\wedge r)\\
\Leftrightarrow(p\wedge q\wedge r)\vee (q\wedge r)\\
\Leftrightarrow(p\wedge q\wedge r)\vee ((q\wedge r)\wedge(\neg p\vee p))\\
\Leftrightarrow(p\wedge q\wedge r)\vee(\neg p\wedge q\wedge r)\vee (p\wedge q\wedge r)\\
\Leftrightarrow(p\wedge q\wedge r)\vee(\neg p\wedge q\wedge r)\\
\Leftrightarrow m_7\vee m_3$
成真赋值为111，011