DNF:析取范式
“析取范式”(Disjunctive Normal Form,简称DNF)是一种逻辑表达式的标准形式,常用于数学、计算机科学和人工智能等领域,便于简化逻辑运算和分析。该形式通过将多个“合取子句”用“或”运算连接而成,广泛应用于未分类及相关综合问题的描述与处理中,缩写为DNF便于书写和使用。
Disjunctive Normal Form具体释义
Disjunctive Normal Form的英文发音
例句
- With respect to the principal disjunctive normal form and the principal conjunctive normal form, we also approach the properties of the subscript sets derived from the minimum term and maximum term.
- 讨论了命题公式的主析取范式(DNF)、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。
- An analysis on the construction of disjunctive normal form ( dnf ) by means of equal covering and cone form
- 用均覆盖和锥形式对析取范式(DNF)的结构分析及其近似快速求解算法
- Aiming at the problem of equivalent conversion from conjunctive normal form to disjunctive normal form, an effective algorithm was proposed to construct reduction tree based on discernibility matrix.
- 针对差别矩阵求约简过程中合取范式向析取范式(DNF)等价转换的难题,提出一种基于差别矩阵构造约简树的有效方法。
- An Investigation on the Algorithm for Decision of Validity of Disjunctive Normal Form(DNF) ( DNF ) by the Triangle Form
- 用三角式判定析取范式(DNF)永真性的算法研究
- A Surface-based DNA Algorithm for the Conversion of Conjunctive Normal Form into Disjunctive Normal Form(DNF) The Policy of the Chinese International Bank Buying
- 合取范式化为析取范式(DNF)的DNA表面计算中国银行业跨国并购的策略选择&基于OLI框架的分析
本站英语缩略词为个人收集整理,可供非商业用途的复制、使用及分享,但严禁任何形式的采集或批量盗用
若DNF词条信息存在错误、不当之处或涉及侵权,请及时联系我们处理:675289112@qq.com。