主观题:将下列公式化成与之等值且仅含{¬,∧,∨}联结词的公式[3]
将下列公式化成与之等值且仅含$$\{\neg,\wedge,\vee\}$$联结词的公式,否定联结词只能否定单个命题变项。
$$(p\rightarrow q)\wedge(q\rightarrow r)$$
答案:解:
$\hspace{1.3em}(p\rightarrow q)\wedge(q\rightarrow r)\\
\Leftrightarrow(\neg p\vee q)\wedge(\neg q\vee r)$
$$(p\rightarrow q)\wedge(q\rightarrow r)$$
答案:解:
$\hspace{1.3em}(p\rightarrow q)\wedge(q\rightarrow r)\\
\Leftrightarrow(\neg p\vee q)\wedge(\neg q\vee r)$