English translation for "主合取范式"

principal conjunctive

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