主观题:求下列公式的主合取范式,并求成假赋值[3]
求下列公式的主合取范式,并求成假赋值。
$$(p\rightarrow(p\vee q))\vee r$$
答案:解:
$(p\rightarrow(p\vee q))\vee r\\
\hspace{0.9em}\Leftrightarrow(\neg p\vee(p\vee q))\vee r\\
\hspace{0.9em}\Leftrightarrow1$
因此式是个重言式,所以没有成假赋值.
$$(p\rightarrow(p\vee q))\vee r$$
答案:解:
$(p\rightarrow(p\vee q))\vee r\\
\hspace{0.9em}\Leftrightarrow(\neg p\vee(p\vee q))\vee r\\
\hspace{0.9em}\Leftrightarrow1$
因此式是个重言式,所以没有成假赋值.