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