In this paper , we shall characterize the linear operators that strongly preserve nilpotent matrices and that strongly preserve invertible matrices over boolean algebras and antinegative semirings without zero divisors 本文将刻画在布尔代数和非负无零因子半环上强保持幂零矩阵和可逆矩阵的线性算子
An operation performed in boolean algebra on two binary digits simultaneously in a way that the result is one if either one or both digits are a one , or zero if both digits are zero 布尔代数中的一种运算,它同时对两个二进制数字进行如下操作:如果一个数或二个数为1 ,则结果为1 ;如果二个数均为零,则结果为零。
This program creates truth tables from boolean expressions . i believe that it ' s very useful for computer science students who learning boolean algebra and predicate logic ( like my self ) 这个程序从布尔表达式中创建真实的表格。我相信对于学习布尔代数学和谓词逻辑的计算机科学学生(像我自己这样的)来说它是非常有用的。
Digital design : binary system , boolean algebra , logic gates , simplification of boolean functions , combinational logic . analog design : amplifiers , frequency response , feedback , operational amplifier 数位设计:二进位制、布氏代数、逻辑闸、布氏函数的化简、组合逻辑电路。类比设计:放大器、频率响应、反馈系统、运算放大器。
In this thesis , we first compile some utilizable parts of boolean algebra theory , which are the fundamental objects : the structure of boolean algebra , the boolean functions , the boolean equations , and the boolean matrices 本文编写整理了布尔代数理论中较为实用的部分,主要包括布尔代数结构、布尔函数、布尔方程、布尔矩阵等方面的基础内容。
The relations between heyting algebra and implication algebra with some conditions on a partial ordered set are discussed . then some conditions when a implication algebra is a boolean algebra are given . 3 系统地研究了偏序集上蕴涵代数与heyting代数之间的关系,得到了蕴涵代数中蕴涵算子的一个较好的条件,并给出了偏序集上蕴涵代数成为布尔代数的一些条件。
An operation performed in boolean algebra on two binary digits simultaneously in a way that the result is one if either one or both digits are a one , or zero if both digits are zero . the logic operator is the or operator 布尔代数中的一种运算,它同时对两个二进制数字进行如下操作:如果一个数或二个数为1 ,则结果为1 ;如果二个数均为零,则结果为零。它的逻辑算符是or运算符。
In this paper , a new type algebra is introduced , it is the algebraic abstract of mpm system just as boolean algebra is the algebraic abstract of 2 - valued propositional calculus . the main purpose of this paper is to investigate the various properties of the new algebra . in addition , this paper constructs an axiom set based on the medium logic propositional calculus system mpm , and gives a proof of its completeness 本文通过对mpm中介逻辑命题演算系统进行代数抽象,建立了一个新的代数系统,讨论了该代数系统的性质,并利用该代数系统的代数性质构造了中介命题演算系统mpm上的一个公理完备集合,使用该公理集合可以方便的推导出mpm上的等值和互推公式,这对于处理不完全信息数据库的查询优化有着重要作用。
In the third part , this paper studies the mp filters of mtl algebras from many respects . it gives the definition of maximal mp filters , provides the equivalent condition of maximal mp filters , depicts the structure of the subalgebras of mtl algebras , discusses locally finite mtl algebras ; studies the boolean filters of mtl algebras , proves if f is a boolean filters of m which is an mtl algebra , then m / - f is a boolean algebra and discusses local mtl algebras 第三章:从多方面研究了mtl代数的mp滤子,给出mtl代数极大mp滤子的定义;找出了是mtl代数极大mp滤子的等价条件;对mtl代数的子代数给予刻划;还讨论了局部有限mtl代数;研究了mtl代数的布尔滤子;证明了当f是mtl代数m的布尔滤子时, m f是布尔代数;还讨论了局部mtl代数。