主观题：用主合取范式判断下列公式是否等值[1]
用主合取范式判断下列公式是否等值。
$$p\rightarrow(q\rightarrow r)$$ 与 $$\neg(p\wedge q)$$
答案：解 ：本题要求用主合取范式来判断两个命题公式是否等值，因此，在判断前必须将每个命题公式化成与之等值的主合取范式。
$\hspace{4.5mm}p\rightarrow(q\rightarrow r)\Leftrightarrow\neg p\vee \neg q\vee r\Leftrightarrow M_6$
$\hspace{4.5mm}\neg(p\wedge q)\Leftrightarrow\neg p\vee\neg q\Leftrightarrow M_3$
两个命题公式中的命题变项数量不同，主合取范式不同，所以两个命题公式不等值。
$$p\rightarrow(q\rightarrow r)$$ 与 $$\neg(p\wedge q)$$
答案：解 ：本题要求用主合取范式来判断两个命题公式是否等值，因此，在判断前必须将每个命题公式化成与之等值的主合取范式。
$\hspace{4.5mm}p\rightarrow(q\rightarrow r)\Leftrightarrow\neg p\vee \neg q\vee r\Leftrightarrow M_6$
$\hspace{4.5mm}\neg(p\wedge q)\Leftrightarrow\neg p\vee\neg q\Leftrightarrow M_3$
两个命题公式中的命题变项数量不同，主合取范式不同，所以两个命题公式不等值。
