CNF：连接正常形式

“合取范式”在计算机科学领域是一个常用术语，常缩写为CNF（Conjunctive Normal Form），以便于快速书写和应用。它主要用于逻辑表达式的标准化表示，特别是在形式化方法、自动推理和可满足性（SAT）问题中发挥关键作用。

Conjunctive Normal Form具体释义

  • 英文缩写：CNF
  • 英语全称：Conjunctive Normal Form
  • 中文意思：连接正常形式
  • 中文拼音：lián jiē zhèng cháng xíng shì
  • 相关领域： cnf 常用

Conjunctive Normal Form的英文发音

例句

  1. 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.
  2. 讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质，利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。
  3. 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.
  4. 针对差别矩阵求约简过程中合取范式向析取范式等价转换的难题，提出一种基于差别矩阵构造约简树的有效方法。
  5. A Surface-based DNA Algorithm for the Conversion of Conjunctive Normal Form(CNF) into Disjunctive Normal Form The Policy of the Chinese International Bank Buying
  6. 合取范式化为析取范式的DNA表面计算中国银行业跨国并购的策略选择&基于OLI框架的分析
  7. A formula F in conjunctive normal form is a non-tautology hitting ( NT-HIT ) formula, if any one pair of F clauses in contains a pair of complement literals.
  8. 一个合取范式（CNF）公式F是NT-HIT公式，如果F中的任意两个不同的子句中恰有一对互补文字。
  9. Proceeding with both-branch proposition, the paper provides the characteristics of both-branch fuzzy logic and both-branch fuzzy logic expressions, Disjunctive Normal Form and Conjunctive Normal Form(CNF) of both-branch fuzzy logic expressions.
  10. 从双枝模糊命题入手，给出双枝模糊逻辑的性质和双枝模糊逻辑公式，以及双枝模糊逻辑的析取范式与合取范式。

本站英语缩略词为个人收集整理，可供非商业用途的复制、使用及分享，但严禁任何形式的采集或批量盗用

若CNF词条信息存在错误、不当之处或涉及侵权，请及时联系我们处理：675289112@qq.com。