任一命题公式的主析取范式和它的主合取范式互为对偶式_答案

【判断题】

任一命题公式的主析取范式和它的主合取范式互为对偶式

A. 对

B. 错

查看试卷，进入试卷练习

微信扫一扫，开始刷题

答案

解析

暂无解析

相关试题

【判断题】

任一命题公式都可以表示成与其等值的若干极小项的析取式

A. 对

B. 错

查看答案解析

【判断题】

在谓词公式中，一个变量只能是自由变量或约束变量中的一种

A. 对

B. 错

查看答案解析

【判断题】

公式 (x)(P(x)→Q(x) )R(y) 中量词x的作用域为P(x)

A. 对

B. 错

查看答案解析

【判断题】

同一谓词公式，指定不同的论域，其真值不一定相同

A. 对

B. 错

查看答案解析

【判断题】

谓词公式(x)P(x)(y)﹁P(y)是矛盾式

A. 对

B. 错

查看答案解析

【判断题】

(x)(P(x)→Q(x) )→((x)P(x)→(x)Q(x) )为真

A. 对

B. 错

查看答案解析

【判断题】

对公式(z)(P(z)∧Q(x,z)∧M(z,y))∨R(z)中自由变量进行代入后，有(z)(P(z)∧Q(a,z)∧M(z,b))∨R(z)

A. 对

B. 错

查看答案解析

【判断题】

(x) (y) (P(x)→Q(y) )(x)P(x)→(y)Q(y)

A. 对

B. 错

查看答案解析

【判断题】

P(x)、Q(x)表示谓词，P表示命题，有(x) (P(x)→P)(x)P(x)→P

A. 对

B. 错

查看答案解析

【判断题】

(x) (A(x)∧B(x) )(x)A(x)∧(x)B(x)

A. 对

B. 错

查看答案解析

【判断题】

(x) (A(x)→B(x) )(x)A(x)∧(x)B(x)

A. 对

B. 错

查看答案解析

【判断题】

任意一个谓词公式都与一个前束范式等价

A. 对

B. 错

查看答案解析

【判断题】

公式(x)P(x)→(y)Q(x,y)的前束范式为(x) (y) (P(x)→Q(x,y) )

A. 对

B. 错

查看答案解析

【判断题】

公式(x)(﹁(y)P(x,y)→((z)Q(z)→R(x)))的前束范式为(x) (y) (z) (P(x,y)∨﹁Q(z) ∨R(x))

A. 对

B. 错

查看答案解析

【判断题】

是正确的

A. 对

B. 错

查看答案解析

【判断题】

对公式(z)(P(z)∧Q(x,z)∧M(z,y))∨R(z)中约束变量z改名后，得到的等价公式为：(t)(P(t)∧Q(x,t)∧M(t,y))∨R(t)

A. 对

B. 错

查看答案解析

【判断题】

若P∪Q=Q，P∩Q=Φ，则P=Φ

A. 对

B. 错

查看答案解析

【判断题】

{Φ}∈{Φ,{Φ}}且{Φ}{Φ,{Φ}}

A. 对

B. 错

查看答案解析

【判断题】

设A={Φ}，B=P(P(A))，则有{Φ}∈B，且{Φ}B

A. 对

B. 错

查看答案解析

【判断题】

设A、B是集合，则命题AB 和A∈B可能同时成立

A. 对

B. 错

查看答案解析

【判断题】

若A-BB，则BA

A. 对

B. 错

查看答案解析

【判断题】

对每个集合A，有{A}P(A)

A. 对

B. 错

查看答案解析

【判断题】

设A、B是任意集合，若{A∩B,B-A}是A∪B的一个划分，则有A-B=Φ

A. 对

B. 错

查看答案解析

【判断题】

设A、B是两个非空集合，若{A-B,B-A}是A∪B的一个划分，则有A∩B=Φ

A. 对

B. 错

查看答案解析

【判断题】

设A、B是任意集合，若{A∩B, A-B,B-A}是A∪B的一个划分，则有A∩B=Φ，A-B=Φ，B-A =Φ

