（单选题）
消解是一种可用于一定的（）的重要推理规则。
A子句
B双条件
C合取公式
D蕴含公式
正确答案
答案解析
略
相似试题
（判断题）
H．261是一种可用于视频会议和可视电话业务的数字视频编码标准。
（填空题）
AGP总线标准是一种可自由扩展的（）总线结构。
（判断题）
激光视盘是一种可重写光盘。
（判断题）
赋值语句是一种可执行语句。
（判断题）
CD-ROM是一种可读可写的外存储器。
（单选题）
应用选型是一种用于能力管理的技术，为什么应用选型重要？（）
（判断题）
Rapide是一种可执行的ADL，其目的在于通过定义并模拟基于事件的行为对分布式同步系统建模。
（填空题）
（）是一种系统规则，Access可以用它来确保关系表中的记录是有效的，且可以确保用户不会在无意间删除或更改重要数据。
（单选题）
Rapide是一种可执行ADL，其目的在于通过定义并模拟基于事件的行为对分布式并发系统建模。Rapide是由5种子语言构成。以下选项中的语言均为Rapide语言的是（）
