您要查找的是不是：
- The paper proves that the Boolean value of the modal propositional system P?5 are 1, which means V?B(B is a complete Boolean algebra)is the Boolean valued model of the modal propositiona system P?5.? 证明模态系统P5的协调性.;即:证明了模态系统P5的所有公理的布尔值为1
- Pairing Lattice of Complete Boolean Algebra 完全 Boole 代数的配对格
- complete Boolean algebra 完备布尔代数
- Hence S5-algebra is a synonym for monadic Boolean algebra. 所以 S5-代数 是一元布尔代数的同义词。
- Here, Boolean algebra proves its utility in a most dramatic way. 在这里，布尔代数以最引人注目的方式证明其效用。
- 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运算符。
- The underlying principles of the application of this technology are electrical circuits and Boolean algebra. 对这项技术应用的基本原理是电路和布尔代数。
- In Boolean algebra, an operator that indicates an executing operation and generally is located between two operands. 在布尔代数中，表示要执行的运算的算符。通常写在两个操作数之间。
- Invest the time to learn the basics of Boolean algebra, and all your code will benefit. 请花一些时间学习布尔代数的基本知识,您的所有代码都将从中获益。
- Bitwise operators perform boolean algebra on the corresponding bits in the two arguments to produce the result. 按位运算符会对两个自变量中对应的位执行布尔代数，并最终生成一个结果。
- Stone Representation Theorem is just as important to Boolean Algebra as Cayley theorem is to abstract group theory. Stone Representation Theorem之于 Boolean Algebra就象 Cayley Theorem之于 Abstract GroupTheory一样重要 .
- Boolean algebra is the system where electronic computer can do logical operation. 布尔代数系是适于电子计算机作逻辑运算的系统.
- The operation priority in Boolean algebra should be: brackets, NOT, XNOR or XOR, AND, OR. 布尔代数的运算次序应是：括号、非、同或／异或、与、或。
- IDENTITY is also called Exclusive-NOR.The article also discusses operation laws and priorities in Boolean algebra. 文中还讨论了布尔代数的运算规律和运算次序。
- George Boole develops a system of mathematics called Boolean algebra, which uses binary operations. Today, programmers still think and work in binary. 乔治.;布尔开发采用二进位制运算的数学体系，称为布尔代数学。今天，程序员们仍使用二进位制进行思索和工作。
- The boolean algebra of checking various attributes like these is demonstrated by my test for only successfully delivered pages with known referrers. 对于只针对成功传送、且引用者已知的页面,我的测试演示了类似这样的检查各种属性的布尔代数。
- The reasoning process called for by Boolean algebra are implemented through switches, acting as electronics logic circuits. 布尔代数所需的推理过程是通过开关来实现的，这些开关起着逻辑电路的作用。
- Monadic Boolean algebras have an important connection to topology. 一元布尔代数与拓扑学有重要联系。
- We construct a measure on the Boolean algebra of sets of formal arcs on an Artin stack which are definable in the language of Denef-Pas. 重点抽样法是藉由一合适的重点机率分配替换系统输入变数的原始机率分配 ,提高原本不易出现事件的出现频率 ,以达到降低估计量变异数之目的 。
- Based on the matrix model of a finite automata and with the tools of Matrix Theory and Boolean Algebra,a new method for minimizing a finite automata is presented in this paper. 论文基于有限自动机的矩阵模型????并以矩阵理论和布尔代数为工具,给出了一种有限自动机极小化的新方法。
