单项选择题
对于子句C1∨L1和C2∨L2，其中L1、L2是单文字。如果L1与～L2可合一，且s是其合一者，则（C1∨C2）s是其（）式。这一过程称作（）。
A.置换 置换
B.合一 合一
C.归结 归结
D.递归 递归
点击查看答案&解析
相关考题
-
单项选择题
Dell 公司采取的销售模式是（）。
A.间接分销模式
B.分—分模式
C.分—直模式
D.直—直模式 -
单项选择题
根据受审核组织的规模、性质和复杂程度，一个审核方案可以包括（）审核。
A.一次审核
B.多次审核
C.免除审核
D.A+B -
问答题
列出几种常见的基本初等函数；写出初等函数的定义；分段函数是初等函数吗？
