English translation for "合取范式"

konjunktive normalform conjunctive normal form
normal conjunctive form

Related Translations:

范式:  canonical form; normal form

程序设计范式:  programming paradigms

核范式:  kernel normal form

范式转移:  paradigm shift

greibach范式:  greibach normal form

特异范式:  distinguished normal form

黑箱范式:  black box paradigmblackbox paradigmbox paradigm

依从范式:  compliance paradigm

skolem范式:  skolem normal form

前范式:  pre-paradigm

Example Sentences:

1.

Based on paper [ 1 ] and [ 2 ] , this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally 摘要在文[ 1 ]和文[ 2 ]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。

Similar Words：

"合球" English translation, "合球协会" English translation, "合取" English translation, "合取查询" English translation, "合取的" English translation, "合取概念" English translation, "合取公理" English translation, "合取目标" English translation, "合取式" English translation, "合取子句" English translation