AØ ( $x) ( $y) (Ø P (x, y)Ú Ø Q (x, y) )
B( $x) ( "y) (Ø P (x, y)Ú Ø Q (x, y) )
C ( $x) ( $y) (Ø P (x, y)Ù Ø Q (x, y) )
D("x) ($y) (Ø P (x, y)Ú Ø Q (x, y) )
问题：
[单选题] 与谓词演算公式Ø ( "x) ( "y) ( P (x, y)Ú Q (x, y) )等价的公式是( )
AØ ( $x) ( $y) (Ø P (x, y)Ú Ø Q (x, y) )
B( $x) ( "y) (Ø P (x, y)Ú Ø Q (x, y) )
C ( $x) ( $y) (Ø P (x, y)Ù Ø Q (x, y) )
D("x) ($y) (Ø P (x, y)Ú Ø Q (x, y) )
AØ ( $x) ( $y) (Ø P (x, y)Ú Ø Q (x, y) )
B( $x) ( "y) (Ø P (x, y)Ú Ø Q (x, y) )
C ( $x) ( $y) (Ø P (x, y)Ù Ø Q (x, y) )
D("x) ($y) (Ø P (x, y)Ú Ø Q (x, y) )
答案解析：
您可能感兴趣的问题
- 云计算的服务模式包括()。 A基础设施即服务 B平台即服务 C系统即服务 D软件即服务
- Mesos是一个开源的资源管理系统，可以对集群中的资源做弹性管理，目前Twitter、 Apple等公司在大量使用Mesos管理集群资源。()
- Storm是Twitter开源的分布式实时大数据处理框架,被业界称为实时版Hadoop。()
- 若要在 HBase 上使用 SQL，则需要联合使用 Apache Phonenix，或者联合使用 Hive 和 HBase。
- 下列关于数据仓库工具Hive架构描述正确的是()。 AHive用户接口主要有三个:CLI,JDBC/ODBC和Web UI,最常用的是CLI。 BHive将元数据存储在关系型数据库中,有三种模式可连接
- HDFS的优点包括( )。 A 高容错性,适合批处理 B 构建在廉价机器上 C 适合大数据处理,流式文件访问 D 对延时要求在毫秒级别的应用
- HDFS可靠性策略包括( )。 A 文件完整性,CRC32校验和副本取代损坏文件。 B Datanode定期向Namenode发heartbeat。 C 文件多份存储,主备NameNode实时切换 D
- Kafka集群包含一个或多个服务器,服务器节点称为broker。每条发布到Kafka集群的消息都有一个类别,这个类别被称为Topic。()
- 以下属于Microsoft公司的云计算组件是()。 A 虚拟化平台Windows Server Container B 虚拟化平台Hyper-V Container C 云计算管理平台System C
- Hive数据库.表.分区等都对应HDFS上的一个目录。表数据对应HDFS 对应目录下的文件。()