设有x=03，y=02，z=01，X&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) ) )

下列（ ）是正确的赋值语句 A: x,y,z=10,10,10 B: x=10,y=10,z=10 C: x=10;y=10;z=10 D: x y z=10

对公式∀x（F(x)→G(x,y))∧H(x,y)做代替，则下面公式中正确的是（ ）。 A: ∀x（F(x)→G(x,y))∧H(z,y) B: ∀x（F(x)→G(y,z))∧H(u,y) C: ∀z（F(z)→G(x,y))∧H(y,y) D: ∀z（F(x)→G(z,y))∧H(x,y)

已知 x = 10, y = 20, z = 30; 以下语句执行后x，y，z的值是：if (x = 20) z = x; y = z; A: x = 10, y = 20, z = 30 B: x = 10, y = 10, z = 10 C: x = 20, y = 20, z = 20 D: x = 30, y = 30, z = 30

公式“∀xF(x)→∃yG(x,y)”的前束范式是 A: ∃x∃y(F(x)→G(z,y)) B: ∀x∃y(F(x)→G(z,y)) C: ∃x∀y(F(x)→G(z,y)) D: ∀x∀y(F(x)→G(z,y))

x,y,z均为int型变量,则执行语句x=(y=(z=10)+5)-5;后,x 、y 和之的值是： A: x=10 y=15 z=10 B: x=10 y=10 z=10 C: x=10 y=10 z=15 D: x=10y=5z=10

已知intx=10,y=20,z=30;以下语句:if(x A: x=10,y=20,z=30 B: x=10,y=20,z=10 C: x=20,y=30,z=10 D: x=20,y=30,z=20

已知int x=10, y=20, z=30;，程序段if (x>y) z=x;x=y;y=z;执行后x、y、z的值是（ ）。 A: x=20, y=10, z=10 B: x=20, y=30, z=30 C: x=20, y=30, z=10 D: x=20, y=30, z=20

为了给整型变量 x,y,z赋值为 10,下面正确的 Python语句是 ）。 A: xyz=10 B: x=10,y=10,z=10 C: x=y=z=10 D: x=10 y=10 z=10