在线词典

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

conjunctive normal form

查词链接:https://www.dute.org/dict/conjunctive_normal_form复制链接
合取范式:一种逻辑表达式的标准形式,由一系列子句通过合取操作符连接而成,每个子句都是由一个或多个文字通过析取操作符连接而成。
查看英英释义
abstract:
In Boolean logic, a formula is in conjunctive normal form (CNF) or clausal normal form if it is a conjunction of clauses, where a clause is a disjunction of literals; otherwise put, it is an AND of ORs. As a normal form, it is useful in automated theorem proving.

网络释义
合取范式
合取范式(conjunctive normal form,CNF) :一个由原子和原 子的非组成的合取式,如果与给定的命题公式A等价,则称它 是A的合取范式。
连接标准形式
...fied Novell Engineer Professional Association 网威公司确定授权工程师的专业学会 CNF Conjunctive Normal Form 连接标准形式 CNF Custom Number Formatting 客户编号格式化 ..
合取正常形式
... 合取概括 conjunctive generalization 合取正常形式 conjunctive normal form,CNF 合取查询 conjunctive query ...
常用短语
更多常用短语
* 以上查询结果来自于网络,仅供参考。
正在查询...