A. 对

B. 错

查看答案解析

【判断题】

设A、B是任意集合，若{A∩B }是A∪B的一个划分，则有A-B=B-A =Φ

A. 对

B. 错

查看答案解析

【判断题】

若AB=AC，则B=C

A. 对

B. 错

查看答案解析

【判断题】

集合A={1,2,3}的任何关系R都不可能既是对称的，又是反对称的

A. 对

B. 错

查看答案解析

【判断题】

集合A={a,b,c}上的关系R={<a,b>,<a,c>}是不可传递的

A. 对

B. 错

查看答案解析

【判断题】

若R和S是集合A上的任意两个自反关系，则RS也是自反的

A. 对

B. 错

查看答案解析

【判断题】

若R和S是集合A上的任意两个反自反关系，则RS也是反自反的

A. 对

B. 错

查看答案解析

【判断题】

若R和S是集合A上的任意两个对称关系，则RS也对称的

A. 对

B. 错

查看答案解析

【判断题】

若R和S是集合A上的任意两个传递关系，则RS也是传递的

A. 对

B. 错

查看答案解析

【判断题】

若R为是集合A上的反对称关系，则t(R)一定是反对称的

A. 对

B. 错

查看答案解析

【判断题】

若R是集合A上的传递关系，则R2也是集合A上的传递关系

A. 对

B. 错

查看答案解析

【判断题】

设R和S是集合A上的等价关系，则R∪S一定是等价的

A. 对

B. 错

查看答案解析

【判断题】

设R和S是集合A上的两个相容关系，则RS与R∩S都是相容关系

A. 对

B. 错

查看答案解析

【判断题】

平面上直线间的平行关系是等价关系

A. 对

B. 错

查看答案解析

【判断题】

设人的集合A上的朋友关系为R，则R是A上的相容关系

A. 对

B. 错

查看答案解析

【判断题】

若集合A上的关系R是对称的，则Rc也是对称的

A. 对

B. 错

查看答案解析

推荐试题

【多选题】

BGP 邻居会话建立之前，以下哪些是必须执行的.（）___

A. BGP 邻居必须发送Open 消息

B. 两BGP 路由器之间必须建立TCP 连接

C. 手动配置并指定邻居

D. 邻居间相互交换路由数据库

查看答案解析

【多选题】

BGP 协议为了减少自治系统内部连接的复杂程度可以采用的方法有（）___

A. 路由聚合

B. 建立联盟

C. 设置反射器

D. 提高衰减的惩罚值

查看答案解析

【多选题】

BGP 协议中规定了BGP 的两种邻居类型：IBGP 对等体和EBGP 对等体，有关对这些对等体路由的通告描述正确的是（）___

A. BGP 把从EBGP 获得的路由向IBGP 对等体通告

B. BGP 把从EBGP 获得的路由向EBGP 对等体通告

C. BGP 把从IBGP 获得的路由向IBGP 对等体通告

D. BGP 一定会把从IBGP 获得的路由信息向EBGP 对等体通告

查看答案解析

【多选题】

BRAS承载家庭宽带业务时，对用户的限速方式有（）___

A. Radius下发速率

B. 域下限速

C. 接口限速

查看答案解析

【多选题】

BRAS设备具备的功能有（）___

A. 用户接入识别

B. 连接管理

C. AAA与用户管理

D. 地址分配与管理

查看答案解析

【多选题】

BRAS设备为用户提供接入认证功能，高端BRAS支持的认证技术有（）.___

A. PPPOE认证

B. WEB认证

C. 802.1x认证

D. 基于IP、VLAN的绑定认证

查看答案解析

【多选题】

Craft Interface上可以查看的系统运行状态以及故障诊断的功能有（）___

A. 告警LED

B. 主机子系统LED

C. SIB LED

D. FPC LED

查看答案解析

【多选题】

DNS节点按照功能分为（）___

A. 缓存服务节点

B. 授权服务节点

C. 递归服务节点

D. 解析服务节点

查看答案解析

【多选题】

DWDM设备的主要的网元形式包括？（）___

A. OTM

