1) boolean algebra
布尔代数，逻辑代数
2) Boolean polarization-encoded logic algebra
布尔偏振编码逻辑代数
1.
In this paper,the Boolean polarization-encoded logic algebra(BPLA)is used to designoptical parallel array logic gates and liquid crystal encoded ripple-carry full adder.
本文报道了利用布尔偏振编码逻辑代数（ＢＰＬＡ）理论来设计光学并行阵列逻辑门及液晶编码脉动进位加法器的详细过程，最后给出了加法器的实验结果。
3) Boolean algebra of propositional logic
命题逻辑布尔代数
4) logic algebra
逻辑代数
1.
Then, logic algebra is used to reduce the logic form.
用逻辑代数来完成逻辑式的化简,最后将其结果还原为Petri网回嵌到原网中,完成整个网的化简。
2.
The status and significance of BCK/BCI-algebras in logic algebras are summarized.
综述BCK/BCI代数在逻辑代数中的地位与意义,回顾所知国内外学者在该领域的一些主要工作,介绍了BCK/BCI代数理论中的一些概念、术语和成果,篇末罗列较丰富的参考文献,期望对年轻的学者有所帮助。
5) logical algebra
逻辑代数
1.
Metric structure on logical algebra[0,1];
逻辑代数[0,1]上的度量结构
2.
Sub-BL algebra is the basic of many important logical algebras.
次BL代数是多个重要逻辑代数的理论基础,文章对次BL代数作了进一步的深入研究,得到了一些很好的结论,其主要结果有:1)简化了次BL代数的定义;2)给出了次BL代数的另外两种等价形式,进一步揭示了次BL代数与其他逻辑代数之间的关系;3)证明了一种强次BL代数与BR0代数之间的等价关系,并以次BL代数为基础给出了BR0代数和R0代数的简化定义,改进了已有的结果。
3.
In this paper,four kinds of logical algebras is proposed on complex number plane C(),and their properties are discussed.
在复平面C([0,1])上建立了四种逻辑代数,讨论了其性质,并且定义了C([0,1])上的逻辑度量,得到了四种逻辑度量空间,最后证明了在复平面上存在一个线性序拓扑。
6) logic algebras
逻辑代数
1.
By the further study of R0-logic algebras,for the first time we have established a pure algebra\'s form(M,(,→)) of R0-logic algebras on a set M with binary operators ,→ on which there is no structure of lattice.
在一般集合M上(放弃格的要求)以二元算子,→为基本算子给出了R0-逻辑代数的一种纯代数表示形式(M,(,→)),进一步显示了R0-逻辑代数的一般代数特征及R0-代数与其他逻辑代数的联系。
2.
By further investigating the BR0–logic algebras, a kind of non-ordered form of BR0–algebras has been obtained which imbeds the order relation of BR0–algebras into its operators of ⊕ and →.
对BR0–逻辑代数进行了进一步研究,得到了BR0–逻辑代数的一种无序表示形式,使得BR0–代数中的序关系蕴涵于BR0–代数的基本运算⊕和→之中,并根据BR0–代数的无序表示形式提出了WBR0–代数理论,初步地讨论了其中的性质。
补充资料：布尔代数
| 布尔代数 Boolean algebra 英国数学家G.布尔为了研究思维规律（逻辑学、数理逻辑)于1847和1854年提出的数学模型。此后R.戴德金把它作为一种特殊的格。所谓一个布尔代数，是指一个有序的四元组〈B，∨，∧，*〉，其中B是一个非空的集合，∨与∧是定义在B上的两个二元运算，*是定义在B上的一个一元运算，并且它们满足一定的条件。 布尔代数由于缺乏物理背景，所以研究缓慢，到了20世纪30～40年代才又有了新的进展，大约在 1935年， M.H.斯通首先指出布尔代数与环之间有明确的联系，他还得到了现在所谓的斯通表示定理：任意一个布尔代数一定同构于某个集上的一个集域；任意一个布尔代数也一定同构于某个拓扑空间的闭开代数等，这使布尔代数在理论上有了一定的发展。布尔代数在代数学（代数结构）、逻辑演算、集合论、拓扑空间理论、测度论、概率论、泛函分析等数学分支中均有应用；1967年后，在数理逻辑的分支之一的公理化集合论以及模型论的理论研究中也起着一定的作用。近几十年来，布尔代数在自动化技术、电子计算机的逻辑设计等工程技术领域中有重要的应用。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条