请输入您要查询的英文单词：

　

单词 conjunction normal form
释义
conjunction normal form
  • 简明释义
  • 合取范式：逻辑学中，一个命题公式通过与、或、非等逻辑运算符连接的范式。
  • 网络释义
  • 1

    [数]?合取范式

    ...词:粗糙集; 分辨函数; 合取范式; 析取范式 [gap=1113]Key words:rough sets; discernibility function; conjunction normal form; disjunction normal form ...

  • 2

    ?能够规约为合取范式

    ...检验、等价性检查、自动测试向量生成等,都可以等价为布尔可满足不足来解决,这些不足能够规约为合取范式(Conjunction Normal Form, CNF)格式的布尔公式,找出该布尔公式的一个可满足解的相关技术被称为可满足性求解(satisfiabilit...

短语
  • 双语例句
  • 1
    The satisfiability of conjunction normal form (abbreviate sat problem) is a typical NP-complete problem.
    合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
  • 2
    The satisfiability problem of conjunction normal form (abbreviate sat problem) is an NP_complete problem.
    合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
随便看

　

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

　

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2025/8/25 17:51:13