-->
当前位置:首页 > 题库 > 正文内容

主观题:将下列公式化成与之等值且仅含{¬,∧,∨}联结词的公式[3]

Luz12个月前 (12-12)题库1050
将下列公式化成与之等值且仅含$$\{\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)$

发表评论

访客

◎欢迎参与讨论,请在这里发表您的看法和观点。