查询词典 Boolean algebra

If you want to use a non-boolean in a boolean test, such as if, you must first convert it to a boolean value using a conditional expression, such as ifa !

若想在一次布尔测试中使用一个非布尔值——比如在if里，那么首先必须用一个条件表达式将其转换成一个布尔值，例如ifa！

There define the Boolean operations for Boolean algebra of two and four elements,respectively.

这里分别定义了具有两个和四个元素的布尔代数的布尔运算。

It is proved that a semiring is complemented if and only if it is a direct product of some Boolean algebra and Boolean ring by studying the relations of congruences on the complemented semiring, so the complemented semiring is the commutative semiring.

s-内射模。通过研究可补半环S的性质及S上的同余关系，证明出可补半环与布尔环和布尔代数的直积是等价的，因而可补半环是交换半环。

Actually function-tree is an application of Boolean theory. Function-tree can be optimized by using absorptive law and idempotent law in Boolean algebra to remove redundant information.

功能树本质上可视为是布尔代数理论的一种应用，从而利用布尔代数的吸收律、幂等律来消除功能树中的冗余信息，对功能树进行优化处理。

Finally,a simplified case of BOFL,i.e.Boolean Operator Propositional Logicestablished on a Boolean algebra,is further discussed.A complete algorithmfor finding the true level and false level of a formula in BOPL,which subsumes the re-lated work by Wang H.in the propositional logic,is also provided.

对布尔算子模糊逻辑的简化情形一布尔算子命题逻辑作了进一步讨论，放宽了对真值域的要求，将布尔算子命题逻辑建立在布尔代数上，并推广了命题逻辑中的王浩算法，给出了一个完备的求给定公式恒真水平和恒假水平的机械推导算法。

For example, the set algebra for the set T defined above corresponds to a Boolean algebra of 32 elements.

例如，上文定义的集合 T 的集合代数就对应一个有 32 个元素的布尔代数。

For example,the set algebra for the set T defined above corresponds to a Boolean algebra of 32 elements.

例如，上面定义的集合T的集合代数就对应于一个有32个元素的布尔代数。

We construct the Tai Chi algebra based on Boolean algebra for philosophical reflection and formal improvements.

我们建构的太极代数基于对其作哲学上的反思和形式上的改进。

Chapter one: Provide the simple introduction to basic conceptions and properties used in the article about MTL-algebra; prove the set of all the filters form a complete distribution lattice in MTL-algebra; Discussion some property characteristics of Boolean filter, at the same time introduce the conceptions of positive implicative filter and obstinate filter, receive some properties of them, discuss the relation between the important filters and their equivalent condition.

第一章：对文章中用到的关于MTL-代数的基本概念和性质给出简单的介绍，证明了MTL代数中的全体滤子之集构成一个完备的分配格；讨论了布尔滤子的一些性质特征，同时引入和固执滤子的概念，得到它们的一些性质，探讨了几类重要滤子之间的关系。

With proving the isomorph between the function matrix algebra systems and the Boolean algebra s disjunction-conjunction systems,a method of extending the function matrix is proposed,and the expanding theorem of the extended function matrix is proven.

提出了功能矩阵的概念，在证明功能矩阵的代数系统与布尔代数析取合取代数系统同构的基础上，对功能矩阵进行扩展，并证明了扩展功能矩阵的展开定理；利用扩展功能矩阵逐步展开与约简，实现了功能的求解算法。

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。