设C1与C2是子句集S中的两个子句，C12是C1与C2的归结式，若用C12代替C1和C2后得到新子句集S1，则S与S1在不可满足的意义上是等价的。
设C1与C2是子句集S中的两个子句，C12是C1与C2的归结式，若用C12代替C1和C2后得到新子句集S1，则S与S1在不可满足的意义上是等价的。
参考答案和解析
互补析取归结归结式
相关考题：
用HCl标准溶液分别滴定某Ba(OH)2(c1)溶液和某NaOH溶液(c2),两者体积相同,若至终点时消耗滴定剂的体积相等,则c1与c2的关系是() A、c1=c2B、c1=2c2C、c1=4c2D、2c1=c2
对于子句C1∨L1和C2∨L2,其中L1、L2是单文字。如果L1与~L2可合一,且s是其合一者,则(C1∨C2)s是其_式。这一过程称作_。 A、置换置换B、合一合一C、归结归结D、递归递归
谓词逻辑下,子句,C1=L∨C1‘,C2=¬L∨C2‘,若σ是互补文字的(最一般)合一置换,则其归结式C=() A.C1’σ∨C2’σB.C1’∨C2’C.C1’σ∧C2’σD.C1’∧C2’
设有关系R，S和T如下。关系T是由关系R和S经过______操作得到的。 R S T A B C A B C A B C a1 b1 c1 a1 b2 c2 a1 b2 c2 a1 b2 c2 a1 b3 c2 a2 b2 c1 a2 b2 c1 a2 b2 c1A．R∪SB．R-SC．R×SD．R∩S
对于下面的语句，叙述正确的是______。 char c1[]="abcd"； char c2[]={'a','b','c','d'}；A．数组c1和数组c2等价B．数组c1占用空间大于数组c2占用空间C．数组c1占用空间小于数组c2占用空间D．数组c1和数组c2的长度相同
某计算机系统中有一个CPU、一台扫描仪和一台打印机。现有三个图像处理任务，每个任务有三个程序段：扫描S，图像处理Ci和打印Pi（i=1,2,3）。下图为三个任务各程序段并发执行的前趋图，其中，（2）可以并行执行，（3）的直接制约，（4）的间接制约。 A. S1受到S2和S3、C1受到C2和C3、P1受到P2和P3B. S2和S3受到S1、C2和C3受到C1、P2和P3受到P1C. C1和P1受到S1、C2和P2受到S2、C3和P3受到S3D. C1和S1受到P1、C2和S2受到P2、C3和S3受到P3
若A1=2，B1=3，C1=A1+B1，若想让C2单元格显示5，则可以用下列（）。A、再C2里输入“=C1”B、选中C1复制，在C2上选择“粘贴”C、选中C1复制，在C2上选择“选择性粘贴/数值”D、用填充柄从C1拖到C2
将反应：Cu2+（c1）+H2（g）=Cu（s）+2H+（c2）设计组成电池，其正确的电池符号书写形式是（）A、（-）Pt│Cu2+（c1）丨Cu（s）‖H+（c2）│H2（kPa）（+）B、（-）Cu（s）│Cu2+（c1）‖H+（c2）│H2（kPa）（+）C、（-）H2（kPa）│H+（c2）‖Cu2+（c1）丨Cu（s）│Pt（+）D、（-）Pt│H2（kPa）│H+（c2）‖Cu2+（c1）│Cu（s）（+）
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，则C2优于C1
若A1=2，B1=3，C1=A1+B1，若想让C2单元格显示5，则可以用下列（）方法。A、在C2里输入“=C1”B、选中C1复制，在C2上选择“粘贴”C、选中C1复制，在C2上选择“选择性粘贴/数值”D、用填充柄从C1拖到C2
单选题理想气体绝热节流过程中的焓和熵变化为（ ）。[2017年真题]AH1＝H2，S1＝S2，c2＞c1BH1＝H2，S2＞S1，c2＝c1CH2＜H1，S2＜S1，c2＞c1DH2＞H1，S2＞S1，c2≈c1
多选题若A1=2，B1=3，C1=A1+B1，若想让C2单元格显示5，则可以用下列（）。A再C2里输入“=C1”B选中C1复制，在C2上选择“粘贴”C选中C1复制，在C2上选择“选择性粘贴/数值”D用填充柄从C1拖到C2
多选题若A1=2，B1=3，C1=A1+B1，若想让C2单元格显示5，则可以用下列（）方法。A在C2里输入“=C1”B选中C1复制，在C2上选择“粘贴”C选中C1复制，在C2上选择“选择性粘贴/数值”D用填充柄从C1拖到C2