conjunctive normal form
合取范式：一种逻辑表达式的标准形式，由一系列子句通过合取操作符连接而成，每个子句都是由一个或多个文字通过析取操作符连接而成。
conjunctive normal form网络翻译
合取范式(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 ...
conjunctive normal form常用短语
1. major conjunctive normal form：合取范式
2. Special Conjunctive Normal Form：主合取范式
3. distinguished conjunctive normal form：杰异合取范式
4. quantifier-free conjunctive-normal form：[计] 自由量词合取范式
5. cnf conjunctive normal form：连接标准形式
conjunctive normal form双语例句
A simplified method is given in practice: on the one side, it extracts the differential elements to construct conjunctive normal form from the information table.
实际应用中给出一种简化算法：一边从信息表中提取差别元素构成合取范式，一边用分配律、吸收律作逻辑公式的等价变换，直接得到最小析取范式。
An new concept of saturated conjunctive normal form is introduced and the nature of sat problem is studied for utilizing the characteristic of saturated conjunctive normal form.
引入了一个饱和合取范式的概念，利用饱和合取范式的性质，对SAT问题的本质进行了研究。
This paper presents a fast and efficient algorithm for discovering exceptional rules from data sets. This algorithm permits that the consequent of a rule is a conjunctive normal form.
文章提出一种快速有效发现意外规则的算法，该算法允许规则的结果为合取范式。
相关单词
- newsstandn. 报摊；杂志摊
- newscastern. 新闻播音员；新闻播报员；新闻广播员
- newsagentn. 报刊经销商
- nauticaladj. 航海的，海上的；船员的
- futurologistn. 未来学家
- funambulistn. 走绳索的杂技演员
- freelanceadj. 特约的，自由职业（者）的 adv. 以自由职业者身份 n. 自由职业者；<史>中世纪的雇佣兵 v. 做特约工作，从事自由职业
- formann. 工头 n. （Forman）人名；（英、捷、法、匈）福曼
- foremann. 领班；陪审团主席 n. （Foreman）人名；（英、西）福尔曼
- flyern. 传单；飞鸟；飞行物；飞跳；孤注一掷 n. （Flyer）人名；（英）弗莱尔
- floristn. 花商，种花人；花店
- fliern. 飞行员；快车；飞行物；（美）广告传单 n. （Flier）人名；（德）弗利尔；（英）弗莱尔
- fiscalityn. 财政政策；财政考虑
- fireworksn. 烟火（firework 的复数形式）；激烈争论
- fakirn. （伊斯兰教或印度教的）托钵僧，苦行者（伊斯兰教或印度教的）托钵僧，苦行者；骗子 n. （Fakir）人名；（阿拉伯、土）法基尔