conjunctive normal form

合取范式:一种逻辑表达式的标准形式

常用释义

词性释义

合取范式:一种逻辑表达式的标准形式,由一系列子句通过合取操作符连接而成,每个子句都是由一个或多个文字通过析取操作符连接而成。
例句
  • 全部
Principal Disjunctive and Conjunctive Normal Form
主范式的运算性质
and the principal conjunctive normal form
主合取范式
网络释义

合取范式

数学专业英语词汇_数学吧_百度贴吧 ... conjunction 合取 conjunctive normal form 合取范式 connected 连通的 ...

合取正规式

泛函分析... ... 共轭相合矩阵 conjunctive matrices 合取正规式 conjunctive normal form 合取变换 conjunctive transformation ...

合取公式

主合取范式

定义8.10 对一合取范式,若其每一个合取式 均为大项时,即是主合取范式conjunctive normal form)。 我们也可以有两种方 …