网友您好, 请在下方输入框内输入要搜索的题目:
题目内容
(请给出正确答案)
谓词逻辑下,子句 C1=L∨C1’, C2= ┐L∨C2’, 若σ是互补文字的最一般合一代换,则其归结式 C12=()
A.C1’σ∨C2’σ
B.C1’∨C2’
C.C1’σ∧C2’σ
D.C1’∧C2’
参考答案和解析
C1’σ∨C2’σ
更多 “谓词逻辑下,子句 C1=L∨C1’, C2= ┐L∨C2’, 若σ是互补文字的最一般合一代换,则其归结式 C12=()A.C1’σ∨C2’σB.C1’∨C2’C.C1’σ∧C2’σD.C1’∧C2’” 相关考题
考题
用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’
考题
以下程序运行后的输出结果是______。 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
考题
有以下程序. #includestdio.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.1267B.1256C.1278D.1245
考题
(8)有以下程序(说明:字符0的ASCII码值为48)#include stdio.hmain(){ char c1,c2;scanf("%d",c1);c2=c1+9;printf("%c%c\n",c1,c2);}若程序运行时从键盘输入48回车,则输出结果为 【8】 。
考题
将电容器C1(100V、20uF)和C2(160V、20uF)串联接到250V电压上,则()。A、C1、C2均正常工作B、 C1击穿,C2正常工作C、C1、C2均击穿D、C1正常工作,C2击穿
考题
C1和C2两空气电容器并联起来接上电源充电,然后将电源断开,再把一电介质板插入C1中,则()A、C1和C2极板上电量都不变B、C1极板上电量增大,C2极板上电量不变C、C1极板上电量增大,C2极板上电量减少D、C1极板上电量减少,C2极板上电量增大
考题
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
考题
已知定K式宽带阻波器B=f2-f1,调谐时,()A、L1、C1并联回路调谐于f1,L2、C2串联回路调谐于f2B、L1、C1并联回路调谐于f2,L2、C2串联回路调谐于f1C、L1、C1及L2、L2均调谐于√(f1f2)D、L1、C1均调谐于(f1+f2)/2
考题
已知双频阻波器频率为f1、f2(f1<f2)的回路对谐时,()A、L1、C1调谐于f1,L2、C2调谐于f2B、L1、C1调谐于f2,L2、C2调谐于f1C、L1、C1和L2、C2均调谐于f2,配C3时整组调谐于f1D、L1、C1和L2、C2均调谐于f1,配C3时整组调谐于f2
考题
多选题若A1=2,B1=3,C1=A1+B1,若想让C2单元格显示5,则可以用下列()。A再C2里输入“=C1”B选中C1复制,在C2上选择“粘贴”C选中C1复制,在C2上选择“选择性粘贴/数值”D用填充柄从C1拖到C2
热门标签
最新试卷