Basic Theorems of Logic Algebra 逻辑函数的基本定理
Logic algebra foundation 逻辑代数基础
Basis of Logic Algebra 逻辑代数基础
algebra of logic [数] 逻辑代数 ; 逻辑运算
logic&algebra 逻辑代数
Pan-logic algebra 泛逻辑代数
Logic Algebra Decoding 逻辑代数译码
multi-valued logic algebra 多值逻辑代数
Minimization with Logic Algebra Equations 利用逻辑代数公式化简
Residuated lattice is a fuzzy logic algebra system which is widely used BCK-algebra and BR0-algebra are also very important algebra systems.
剩余格是具有广泛应用的一类模糊逻辑代数系统，同样BCK-代数，BR0-代数也是非常重要的代数系统。
参考来源 - BCKUsing Extended Backus-Naur Form and logic algebra, the syntactic rules and semantic rules specialized for UMQL are defined, and based on them, a UMQL grammar analyzer is designed so as to implement the correctness check of a UMQL query.
运用扩展巴克斯范式和逻辑代数,定义了UMQL完整的语法规则和语义规则,并据此设计UMQL语法分析器,实现对UMQL查询的语法合法性检查。
参考来源 - 多媒体查询语言及其查询处理方法研究·2,447,543篇论文数据，部分数据来源于NoteExpress
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 paper gives a necessary introduction to the base operation of the multi-valued logic algebra system and fundamental gate circuit for realizing these base operation.
本文对于多值逻辑代数系统中的基本运算和实现这些基本运算的门电路，作了必要的阐述。
应用推荐