22、对于习题6.8的布尔表达式问题,计算 eval [("p", True), ("q",True)] (Or (Not (Var "p")) (Var "q")) 的结果是 (填写True或者False)

22、对于习题6.8的布尔表达式问题,计算 eval [("p", True), ("q",True)] (Or (Not (Var "p")) (Var "q")) 的结果是 (填写True或者False)


参考答案和解析
分析与解答:TAUTOL LOGY={ E|E 是重言式}。其补语言为 L={ E|E 不是重言式}{E \vert \overset{\bar{}}{E} 是可满足的}。由 \mathrm{S}\mathrm{A}\mathrm{T}\in \mathrm{N}\mathrm{P} 知,\mathrm{L}\in \mathrm{N}\mathrm{P},从而TAUTOLOGY∈CO-NP。

相关考题:

设有如下说明:var q,p:^integer; 且已知有过程调用new(p);new(q);则下面语句正确的是( ) Aread(p,q);Bp^:=q^Cp:=p+1Dp:=p+q;

(7)已知变量boo1Var是一个布尔型的变量,如果要给其赋值为True,则正确的赋值语句就是。

(7)已知变量bool Var是一个布尔型的变量,如果要给其赋值为True,则正确的赋值语句是。

逻辑函数TRUE的表达式为()。 A、TRUE(logical_test,value_if_true,value_if_false)B、TRUE()C、TRUE(logical1,logical2,…)D、TRUE(logical)

下面哪个函数可以返回逻辑值TRUE()。 A、AND(TRUE,TRUE,FALSE)B、OR(TRUE,TRUE,FALSE)C、OR(FALSE,FALSE,FALSE)D、NOT(TRUE)

现有:classTest2fpublicstaticvoidmain(String[]args){booleanX=true;booleany=false;shortZ=20;if((x==true)if((y==true)||(++z==22))z++;System.out.println(z=+z);}结果是什么?() A.Z=21B.Z=22C.Z=23D.Z=24

boolean a=false;boolean b=true;boolean c=(ab)(!b);boolean result=(ab)(!b); boolean result=(ab)(!b); 执行完后,正确的结果是( )。A.c=false;result=falseB.c=true,result=trueC.c=true;result=falseD.c=false;result=true

下面程序段的输出结果为( )。A.a=true b=false b=true C=trueB.a=true b=false b=true e=falseC.a=true b=true b=true C=falseD.a=false b=false b=true C=false

F. 归并排序{a为序列表,tmp为辅助数组}procedure merge(var a:listtype; p,q,r:integer);{将已排序好的子序列a[p..q]与a[q+1..r]合并为有序的tmp[p..r]}var I,j,t:integer;tmp:listtype;

下列横线处应填写的语句是( )。 A.fr.setVisible(true)B.fr.setVisible(false) 下列横线处应填写的语句是( )。A.fr.setVisible(true)B.fr.setVisible(false)C.fr.setFrame(true)D.fr.setmyFrame(true)

以下的布尔代数运算错误的是() A.(True or x) == TrueB.not (a and b) == not (a) and not (b)C.(False and x) == FalseD.(True or False) == True

对布尔表达式进行短路求值是指在确定表达式的值时,没有进行所有操作数的计算。对于布尔表达式 “a or ((b>c) and d)”,当(34)时可进行短路计算。A.a的值为 true B.d的值为 trueC.b的值为 true D.c的值为 true

设a = True ,b = True ,c = False,以下表达式值为False的是()A、a or b or c   B、(not a or b )and( b or c )C、False or not a and b or not c  D、not a and not b and (12 in [1..10] )

以下3个表达式的结果分别是?() 0===’0’ ’0’==false 1===trueA、false,true,falseB、true,true,falseC、false,false,trueD、true,true,true

当a=True,b=False,c=True时,表达式“a Or b And Not c”的值为True。

readdir()函数执行成功返回布尔值true,失败则返回布尔值false。

逻辑表达式:!true||false的结果是()

逻辑表达式的值只有两个:True和False。当逻辑表达式成立,其值为();不成立,其值为()。A、True;TrueB、False;TrueC、False;FalseD、True;False

以下变量属于原始数据类型的是()。A、var a=1B、var a=[1,2,3]C、var a="你好"D、var a=true

布尔型变量只有True和False两个值。

var one;var two=null;console.log(one==two,one===two);上面代码的输出结果是()。A、false trueB、true falseC、false falseD、true true

条件表达式(result)?"true":"false"的意义是(),其中result是逻辑表达式。A、如果result为true,则表达式的值是true,否则为falseB、如果result为false,则表达式的值是true,否则为falseC、如果result为true,则表达式的值是false,否则为trueD、表达式错误

判断题当a=True,b=False,c=True时,表达式“a Or b And Not c”的值为True。A对B错

多选题If p and q are primes greater than 2, which of the following statements must be true? (Indicate all such statements.)Ap + q is evenBpq is oddCp2-q2 is even

单选题条件表达式(result)?"true":"false"的意义是(),其中result是逻辑表达式。A如果result为true,则表达式的值是true,否则为falseB如果result为false,则表达式的值是true,否则为falseC如果result为true,则表达式的值是false,否则为trueD表达式错误

单选题var one;var two=null;console.log(one==two,one===two);上面代码的输出结果是()。Afalse trueBtrue falseCfalse falseDtrue true

单选题现有:  class Test2  f  public static void main (String  []  args)  {      boolean X= true;      boolean y=false;      short Z=20;      if((x==true)  &  (y=true))  z++;     if((y==true) ||  (++z==22))  z++;      System. out .println( "z="+z);      }      结果是什么?()AZ=21BZ=22CZ=23DZ= 24

填空题逻辑表达式:!true||false的结果是()