go top

主析取范式 [zhǔ xī qǔ fàn shì]

网络释义专业释义

  principal disjunctive normal form

... principal disjunctive normal form 主析取范式 principal conjunctive normal form 主合取范式 principal normal bundle 吱线丛 ...

基于92个网页-相关网页

  major disjunctive form

主析取范式(major disjunctive form) 公式A’称作公式A(p1, p2, …

基于8个网页-相关网页

  • principal disjunctive normal form - 引用次数:4

    参考来源 - 基于标准化表示的命题逻辑公式的D
  • principal disjunctive normal form - 引用次数:1

    参考来源 - 主范式的运算性质

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句

  • 讨论命题公式范式取范式中的极小极大下标集合性质,利用范式的下标集合得到了命题公式蕴涵的几个充要条件。

    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.

    youdao

更多双语例句

百科

主析取范式

主析取范式是大学数学里一门名叫离散数学(Discrete mathematics)的课程中的内容,在离散数学的数理逻辑一节中,利用真值表和等值演算法可以化简或推证一些命题,但是当命题的变元的数目较多时,上述方法都显得不方便,所以需要给出把命题公式规范的方法,即把命题公式化成主合取范式和主析取范式的方法。

详细内容

以上来源于: 百度百科
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定