主析取范式 principal disjunctive normal form ; major disjunctive form
主义范式 humanist paradigm
主合取范式 Special Conjunctive Normal Form ; major conjunctive form
普遍主义范式 Universal Paradigm
知识主导范式 Knowledge-based Paradigm
整体主义范式 Holistic Paradigm
个人主义范式 Individualistic Paradigm
主观范式 experimental-subjective paradigm
建构主义教学范式 the Constructivist Paradigm
对离散数学中主范式定义作了适当的修改。
The definition of main normal form in discrete mathematics is revised appropriately.
极小项和极大项是主范式问题的核心,体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征。
The minimum term and maximum term defined by the propositional variations, are the core problems of expressions and applications stemmed from the propositional formula.
讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。
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.
应用推荐