在线词典

分类:语言工具
在线词典,是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义,查询效率高、结果丰富,包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等,是外语学习者必备的在线查词工具。

disjunctive normal form

查词链接:https://www.dute.org/dict/disjunctive_normal_form复制链接
[数] 析取范式
查看英英释义
abstract:
In boolean logic, a disjunctive normal form (DNF) is a standardization (or normalization) of a logical formula which is a disjunction of conjunctive clauses; otherwise put, it is an OR of ANDs also known as a Sum of products. As a normal form, it is useful in automated theorem proving.

网络释义
析取范式
析取范式(disjunctive normal form): 若干个小项的析取。 标准句(standard sentence):合取范式或析取范式 子句(clause):合取范式中的大项或 析取范式中的小项。
析取正规形式
... 前束正规形式 prenexnormal form ; normal form 析取正规形式 disjunctive normal form 根正规形式 Root Normal Form ...
分离性标准形式
... DNCOS Directory Number Class Of Service 业务分类名录电话号码 DNF Disjunctive Normal Form 分离性标准形式 DNG Digital News Gathering 数字新闻采访 ...
用合取范式
链接分析在权威WEB信息源搜索中的应用研究(管理科学与工程专业优秀论文) - docin.com豆丁网 ij∈ {o,1}。根据布尔逻辑的三种基本运算:逻辑乘AND、逻辑或OR、以及逻辑非 NOT,查询q用合取范式(disjunctive normalform,DNF)面表示。设而是面 的任一合取元素(conjunctivecomponents),则文档哇j和查询q相
常用短语
更多常用短语
* 以上查询结果来自于网络,仅供参考。
正在查询...