当前位置：首页
> Luz 第1442页
Luz 管理员
暂无介绍
89860 篇文章 33 次评论主观题：用等值演算法证明下面的等值式[1]
用等值演算法证明下面的等值式.$$(p\rightarrow q)\wedge(p\rightarrow r)\Leftrightarrow p\rightarrow(q\wedge r)$$ 答案：证明: $\hspace{1.3em}…
主观题：用等值演算法证明下面的等值式[2]
用等值演算法证明下面的等值式.$$\neg(p\leftrightarrow q)\Leftrightarrow(p\vee q)\wedge\neg(p\wedge q)$$答案：证明: $\hspace{1.3em}\neg(p\l…
主观题：求下列公式的主合取范式，并求成假赋值[1]
求下列公式的主合取范式，并求成假赋值。 $$\neg(q\rightarrow\neg p)\wedge \neg p$$ 答案：解： $\neg(q\rightarrow\neg p)\wedge \neg p\\\hspace{…
主观题：求下列公式的主合取范式，并求成假赋值[3]
求下列公式的主合取范式，并求成假赋值。 $$(p\rightarrow(p\vee q))\vee r$$答案：解： $(p\rightarrow(p\vee q))\vee r\\\hspace{0.9em}\Leftrightarro…
主观题：求下列公式的主合取范式，并求成假赋值[2]
求下列公式的主合取范式，并求成假赋值。 $$(p\wedge q)\vee(\neg p\vee r)$$ 答案：解: $(p\wedge q)\vee(\neg p\vee r)\\\hspace{0.9em}\Leftrighta…
主观题：将下列公式化成与之等值且仅含{¬,∧,∨}联结词的公式[1]
将下列公式化成与之等值且仅含$$\{\neg,\wedge,\vee\}$$联结词的公式。 $$\neg(p\rightarrow(q\leftrightarrow(q\wedge r)))$$ 答案：此题只需要消去蕴涵联结词与等…
主观题：将下列公式化成与之等值且仅含{¬,∧,∨}联结词的公式[3]
将下列公式化成与之等值且仅含$$\{\neg,\wedge,\vee\}$$联结词的公式。 $$(p\rightarrow q)\wedge(q\rightarrow r)$$答案：解: $\hspace{1.3em}(p\r…
主观题：将下列公式化成与之等值且仅含{¬,∧,∨}联结词的公式[2]
将下列公式化成与之等值且仅含$$\{\neg,\wedge,\vee\}$$联结词的公式。 $$p\leftrightarrow(q\leftrightarrow r)$$ 答案：此题只需要消去蕴涵联结词与等价联结词即可 解:…
主观题：h0005. 应用题
一个C语言编译器编译下面的函数gcd()时，报告parse error before ‘else’。这是因为else的前面少了一个分号。但是如果第一个注释 /* then part */误写成 /* then part那么该编译器发现不…
程序填空题：一维数组元素倒置
请完善程序，实现以下程序功能：将具有n个元素的一维数组的内容前后倒置。输入样例1：1011 12 13 14 15 16 17 18 19 20输出样例1：20 19 18 17 16 15 14 13 12 11输入样例2：811 44…