conjunctive normal form

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

常用释义

词性释义

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