B. OADM

C. OLA

D. REG

查看答案解析

【多选题】

DWDM中的关键技术有（）。___

A. 光源技术

B. 光调制技术

C. 合波分波技术

D. 光放大技术

查看答案解析

【多选题】

F5 Bigip 支持哪些会话保持方法.（）___

A. 简单会话保持：根据客户端源IP 地址保持客户会话的技术

B. HTTP Header：根据HTTP 包头信息保持会话的技术

C. SSL ID 会话保持：根据SSL ID 保持客户/服务器连接的技术

D. HTTP Cookie 会话保持：插入模式,改写模式, 被动模式, 散列模式(Cookie Hash)

查看答案解析

【多选题】

F5负载均衡器如何实现双机切换.（）___

A. 在主机上操作b failover standby

B. 在页面上选择force to standby

C. 在主机上操作b standby

D. 在页面上选择sync to peer

查看答案解析

【多选题】

FTP用户主要包含以下哪些类型（）___

A. 超级用户

B. 匿名用户

C. 授权用户

D. 受限用户

查看答案解析

【多选题】

GPRS专线客户端设备一般包含___

A. 协议转换器

B. 光端机

C. 路由器、交换机

D. 无线DDN

查看答案解析

【多选题】

IMS统一centrex应用能够实现以下哪些业务？___

A. 多媒体桌面电话业务(补充业务)

B. 融合VPMN（包含现网VPMN功能）

C. 融合一号通

D. 融合总机（Centrex话务台）

查看答案解析

【多选题】

IM的通讯方式有：（）___

A. 在线直接通讯

B. 在线代理通讯

C. 离线代理通讯

D. 扩展方式通讯

查看答案解析

【多选题】

Infox网关故障处理常用的方法有___

A. 用维测台，在网关进行接口跟踪，分析消息协议是否存在异常

B. 用PTEST工具，可以检查网关与其他实体之间登录存在的异常情况

C. 可以通过检查网关日志，查看网关收到网络攻击或非正常连接的情况

D. 可以分析smpp话单和cmpp话单，检查失败原因，失败的数量等。

查看答案解析

【多选题】

IP承载网（）双节点发生故障退出服务，且设备故障历时超过30分钟,为IP承载网重大故障。( )___

A. AR

B. CR、BR

C. RR

D. CE

查看答案解析

【多选题】

IP城域网故障判断的常见方法有：（）___

A. 观察分析法

B. 替换法

C. 插拔法

D. 计算法

查看答案解析

【多选题】

IP路由表中通常含有如下哪些信息（）___

A. 目的网络地址

B. 开销

C. 出接口

D. 下一跳地址

查看答案解析

【多选题】

IS-IS 协议直接支持的网络类型有（）___

A. 点到点

B. 点到多点

C. 广播

D. NBMA

查看答案解析

【多选题】

Lay4-7 层交换机或应用交换机有哪些速度、性能指标比较重要.（）___

A. 每秒处理的会话数量

B. 最多能够保持的连接数量,即最多能够保持多少个并发的会话连接

C. 端口数量

D. 支持的虚拟服务器个数–最多同时多少应用可以做负载均衡

查看答案解析

【多选题】

MPLS-VPN网络中，以下那些元素是M-BGP分配或者传递的（）___

A. 私网标签

B. 公网路由

C. 私网路由

D. 公网标签

查看答案解析

【多选题】

MSAP设备存在几种网管方式。（）___

A. 通过SNMP协议，配合网管软件进行管理

B. 本地串口方式管理

C. 232接口管理

D. 远程telnet方式管理

查看答案解析

【多选题】

OSN设备配置SNCP保护，因为数据配置不正确导致倒换失败的原因有()___

A. 保护倒换启动条件未正确设置

B. 业务在源、宿站点的配置不正确

C. 业务在相关穿通站点未正确配置

D. 保护倒换属性在环、链相交站点未正确设置

查看答案解析

【多选题】

OSN系列产品，在备板正常的情况下，下述那些操作可以导致交叉或时钟板的主备倒换：（）___

