主观题:求下列公式的主合取范式,并求成假赋值[2]
求下列公式的主合取范式,并求成假赋值。
$$(p\wedge q)\vee(\neg p\vee r)$$
答案:解:
$(p\wedge q)\vee(\neg p\vee r)\\
\hspace{0.9em}\Leftrightarrow(p\vee\neg p\vee r)\wedge(q\vee\neg p\vee r)\\
\hspace{0.9em}\Leftrightarrow \neg p\vee q\vee r\\
\hspace{0.9em}\Leftrightarrow M_4$
所以,成假赋值是:100
$$(p\wedge q)\vee(\neg p\vee r)$$
答案:解:
$(p\wedge q)\vee(\neg p\vee r)\\
\hspace{0.9em}\Leftrightarrow(p\vee\neg p\vee r)\wedge(q\vee\neg p\vee r)\\
\hspace{0.9em}\Leftrightarrow \neg p\vee q\vee r\\
\hspace{0.9em}\Leftrightarrow M_4$
所以,成假赋值是:100