【单选题】求点(x,y,z)关于原点和x轴,y轴,z轴的对称点坐标分别为 A. （-x,-y,-z），（x,-y,-z），（x,-y,z），（x,y,-z）， B. （-x,-y,-z），（-x,y,z），（x,y,-z），（x,y,-z） C. （-x,-y,-z），（-x,-y,z），（x,-y,-z），（-x,y,-z） D. （-x,-y,-z），（x,-y,-z），（-x,y,-z），（-x,-y,z）

以下()程序段可以实现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

以下( )程序段可以实施X Y变量值的变换 A: Z=X:W=Y:Y=Z:X=Y B: Y=X:X=Y C: Z=X:X=Y:Y=Z D: Z=X:Y=Z:X=Y

以下（ ）程序段可以实施X、Y变量值的交换。 A: z=X：x=Y:y=z B: Y=X：X=Y C: Z=X：Y=Z：X=Y D: Z=X：w=Y：Y=Z：X=Y

以下程序段可以实现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

下面能实现两个变量值互换的语句是( ) 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

以下哪几项是前束范式？ A: (∀x)(∀y)(P(x)∧(∃z)Q(y,z)∨R(x,z)) B: (∀z)(∀x)(∃y)(P(x)∧Q(y,z)∨R(x,z)) C: (∀x)(∀y)(P(x)∧Q(y,z)∨(∃z)R(x,z)) D: (∃x)(∃y)(∀z)(P(x)∧Q(y,z)∨R(x,z))

关系式x>=y>=z的C++语言表达式是（）。 A: (x>=y)&&(y>=z) B: (x>=y)||(y>=z) C: (x>=y>=z) D: (x>=y)&(y>=z)

公式"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) ) )

为表示关系x≥y≥z,应使用C语言表达式( )。 A: (x>=y)&&(y>=z) B: (x>=y) AND (y>=z) C: (x>=y>=z) D: (x>=z)&(y>=z)