对于子句C1∨L1和C2∨L2,其中L1、L2是单文字。如果L1与~L2可合一,且s是其合一者,则(C1∨C2)s是其_式。这一过程称作_。 A、置换置换B、合一合一C、归结归结D、递归递归
对于子句C1∨L1和C2∨L2,其中L1、L2是单文字。如果L1与~L2可合一,且s是其合一者,则(C1∨C2)s是其_式。这一过程称作_。
A、置换置换
B、合一合一
C、归结归结
D、递归递归
相关考题：
患者，男性，30岁，腰痛3个月，体温37.9℃，疲乏，夜间盗汗。体检：L1、2棘突叩击痛，X线可见L1、2椎体有溶骨性破坏，椎间盘受累，最可能的诊断是A:L1、L2椎体巨细胞瘤B:L1、L2椎体血管瘤C:L1、L2椎体结核D:L1、L2化脓性脊髓炎E:L1、L2脊柱骨折
如图所示，线圈L的自感系数很大，且其直流电阻可以忽略不计，L1、L2是两个完全相同的小灯泡，开关S闭合和断开的过程中，灯L1、L2的亮度变化情况是(灯丝不会断)( )。A．S闭合，L1亮度不变，L2亮度逐渐变亮，最后两灯一样亮；S断开，L2立即熄灭，L1逐渐变暗B．S闭合，L1亮度不变，L2很亮；S断开，L1、L2立即熄灭C．S闭合，L1、L2同时亮，而后L1逐渐熄灭，L2亮度不变；S断开，L2立即熄灭，L1亮一下再熄灭D．S闭合，L1、L2同时亮，而后L1逐渐熄灭，L2则逐渐变得更亮；S断开，L2立即熄灭，L1亮一下再熄灭
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))
以下可重入表中哪些是循环表？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))