niusouti.com

谓词逻辑下，子句 C1=L∨C1’, C2= ┐L∨C2’, 若σ是互补文字的最一般合一代换，则其归结式 C12=（）A．C1’σ∨C2’σB．C1’∨C2’C．C1’σ∧C2’σD．C1’∧C2’

题目

谓词逻辑下，子句 C1=L∨C1’, C2= ┐L∨C2’, 若σ是互补文字的最一般合一代换，则其归结式 C12=（）

A．C1’σ∨C2’σ

B．C1’∨C2’

C．C1’σ∧C2’σ

D．C1’∧C2’

相似考题

1.用HCl标准溶液分别滴定某Ba(OH)2(c1)溶液和某NaOH溶液(c2),两者体积相同,若至终点时消耗滴定剂的体积相等,则c1与c2的关系是()A、c1=c2B、c1=2c2C、c1=4c2D、2c1=c2

2.谓词逻辑下,子句,C1=L∨C1‘,C2=¬L∨C2‘,若σ是互补文字的(最一般)合一置换,则其归结式C=()A.C1’σ∨C2’σB.C1’∨C2’C.C1’σ∧C2’σD.C1’∧C2’

3.以下程序运行后的输出结果是______。 main() { char c1，c2； for(c1='0',c2='9'；c1＜c2；c1++,c2--) printf("%c％c"，c1,c2)； printf("\n")； }A．918245765B．893478654C．786584763D．918273645

4.对于子句C1∨L1和C2∨L2,其中L1、L2是单文字。如果L1与~L2可合一,且s是其合一者,则(C1∨C2)s是其_式。这一过程称作_。A、置换置换B、合一合一C、归结归结D、递归递归

