Based on the consistent transformation formula, the logic relation of elements of fuzzy consistent complementary judgment matrix containing parameter with priority is pointed out.
基于一致性转换公式，揭示一种含参数的模糊互补判断矩阵的元素与优先权重新的逻辑关系。
This research paper of proposition logic algebra in the said, on the basis of the solution of equations by polynomial, propositional formula for equivalent conversion and deductive reasoning.
在对命题逻辑代数化表示的基础上，通过解多项式方程组，对命题公式进行等价转换、演绎推理。
The common methods for simplifying the logic function are two:one formula method, another figure method.
逻辑函数常用的化简方法有两种，即公式法和图形法。
The article reveals a new opinion about its definition, classification, efficient reasoning formula and inner structure, reasoning regulation by applying modern logic methods.
本文运用现代逻辑的方法，就它的定义、种类、有效推理式及其内在结构、推理规则等作了全新的探讨。
When it is under the condition that no input inversion is allowed and no competition and hazard are considered, the minimization Nor logic Network can not be derived from the simplest Nor-Nor formula.
在不允许输入有反变量和不考虑竞争冒险的情况下，一般不能从最简或非——或非表达式来找最小化或非逻辑网络。
Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization.
详细说明：命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。
Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization.
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。
However, because of the abstruse symbolic logic and complex formula catastrophe theory is seldom used for the research of bridge construction project optimization.
但是，由于突变理论有着高深的数理逻辑结构和推演规则，其应用却未在方案优选中得到应有的推广。
The logic of disjoint-well-formed-formula is adopted in the generation of query conditions, and standard visual objects are used in the generation of GUI.
查询条件的生成采用的是合取范式的标准形式，用户界面的生成采用了标准的可视对象。
The Maximum Formula of Logic Function and Its Simplification of Karnaugh Diagram;
内容包括逻辑真值表，逻辑函数式，卡诺图。
The Maximum Formula of Logic Function and Its Simplification of Karnaugh Diagram;
内容包括逻辑真值表，逻辑函数式，卡诺图。
应用推荐