- Boolean algebra,布尔代数，逻辑代数。
下载手机词典可随时随地查词查翻译
boolean algebra中文什么意思
例句与用法
- 更多例句： 上一页 下一页
- 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代数。
百科释义
In mathematics and mathematical logic, Boolean algebra is the subarea of algebra in which the values of the variables are the truth values true and false, usually denoted 1 and 0 (respectively). Instead of elementary algebra where the values of the variables are numbers, and the main operations are addition and multiplication, the main operations of Boolean algebra are the conjunction and, denoted ∧, the disjunction or, denoted ∨, and the negation not, denoted ?.
详细百科解释