更多“谓词逻辑下，子句 C1=L∨C1’, C2= ┐L∨C2’, 若σ是互补文字的最一般合一代换，则其归结式 C12=（）”相关问题

  • 第1题：

    有以下程序． #include<stdio．h> main { char c1，c2，c3，c4，c5，c6； scanf("％c％c％c％c"，＆c1，＆c2，＆c3，＆c4)； c5=getchar； c6=getchar； putchar(c1)；putchar(c2)； printf("％c％c＼n"，c5，c6)； } 程序运行后，若从键盘输入(从第l列开始) 123<回车> 45678<回车> 则输出结果是( )。

    A.1267

    B.1256

    C.1278

    D.1245


    正确答案：D
    scanf函数读取的是char型数据，所以回车时输入的换行符也是有效字符。于是cl，c2，c3，c4的内容分别是1，2，3，＼n。

  • 第2题：

    测量C1与C2相串联的电容式电压互感器绝缘介损时，一般情况下C1＜C2/5，所以测量时主要反映（C1）的介损值。


    正确答案:正确

  • 第3题：

    若两个电容C1、C2串联，则总电容为（）。

    • A、C1+C2
    • B、C1-C2
    • C、C1•C2/C1+C2
    • D、C1+C2/C1•C2

    正确答案:C

  • 第4题：

    电容器C1与C2两端电压均相等，若C1＞C2，则Q1＞Q2。


    正确答案:正确

  • 第5题：

    在排序子句中，排序依据列的前后顺序是否重要？ORDER BY C1，C2子句对数据的排序顺序是什么？


    正确答案: 重要，系统会按列的先后顺序进行排序。
    先按C1列进行排序，在C1列值相同时再按C2列进行排序。

  • 第6题：

    电容器C1和C2串联后，接在直流电路中，若C1=3C2，则C1两端的电压是C2两端电压的（）。

    • A、3倍
    • B、1/9
    • C、1/3
    • D、9倍

    正确答案:C

  • 第7题：

    若A1=2，B1=3，C1=A1+B1，若想让C2单元格显示5，则可以用下列（）方法。

    • A、在C2里输入“=C1”
    • B、选中C1复制，在C2上选择“粘贴”
    • C、选中C1复制，在C2上选择“选择性粘贴/数值”
    • D、用填充柄从C1拖到C2

    正确答案:A,C

  • 第8题：

    对于PHASE2+的MS在空闲状态下进行小区选择和重选的依据是（）

    • A、C1算法，C1算法
    • B、C2算法，C2算法
    • C、C1算法，C2算法
    • D、C2算法，C1算法

    正确答案:C

  • 第9题：

    已知定K式宽带阻波器B=f2-f1，调谐时，（）

    • A、L1、C1并联回路调谐于f1，L2、C2串联回路调谐于f2
    • B、L1、C1并联回路调谐于f2，L2、C2串联回路调谐于f1
    • C、L1、C1及L2、L2均调谐于√（f1f2）
    • D、L1、C1均调谐于（f1+f2）/2

    正确答案:C

  • 第10题：

    单选题
    电容器C1、C2串联后接在直流电路中，若C1=3C2，则C1两端的电压是C2两端电压的（）。
    A

    3倍

    B

    9倍

    C

    1/9倍

    D

    1/3倍


    正确答案： B
    解析： 暂无解析

  • 第11题：

    单选题
    若两个电容C1、C2串联，则总电容为（）。
    A

    C1+C2

    B

    C1-C2

    C

    C1•C2/C1+C2

    D

    C1+C2/C1•C2


    正确答案： A
    解析： 暂无解析

  • 第12题：

    填空题
    液浸聚焦探头设计中，声透镜的声速为C1，液体中的声速为C2，若C1＞C2，声透镜应加工成（）形。若C1＜C2，声透镜应加工成（）形。若C1=C2，声透镜（）聚焦

    正确答案： 平凹,平凸,不产生
    解析： 暂无解析

  • 第13题：

    （8）有以下程序（说明：字符0的ASCII码值为48）

    #include <stdio.h>

    main()

    { char c1,c2;

    scanf("%d",&c1);

    c2=c1+9;

    printf("%c%c\n",c1,c2);

    }

    若程序运行时从键盘输入48<回车>，则输出结果为 【8】 。


    正确答案：
    （8）09

  • 第14题：

    电容器C1、C2并联后，其总电容为（）

    • A、C1与C2之和
    • B、C1与C2之差
    • C、C1与C2之积
    • D、C1与C2之比

    正确答案:A

  • 第15题：

    将电容器C1（100V、20uF）和C2（160V、20uF）串联接到250V电压上，则（）。

    • A、C1、C2均正常工作
    • B、 C1击穿，C2正常工作
    • C、C1、C2均击穿
    • D、C1正常工作，C2击穿

    正确答案:C

  • 第16题：

    液浸聚焦探头设计中，声透镜的声速为C1，液体中的声速为C2，若C1＞C2，声透镜应加工成（）形。若C1＜C2，声透镜应加工成（）形。若C1=C2，声透镜（）聚焦


    正确答案:平凹；平凸；不产生

  • 第17题：

    C1和C2两空气电容器并联起来接上电源充电，然后将电源断开，再把一电介质板插入C1中，则（）

    • A、C1和C2极板上电量都不变
    • B、C1极板上电量增大，C2极板上电量不变
    • C、C1极板上电量增大，C2极板上电量减少
    • D、C1极板上电量减少，C2极板上电量增大

    正确答案:C

  • 第18题：

    STP算法中，网桥按照如下的方法确定最优的配置消息，假设有两条配置消息C1和C2（）

    • A、如果C1的RootID小于C2的RootID 则C1优于C2
    • B、如果C1和C2的RootID相同，但C1的RootPathCost大于C2，则C1优于C2
    • C、如果C1和C2的RootID和RootPathCost相同，但C1的TransmitID大于C2，则C1优于C2
    • D、如果C1和C2的RootID、RootPathCost和TransmitID都相同，但C1的PortID小于C2，则C2优于C1

    正确答案:A

  • 第19题：

    在什么情况下MS将启动小区重选（若C2算法未激活，C2=C1）？


    正确答案: 1、移动台计算某小区（与当前小区属同一位置区）的C2值超过移动台当前的服务小区C2值连续5s；
    2、移动台计算某小区（与当前小区不属同一位置区）的C1值超过移动台当前的服务小区C2值与小区重选滞后之和连续5s，且此前15s内未发生过小区重选；
    3、当前服务小区被禁止；
    4、MS监测出下行链路故障；
    5、服务小区C1值连续5s小于0；
    6、MS随机接入时，在最大重传后接入尝试仍不成功的情况下。

  • 第20题：

    电容器C1、C2串联后接在交流电路中，若C1=2C2，则C1存储的电量是C2电量的（）

    • A、2倍
    • B、1倍
    • C、1/4倍
    • D、1/2倍

    正确答案:B

  • 第21题：

    已知双频阻波器频率为f1、f2（f1＜f2）的回路对谐时，（）

    • A、L1、C1调谐于f1，L2、C2调谐于f2
    • B、L1、C1调谐于f2，L2、C2调谐于f1
    • C、L1、C1和L2、C2均调谐于f2，配C3时整组调谐于f1
    • D、L1、C1和L2、C2均调谐于f1，配C3时整组调谐于f2

    正确答案:C

  • 第22题：

    问答题
    在排序子句中，排序依据列的前后顺序是否重要？ORDER BY C1，C2子句对数据的排序顺序是什么？

    正确答案： 重要，系统会按列的先后顺序进行排序。
    先按C1列进行排序，在C1列值相同时再按C2列进行排序。
    解析： 暂无解析

  • 第23题：

    问答题
    在什么情况下MS将启动小区重选（若C2算法未激活，C2=C1）？

    正确答案： 1、移动台计算某小区（与当前小区属同一位置区）的C2值超过移动台当前的服务小区C2值连续5s；
    2、移动台计算某小区（与当前小区不属同一位置区）的C1值超过移动台当前的服务小区C2值与小区重选滞后之和连续5s，且此前15s内未发生过小区重选；
    3、当前服务小区被禁止；
    4、MS监测出下行链路故障；
    5、服务小区C1值连续5s小于0；
    6、MS随机接入时，在最大重传后接入尝试仍不成功的情况下。
    解析： 暂无解析

  • 第24题：

    多选题
    若A1=2，B1=3，C1=A1+B1，若想让C2单元格显示5，则可以用下列（）。
    A

    再C2里输入“=C1”

    B

    选中C1复制，在C2上选择“粘贴”

    C

    选中C1复制，在C2上选择“选择性粘贴/数值”

    D

    用填充柄从C1拖到C2


    正确答案： C,D
    解析： 暂无解析

相关内容