谓词逻辑下,子句,C1=L∨C1‘,C2=¬L∨C2‘,若σ是互补文字的(最一般)合一置换,则其归结式C=() A.C1’σ∨C2’σB.C1’∨C2’C.C1’σ∧C2’σD.C1’∧C2’
谓词逻辑下,子句,C1=L∨C1‘,C2=¬L∨C2‘,若σ是互补文字的(最一般)合一置换,则其归结式C=()
A.C1’σ∨C2’σ
B.C1’∨C2’
C.C1’σ∧C2’σ
D.C1’∧C2’
相关考题：
对于子句C1∨L1和C2∨L2,其中L1、L2是单文字。如果L1与~L2可合一,且s是其合一者,则(C1∨C2)s是其_式。这一过程称作_。 A、置换置换B、合一合一C、归结归结D、递归递归
STP算法中,网桥按照如下的方法确定最优的配置消息,假设有两条配置消息C1和C2()。 A.如果C1的RootID小于C2的RootID，则C1优于C2B.如果C1和C2的RootID相同，但C1的RootPathCost大于C2，则C1优于C2C.如果C1和C2的RootID和RootPathCost相同，但C1的TransmitID大于C2，则C1优于C2D.如果C1和C2的RootID、RootPathCost和TransmitID都相同，但C1的PortID小于C2，则C1优于C2
谓词逻辑下，子句 C1=L∨C1’, C2= ┐L∨C2’, 若σ是互补文字的最一般合一代换，则其归结式 C12=（）A．C1’σ∨C2’σB．C1’∨C2’C．C1’σ∧C2’σD．C1’∧C2’
若C1=P（x) ∨Q（x)，C2=┐P（a) ∨R（y)，则C1和C2的归结式R（C1，C2）=（)A．P(x) ∨Q(x)B．P(a) ∨Q(x)C．Q(x) ∨R(y)D．Q(a) ∨R(y)
在关系R中，若要找出属性C的值为'c1'或'c2'，并且属性D的值大于10的所有元组，选择子句中的WHERE后应表达为（）。A．C='C1' OR C='C2' AND D＞10B．(C='C1' OR C='C2') AND D＞10C．D＞10 AND C='C1' OR C='C2'D．D＞10 OR C='C1' AND C='C2'
3、在关系R中，若要找出属性C的值为'c1'或'c2'，并且属性D的值大于10的所有元组，选择子句中的WHERE后应表达为（）。A．C='C1' OR C='C2' AND D＞10B．(C='C1' OR C='C2') AND D＞10C．D＞10 AND C='C1' OR C='C2'D．D＞10 OR C='C1' AND C='C2'
4、在关系R中，若要找出属性C的值为'c1'或'c2'，并且属性D的值大于10的所有元组，选择子句中的WHERE后应表达为（）。A．(C='C1' OR C='C2') AND D10B．C='C1' OR C='C2' AND D10C．D10 AND C='C1' OR C='C2'D．D10 OR C='C1' AND C='C2'
多个分信道进行级联，若各信道的信道容量依次为C1, C2, …,Cn ，则组合信道的信道容量为min{C1, C2, …,Cn }。 多个分信道进行级联，若各信道的信道容量依次为C1, C2, …,Cn ，则组合信道的信道容量为min{C1, C2, …,Cn }。