| 1. | The computation of hitting sets with boolean formulas
用布尔代数方法计算最小碰集 |
| 2. | Basic boolean algebra is easy to learn see
很容易学会基本的布尔代数（请参阅本文稍后的 |
| 3. | A good tutorial on logic and boolean algebra is the
是一篇有关逻辑和布尔代数的很好教程。 |
| 4. | These elements compare two values , producing a boolean result
这些元素比较两个值，产生一个布尔代数结果。 |
| 5. | Invest the time to learn the basics of boolean algebra , and all your code will benefit
请花一些时间学习布尔代数的基本知识，您的所有代码都将从中获益。 |
| 6. | And also we characterize the linear operators that strongly preserve commuting pairs of matrices over boolean algebras
同时也刻画了布尔代数上强保持交换矩阵对的线性算子 |
| 7. | In boolean algebra , an operator that indicates an executing operation and generally is located between two operands
在布尔代数中，表示要执行的运算的算符。通常写在两个操作数之间。 |
| 8. | The reasoning process called for by boolean algebra are implemented through switches , acting as electronics logic circuits
布尔代数所需的推理过程是通过开关来实现的，这些开关起着逻辑电路的作用。 |
| 9. | Then we study the system of fixed - point boolean equations . some new results are derived as following : 1
本文研究了布尔代数上的不动点方程组，取得了下列成果： ( 1 )定出了不动点方程组的再生通解。 |
| 10. | The long exist np ( non - deterministic polynomial ) problems of fta based on boolean algebra was solved by these methods
通过这些方法，解决了基于布尔代数的故障树分析中长期存在的“组合爆炸”问题。 |
