有以下程序 void f(int *x,int *y) { int t; t=*x;*x=*y;*y=t; } main() { int a[8]={1,2,3,4,5,6,7,8},i,*p,*q; p=a;q=&a[7]; while(*p!=*q){f(p,q);p++;q--;} for(i=0;i<8;i++) printf("%d,",a[i]); } 程序运行后的输出结果是______。

红木分为（）属，（）类，（）种。 A: 5；8；39 B: 5；8；33 C: 8；5；33 D: 8；5；58

把 "x ( P( x )®$ y Q( x ,y ))化为前束范式，推导过程正确吗？ "x ( P( x )®$y Q( x ,y )) Û"x (¬ P( x ) ∨ $y Q( x ,y )) Û"x$y (¬ P( x ) ∨ Q( x ,y )) Û" x $y ( P( x ) ®Q ( x ,y ))

以下程序执行后，$arr数组元素的顺序为（）&lt;?php$arr = array(1,40,33,5,8);sort($arr);?&gt; A: 1, 5, 8, 33, 40 B: 40, 33, 8, 5, 1 C: 1, 40, 33, 5, 8 D: 1, 8, 40, 33, 5

写出以下程序段的输出结果： voidmain() { SqQueueQ; InitQueue(&Q); charx='e',y='c'; EnQueue(&Q,'h');EnQueue(&Q,'r'); EnQueue(&Q,y);DeQueue(&Q,&x); EnQueue(&Q,x);DeQueue(&Q,&x); EnQueue(&Q,'a'); while(!QueueEmpty(&Q)) { DeQueue(&Q,&y); printf(y); } printf(x); }

（）,为复数，称复导纳 A: Y=G+j(oC-1)=|Y∠q B: Y=G+j(-1/0L)=|Y∠q C: Y=G+j(oC-1/0L)=|Y∠q D: Y=G+j(oC-1/0L)=|Y

将公式∀x(P(x)→Q(x，y))∧R(x，y)使用改名规则变换后正确的是 。 A: ∀z(P(z)→Q(z，y))∧R(x，y) B: ∀y(P(y)→Q(y，y))∧R(x，y) C: ∀z(P(z)→Q(x，y))∧R(x，y) D: ∀z(P(z)→Q(z，y))∧R(z，y)

设R(x)：x是兔子，T(y)：y是乌龟，Q(x , y)：x比y跑得快，命题“兔子比乌龟跑得快”符号化为（ ）。 A: ∀x(R(x)→Q(x,y)) B: ∀x(R(x)→∃y ( T(y) ∧Q(x,y) ) ) C: ∀x∃y (R(x) ∧ T(y) ∧Q(x,y) ) D: ∀x∀y (R(x) ∧ T(y) →Q(x,y) )

设P(x):x是大象,Q(x):x是老鼠,R(x,y):x比y重,则命题“大象比老鼠重”的符号化为 A: ∀x∀y(P(x)∧Q(y)→R(x,y)) B: P(x)∧Q(y)→R(x,y) C: ∀x∃y(P(x)∧Q(y)∧R(x,y)) D: ∃x∃y(P(x)∧Q(y)∧R(x,y))

【单选题】与公式("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 )