请在 下方输入 要搜索的题目：
推荐参考答案 (
由 搜题小帮手 官方老师解答 )
答案：
以下文字与答案无关
提示：有些试题内容 显示不完整,文字错误 或者 答案显示错误等问题，这是由于我们在扫描录入过程中 机器识别错误导致,人工逐条矫正总有遗漏，所以恳请 广大网友理解。
相关试题
- 1.求?(x)(y)(P(x,y)∨Q(y,z))∧(x)R(x,y)?的前束析取范式过程正确吗？(x)(y)(P(x,y)∨Q(y,z))∧(x)R(x,y)?(x)(u)(P(x,u)∨Q(u,z))∧(v)R(v,y)?(x)(u)(v)((P(x,u)∨Q(u,z))∧R(v,y))?(x)(u)(v)((P(x,u)∧R(v,y))∨(Q(u,z))∧R(v,y)))
- 2.【判断题】判断求 ( ∃ x)( ∀ y)(P(x,y) ∨Q(y,z)) ∧( ∀x)R(x,y) 的前束析取范式的过程正确吗? ( ∃ x)( ∀ y)(P(x,y) ∨Q(y,z)) ∧( ∀x)R(x,y) ⇔( ∃ x)( ∀u )(P(x,u) ∨Q(u,z)) ∧( ∀v )R(v,y) ⇔( ∃ x)( ∀u ) ( ∀v ) ((P(x,u) ∨Q(u,z)) ∧ R(v,y)) ⇔( ∃ x)( ∀u )(∀v)((P(x,u) ∧ R(v,y)) ∨(Q(u,z) ∧ R(v,y)))
- 3.与公式("x)(P(x)∧Q(x,y))Þ($x)R(x,y)等值的是（）。 选项： A、("x)(P(x)∧Q(x,z))Þ($x)R(x,y) B、("y)(P(y)∧Q(y,y))Þ($x)R(x,y) C、("z)(P(z)∧Q(x,y))Þ($x)R(x,y) D、("u)(P(u)∧Q(u,z))Þ($x)R(x,z)
- 4.与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是（ ）。选项： A:("x)(P(x)∧Q(x, z))Þ($x)R(x, y); B:("y)(P(y)∧Q(y, y))Þ($x)R(x, y); C:("z)(P(z)∧Q(x, y))Þ($x)R(x, y); D:("u)(P(u)∧Q(u, z))Þ($x)R(x, z)
- 5.把下列谓词公式化成子句集: (1) ( x)( y)(P(x, y) ∧ Q(x, y)) (2) ( x)( y)(P(x, y) → Q(x, y)) (3) ( x)( y)(P(x, y) ∨( Q(x, y) → R(x, y))) (4) ( x) ( y) ( z)(P(x, y) → Q(x, y) ∨ R(x, z))
- 6.公式∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,y)可换名为 选项：A、∀x∀u(P(x,u)∨Q(u,z))∧∃tP(t,y) B、∀x∀y(P(x,u)∨Q(u,z))∧∃xP(x,u) C、∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,u) D、∀u∀y(P(u,y)∨Q(y,z))∧∃uP(u,y)
- 7.公式∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,y)换名，正确的是（） 选项： A、∀u∀y(P(u,y)∨Q(y,z))∧∃uP(u,y) B、∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,u) C、∀x∀y(P(x,u)∨Q(u,z))∧∃xP(x,u) D、∀x∀u(P(x,u)∨Q(u,z))∧∃xP(x,y)
- 8.公式"x ( F(x,y,z ) → "y ( G(x,y,z) → "z H(x,y,z) ) )的前束范式为 选项： A:"x$y$z (F(x,t,w) → ( G(x,y,w ) → H(x,y,z) ) ); B:$x$y$z (F(x,t,w) → ( G(x,y,w ) → H(x,y,z) ) ); C:"x"y$z (F(x,t,w) → ( G(x,y,w ) → H(x,y,z) ) ); D:"x$y"z (F(x,t,w) → ( G(x,y,w ) → H(x,y,z) ) )
- 9.已知表达式P[x, f(y), B]的两个置换为：s1={z/x, w/y}，s2={q(z)/x, A/y}，则以下选项正确的是（ ）选项： A:P[x,f(y),B]s1= P[z/x,f(w/y),B]; B:P[x,f(y),B]s2= P[q(z),A,B]; C:P[x,f(y),B]s1= P[z,f(w),B]; D:P[x,f(y),B]s2= P[q(z),f(A),B]
- 10.已知表达式P[x, f(y), B]的两个置换为：s1={z/x, w/y}，s2={q(z)/x, A/y}，则以下选项正确的是（ ）选项： A:P[x,f(y),B]s1= P[z/x,f(w/y),B]; B:P[x,f(y),B]s2= P[q(z),A,B]; C:P[x,f(y),B]s1= P[z,f(w),B]; D:P[x,f(y),B]s2= P[q(z),f(A),B]
- 11.指出下列关系模式是第几范式？并说明理由。① R（X，Y，Z） F={XY→Z}① R（X，Y，Z） F={Y→Z，XZ→Y}① R（X，Y，Z） F={Y→Z，Y→X，X→Y ， X→ Z}① R（X，Y，Z） F={X→Y，X→Z}① R（W，X，Y，Z） F={X→Z，WX→Y}
- 12.对(∀x)(P(y)∧R(x,y))→(∃y)Q(y) 中的自由变元进行代入，则表示为： (∀x)(P(z)∧R(x,y))→(∃y)Q(y)
- 13.【判断题】对(?x)(P(y)∧R(x,y))→(?y)Q(y) 中的自由变元进行代入，则表示为：(?x)(P(z)∧R(x,y))→(?y)Q(y)。
- 14.有以下程序 void f(int v, int w) { int t; t=v; v=w; w=t; } main() { int x=1,y=3,z=2; if(x>y) f(x,y); else if(y>z) f(y,z); else f(x,z); printf("%d,%d,%d ",x,y,z); } 执行后输出结果______
- 15.( )不是有效的推理。 选项： A、前提：("x)(~P(x)ÞQ(x)), ("x)~Q(x)结论：P(a) B、前提：("x)(P(x)ÞQ) 结论：("x)P(x)ÞQ C、前提：("x)(P(x)∨Q(x)), ("x)(Q(x)Þ~R(x)) 结论：($x)(R(x)ÞP(x)) D、前提：("x)(P(x)Þ(Q(x)∧R(x))), ($x)(P(x)∧S(x))结论：("x)(R(x)∧S(x)) E、前提：("x)($y)P(x, y)结论：("x)($y)($z)(P(x, y)∧P(y, z)) F、前提：("x)P(x)∨("x)Q(x)结论：("x)(P(x)∨Q(x)) G、前提：("x)(G(x)ÞH(x))，~($x)(F(x)∧H(x))结论：($x)F(x)Þ($x)G(x) H、前提：("x)(H(x)ÞM(x))结论：("x)("y)(H(y)∧N(x, y)) Þ ($y)(M(y)∧N(a, y) )
- 16.指出下列关系模式是第几范式?并说明理由。(1)R(X,Y,Z), F={XY→Z}(2)R(X,Y,Z), F={Y→Z,XZ→Y}(3)R(X,Y,Z), F={Y→Z,Y→X,X→YZ}(4)R(X,Y,Z), F={X→Y,X→Z}
- 17.以下( )程序段可以实施X和Y变量值的互换。 选项： A:Y=X:X=Y B:Z=X:Y=Z:X=Y C:Z=X:X=Y:Y=Z D:Z=X:W=Y:Y=Z:X=Y
- 18.有以下程序： void f(int v,int w) { int t; t=v;V=W;W=t; } main() { int x=1,y=3,z=2; if(x＞y) f(x,y); else if(y＞z) f(y,z); else f(x,z); printf("%d,%d＜%d ",x,y,Z); } 执行后输出结果是( )。
- 19.（1.0分） 以下()程序段可以实施X、Y变量值的变换. 选项： A:Y=X:X=Y B:Z=X:Y=Z:X=Y C:Z=X:X=Y:Y=Z D:Z=X:W=Y:Y=Z:X=Y
- 20.下列程序的输出结果是#include void f(int v,int w){int t;t =v;v =w;w =t;}Int main(){int x =1,y =3,z =2;if (x >y)f(x,y);else if (y >z)f(y,z);else f(x,z);printf("%d,%d,%d\n",x,y,z);return 0;}
-
21. 以下程序的输出结果是____main( )
{ int w=4,x=3,y=2,z=1;
if(x>y&&!(z==w))printf(”%d”,(w
- 22.以下是合式公式∀x(P(x,y)→∃yQ(x,y,z))∧R(f(x,z))的原子公式的有( )选项： A:x B:P(x,y) C:f(x,z) D:R(f(x,z))
- 23.以下程序执行后的输出结果是void Fun(int v , int w){ int t; t=v; v=w; w=t;} int main( ){ int x=1,y=3,z=2; if(x>y) Fun(x,y); else if(y>z) Fun(y,z); else Fun(x,z); printf("%d,%d,%d\n",x,y,z); return 0;}
- 24.以下关系模式中属于BCNF的是（ ）选项： A:R(X,Y,Z) F={Y→Z, XZ→Y}; B:R(X,Y,Z) F={XY→Z}; C:R(X,Y,Z) F={X→Y}; D:R(X,Y,Z) F={X→Y, Y→Z}