A. 逻辑上删除主交叉、时钟板，例如下发命令:cfg-del-board命令删除主板

B. 软复位交叉或时钟主板（软复位不会中断业务）

C. 打开主板拉手条的上下拉手

D. 下发主备倒换命令

查看答案解析

【多选题】

OTN系统光接口规范包括( )___

A. G.691

B. G.694.1

C. G.694.2

D. G.709

查看答案解析

【多选题】

P2P实际的应用主要体现在以下几个方面：（）___

A. P2P分布式存储

B. 计算能力的共享

C. P2P应用层组播

D. 即时信息共享

查看答案解析

【多选题】

PBX：PrivateBrancheXchange，用户级交换机，以下说法正确的是：（）___

A. PBX俗称程控交换机，是现代办公常用的电话通讯管理手段的一种

B. 公司内部使用的电话业务网络，系统内部每个分机均独占一条外线

C. 使电话管理者可集团性管理外线来电与内线呼出。

D. 公司内部使用的电话业务网络，系统内部分机用户分享一定数量的外线。

查看答案解析

【多选题】

按照网络分级设计模型，通常把网络设计为3层，即核心层、汇聚层和接入层，以下关于分级网络的描述中，正确的有（）___

A. 核心层承担访问控制列表检查功能

B. 汇聚层实现网络的访问控制策略控制

C. 工作组服务器放置在接入层

D. 在接入层可以使用交换机代替集线器

查看答案解析

【多选题】

常见的 IGP 路由协议包括（）___

A. RIP

B. OSPF

C. IS-IS

D. BGP

查看答案解析

【多选题】

常见的链路状态路由协议有（）___

A. RIP

B. BGP

C. IS-IS

D. OSPF

查看答案解析

【多选题】

成为BGP 路由的途径包括（）___

A. 使用import-route 命令把IGP 发现的路由注入到BGP 的路由表中

B. 使用network 命令把IGP 发现的路由注入到BGP 的路由表中

C. 将从IBGP 学到的路由注入到BGP 的路由表中

D. 将从EBGP 学到的路由注入到BGP 的路由表中

查看答案解析

【多选题】

电子邮件系统由邮件用户代理MUA和邮件传输代理MTA两部分组成.以下程序中属于邮件传输代理的是（）.___

A. Outlook Express

B. Foxmail

C. Exchange

D. Sendmail

查看答案解析

【多选题】

对华为MA5200F进行故障处理时，关于信息收集方法描述正确的是（）。___

A. 通过display current-configuration命令检查系统当前的全部配置数据

B. 通过trace enable和trace object命令收集业务跟踪信息

C. 通过debugging命令获得告警信息

D. 通过display operation-log命令可以查询系统操作日志信息

查看答案解析

【多选题】

对华为ONT分类描述正确的是()。___

A. 室外型（SFU，OT550）

B. 室内型（OT100A）

C. Business型（SBU，OT925G）

D. xDSL型（MA5606T）

查看答案解析

【多选题】

对路由表描述正确的是（）___

A. 路由表中下一跳是多余的，有出接口就可以指导报文转发

B. 对不同来源的路由，其优先级也不相同

C. 不同路由协议之间的花费值具有可比性

D. 不同路由协议之间的花费值不具有可比性

查看答案解析

【多选题】

对于划分区域的好处，下列描述正确的是（）___

A. 减小 LSDB 的规模

B. 减轻运行 SPF 算法的复杂度

C. 减少路由的振荡

D. 有利于路由进行聚合

查看答案解析

【多选题】

关于access端口下面的说法正确的是（）___

A. access端口只能属于1个VLAN

B. access端口可以属于多个VLAN

C. access端口一般用于接用户计算机的端口

D. access端口一般用于交换机之间连接的端口

查看答案解析

【多选题】

关于BGP 发布路由，下列哪项描述是错误的.（）___

A. 不能发布直连路由

B. 不能发布静态路由

C. 可以发布其它动态路由协议发现的路由信息

D. BGP 发布的本地路由必须首先存在于本地的IP 路由表中才能够成功发布

查看答案解析