极小项和极大项是主范式问题的核心，体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征。
The minimum term and maximum term defined by the propositional variations, are the core problems of expressions and applications stemmed from the propositional formula.
试验表明对于轻型直升机薄壁无长桁主承力结构，只要以极小的重量代价改进结构设计，就能够满足机弹相容性要求。
The tests indicate that, the fuselage-missile compatibility can be met by structural improvement with minor weight penalty for the primary force-taking structure of thin shell without stringer.
讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质，利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。
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.
通过下降主墩承台及整体北移桥墩，使通航尺度达到要求，且对船舶上行影响极小。
With descending of the main piers foundation slab and integral moving of pier, not only the navigable dimensions meet the demand, but also the influence on upbound ships is very li.
给出满足主右理想极小条件诣零环的两个充要条件，此类环是扩张闭的。
This peper gives two necessary and sufficient conditions for a ring to be a nil MHR-ring. It is obtained that any nil MHR-ring is extension closed.
给出满足主右理想极小条件诣零环的两个充要条件，此类环是扩张闭的。
This peper gives two necessary and sufficient conditions for a ring to be a nil MHR-ring. It is obtained that any nil MHR-ring is extension closed.
应用推荐