对于子句C1∨L1和C2∨L2,其中L1、L2是单文字。如果L1与~L2可合一,且s是其合一者,则(C1∨C2)s是其_式。这一过程称作_。A、置换置换B、合一合一C、归结归结D、递归递归

第1题：

丈量了L1与L2两段距离，且L1＞L2,但它们的中误差相等，故L1与L2两段距离的精度是相同的。

第2题：

已知观测量L1,L2, 其权阵为P=[1 0;0 2], 则L1的权为

第3题：

以下可重入表中哪些是循环表？

A.(L1: (L2: (L1, a)))#B.D(A:(c), B:(e), C:(a, L:(b, A, d)))#C.(L: (a, L))#D.(L1:(a, b), (L1, c, L2:(d)), (L2, e, L3:(f, g)), L3)#E.(L1: (a, b, L2(x, y)), L2, L3: (s, t, L4:(q, L5:(w, L3, v), r)))#F.(x1, (y1, (a1, a2), y3), x3, (z1, z2))

第4题：

2、以下可重入表中哪些是循环表？

A.(L1: (L2: (L1, a)))#B.D(A:(c), B:(e), C:(a, L:(b, A, d)))#C.(L: (a, L))#D.(L1:(a, b), (L1, c, L2:(d)), (L2, e, L3:(f, g)), L3)#E.(L1: (a, b, L2(x, y)), L2, L3: (s, t, L4:(q, L5:(w, L3, v), r)))#F.(x1, (y1, (a1, a2), y3), x3, (z1, z2))

第5题：

设C1与C2是子句集S中的两个子句，C12是C1与C2的归结式，若用C12代替C1和C2后得到新子句集S1，则S与S1在不可满足的意义上是等价的。