逻辑代数是一种用于描述客观事物逻辑关系的数学方法，由英国科学家乔治·布尔(George·Boole)于19世纪中叶提出，因而又称布尔代数。逻辑代数有一套完整的运算规则，包括公理、定理和定律。它被广泛地应用于开关电路和数字逻辑电路的变换、分析、化简和设计上，因此也被称为开关代数。随着数字技术的发展，逻辑代数已经成为分析和设计逻辑电路的基本工具和理论基础。
...际网路的规划与设计 (7) Basic Computer Concept (8) Number Systems and Codes （数字系统） (9) Boolean Algebra （逻辑代数） (10) Operating Systems （作业系统简介） (11) Chinese Computer Systems（中文电脑系统） (12) Computer Networks （电脑网路...
基于2332个网页-相关网页
先是参考宇井伯寿以传统逻辑来 看龙树的论证形式，然后吸收Robinson 与中村元的逻辑代数(algebra of logic) 法， 他们二人是源自欧洲的Boole - Schröder 的系统的。最后更补之以罗素的真值函蕴式 (material implication) 与C.
基于482个网页-相关网页
逻辑代数基础 Logic Base ; Logic algebra foundation
逻辑代数运算 Boolean Calculation
代数逻辑 [计] algebraic logic
逻辑代数的公理和定理 axioms and theorems in logic algebra
泛逻辑代数 Pan-logic algebra
混合逻辑代数 Mixed logical algebra
布尔偏振编码逻辑代数 boolean polarization-encoded logic algebra
代数逻辑计算器 calculator with algebraic logic
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-代数也是非常重要的代数系统。
参考来源 - BCKLattice implication algebra is an important logical algebra, and it offers a theoretical basis for lattice-valued logic and approximate reasoning.
格蕴涵代数是一种重要的逻辑代数，可为格值逻辑和不确定性推理的研究提供一种理论基础。
参考来源 - 格蕴涵代数中aUsing 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
本文对于多值逻辑代数系统中的基本运算和实现这些基本运算的门电路，作了必要的阐述。
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.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。
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.
应用推荐