4.钻孔循环指令G¨ X Y Z R Q P F K 中表示循环次数的代码是。 A: A.Q B: B.P C: C.K D: D.R

2022-06-09

4.钻孔循环指令G¨ X Y Z R Q P F K 中表示循环次数的代码是。
A: A.Q
B: B.P
C: C.K
D: D.R

答案：

C

0
将公式∀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)
1
孔加工固定循环G90 /G91 G98/G99 G73～G89 X～ Y～ Z～ R～ Q～ P～ F～ K ～通用格式中的G99表示
2
与公式("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)
3
以下哪几项是前束范式？ 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))
4
对谓词公式（∀x)((∃y)﹁P(x，y)∨(∃y)( Q(x，y) ∧﹁R(x，y)))化简可以得到包含哪几项的子句？ A: P(x,f(x))∨Q(x,g(x)) B: ﹁P(x,f(x))∨Q(x,g(x)) C: ﹁P(y,f(y))∨﹁R(y,g(y)) D: P(y,f(y))∨R(y,g(y))

4.钻孔循环指令G¨ X Y Z R Q P F K 中表示循环次数的代码是 。 A: A.Q B: B.P C: C.K D: D.R