本文在多值开关级代数理论的基础上，提出了适合于NMOS及CMOS组合电路的逻辑设计自动化算法。
On the basis of the multiple-valued switch-level algebra, this paper proposes a logic design automation algorithm for NMOS and CMOS combinational circuits.
我们在讲非计算机专业的计算机文化基础“时，从逻辑代数讲起，阐明计算机是如何用逻辑运算完成数值计算的。”
We gave the lecture on the basis of logical algebra in order to illustrate how the computers operate numerical calculation by means of logical calculation.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。
Firstly, on the basis of implication, originating from the limited Disturbing Fuzzy Propositional logic, discusses its logic algebra and the properties of its generalized tautology.
在对命题逻辑代数化表示的基础上，通过解多项式方程组，对命题公式进行等价转换、演绎推理。
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.
在对命题逻辑代数化表示的基础上，通过解多项式方程组，对命题公式进行等价转换、演绎推理。
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.
应用推荐