#CSPJKG51. 计算机数学1: 离散数学
计算机数学1: 离散数学
- 单选题 [NOIP普及组2005] 设 A = true,B = false,C = false,D = true,以下逻辑运算表达式值为真的是( )。 {{ select(1) }}
- (A∧B)∨(C∧D)
- ((A∧B)∨C)∧D
- A∧((B∨C)∧D)
- (A∧(B∨C))∨D
- (A∨B)∧(C∧D)
- 多选题 [NOIP提高组2005] 设 A = true,B = false,C = false,D = true,以下逻辑运算表达式值为真的有( )。 {{ multiselect(2) }}
- (A∧B)∨(C∧D)
- ((A∧B)∨C)∧D
- A∧((B∨C)∨D)
- (A∧(B∨C))∨D
- (A∨B)∧(C∨D)
- 单选题 [NOIP普及组2006] 设A=B=D=true,C=false,以下逻辑运算表达式值为真的有( )。 {{ select(3) }}
- (¬A∧B)∨(C∧D)
- ¬((A∨B∨D)∧C)
- ¬A∧(B∨C∨D)
- (A∧B∧C)∨¬D
- 多选题 [NOIP提高组2006] 设A=B=D=true,C=E=false,以下逻辑运算表达式值为真的有( )。 {{ multiselect(4) }}
- (¬A∧B)∨(C∧D)∨¬E
- ¬(((A∧B)∨C)∧D∧E)
- A∧(B∨C∨D∨E)
- (A∧(B∨C))∧D∧E
- 单选题 [NOIP普及组2007/NOIP提高组2007] 设A=B=true,C=D=false,以下逻辑运算表达式值为假的有( )。 {{ select(5) }}
- (¬A∧B)∨(C∧D∨A)
- ¬(((A∧B)∨C)∧D)
- A∧(B∨C∨D)∨D
- (A∧(D∨C))∧B
- 单选题 [NOIP普及组2008] 设A=true,B=false,C=true,D=false,以下逻辑运算表达式值为真的是( )。 {{ select(6) }}
- (A∧B)∨(C∧D∨¬A)
- ((¬A∧B)∨C)∧¬D
- (B∨C∨D)∧D∧A
- A∧(D∨¬C)∧B
- 多选题 [NOIP提高组2008] 设A=true,B=false,C=true,D=false,以下逻辑运算表达式值为真的有( )。 {{ multiselect(7) }}
- (A∧B)∨(C∧D∨¬A)
- ((¬A∧B)∨C)∧¬D
- (B∨C∨D)∨D∧A
- A∧(D∨¬C)∧B
- 单选题 [CSP-J2020] 设 x=true,y=true,z=false,以下逻辑运算表达式值为真的是( )。 {{ select(8) }}
- (y∨z)∧x∧z
- x∧(z∨y)∧z
- (x∧y)∧z
- (x∧y)∨(z∨x)
- 多选题 [NOIP提高组2014] 若逻辑变量 A、C 为真,B、D 为假,以下逻辑运算表达式真的有( )。 {{ multiselect(9) }}
- (B∨C∨D)∨D∧A
- ((¬A∧B)∨C)∧¬B
- (A∧B)∨(C∧D∨¬A)
- A∧(D∨¬C)∧B
- 多选题 [NOIP提高组2007] 命题"P→Q"可读做P蕴涵Q,其中P、Q是两个独立的命题。只有当命题P成立而命题Q不成立时,命题"P→Q"的值为false,其他情况均为true。与命题"P→Q"等价的逻辑关系式是( )。 {{ multiselect(10) }}
- ¬P∨Q
- P∧Q
- ¬(P∨Q)
- ¬(¬Q∧P)
- 单选题 [NOIP普及组2010/NOIP提高组2010] 以下逻辑表达式的值恒为真的是( )。 {{ select(11) }}
- P∨(┐P∧Q)∨(┐P∧┐Q)
- Q∨(┐P∧Q)∨(P∧┐Q)
- P∨Q∨(P∧┐Q)∨(┐P∧Q)
- P∨┐Q∨(P∧┐Q)∨(┐P∧┐Q)
- 多选题 [NOIP提高组2011] 在布尔逻辑中,逻辑"或"的性质有( )。 {{ multiselect(12) }}
- 交换律:P∨Q = Q∨P
- 结合律:P∨(Q∨R) = (P∨Q)∨R
- 幂等律:P∨P = P
- 有界律:P∨1 = 1 (1表示逻辑真)
- 单选题 [NOIP普及组2013] 逻辑表达式( )的值与变量A的真假无关。 {{ select(13) }}
- (A∨B)∧¬A
- (A∨B)∧¬B
- (A∧B)∨(¬A∧B)
- (A∨B)∧¬A∧B
- 多选题 [NOIP提高组2012] 逻辑异或⊕是一种二元运算,其真值表如下所示。以下关于逻辑异或的性质,正确的有( )。 {{ multiselect(14) }}
- 交换律:a⊕b=b⊕a
- 结合律:(a⊕b)⊕c=a⊕(b⊕c)
- 关于逻辑与的分配律:a⊕(b∧c)=(a⊕b)∧(a⊕c)
- 关于逻辑或的分配律:a⊕(b∨c)=(a⊕b)∨(a⊕c)
- 单选题 [NOIP普及组2016/NOIP提高组2016] 下图表示一个果园灌溉系统,有A、B、C、D四个阀门,每个阀门可以打开或关上,所有管道粗细相同,以下设置阀门的方法中,可以让果树浇上水的有( )。 {{ select(15) }}
- B打开,其他都关上
- AB都打开,CD都关上
- A打开,其他都关上
- D打开,其他都关上
-
填空题 [NOIP普及组2018/NOIP提高组2018] 甲乙丙丁四人在考虑周末要不要外出郊游。已知①如果周末下雨,并且乙不去,则甲一定不去;②如果乙去,则丁一定去;③如果丙去,则丁一定不去;④如果丁不去,而且甲不去,则丙一定不去。如果周末丙去了,则甲____(去了/没去),乙____(去了/没去),丁___(去了/没去),周末____(下雨/没下雨)。 {{ input(16) }}
-
填空题 [NOIP普及组2013/NOIP提高组2013] 某系统自称使用了一种防窃听的方式验证用户密码。密码是n个数s1,s2,...,sn,均为0或1。该系统每次随机生成n个数a1,a2,...,an,均为0或1,请用户回答(s1a1+s2a2+...+snan)除以2的余数。如果多次的回答总是正确,即认为掌握密码。该系统认为,即使问答的过程被泄露,也无助于破解密码。然而,事与愿违。例如,当n=4时,有人窃听了以下5次问答:就破解出了密码s1=,s2=,s3=,s4=。(答案用逗号隔开) {{ input(17) }}
-
单选题 [NOIP提高组2004] 设全集I={a,b,c,d,e,f,g},集合A={a,b,c},B={b,d,e},C={e,f,g},那么集合(A-B)∪(~C∩B)为( )。 {{ select(18) }}
- {a,b,c,d}
- {a,b,d,e}
- {b,d,e}
- {b,c,d,e}
- {d,f,g}
- 单选题 [NOIP普及组2005/NOIP提高组2005] 设全集I={a,b,c,d,e,f,g,h},集合A={a,b,c,d,e,f},B={c,d,e},C={a,d},那么集合A∩B∩~C为( )。 {{ select(19) }}
- {c,e}
- {d,e}
- {e}
- {c,d,e}
- {d,f}