查询词典 Boolean algebra

Reducing expressions to conjunctive normal form provides a ready method of determining the equivalence of two Boolean expressions.

把表达式化简为合取范式提供了一种判定两个布尔表达式等价的简便方法。

A logical expression of the form a1︿a2︿…︿an where︿is the AND operation. A particular conjunction of interest is the conjunctive normal form of a Boolean expression involvingn variables x1, x2,…,xn.

一种逻辑表达式a1︿a2︿…︿an，其中︿是AND运算，一个特别重要的合取运算是涉及n个变量x1，x2，…，xn的布尔表达式的"合取范式"。

A particular conjunction of interest is the conjunctive normal form of a Boolean expression involvingn variables x1, x2,…,xn.

一种逻辑表达式a1∧a2∧…∧an，其中∧是AND运算，一个特别重要的合取运算是涉及n个变量x1，x2，…，xn的布尔表达式的"合取范式"。

In order to improve the limitations of GRASP, this paper proposed a new hybrid algorithm, which could resolve the problem of mixed constraints of pseudo-Boolean and conjunctive normal from.

为了改善GRASP的局限性，提出了一种能解决含有伪布尔和合取范式混合约束问题的新的混合算法。

But if you know it's a differentiationproblem, or a convex optimization problem, or a boolean logicproblem, then you at least know where to start looking forthe solution.

但如果你知道这是个变异的问题，或者是一个凸优化问题，或者一个布尔的逻辑问题，然后你起码能知道从哪着手开始寻找解决方案。

In chapter 6 and 7, having discussed the description method of the shape of bube-bent part and it's CSG data structure, a 3-D shape description method of using boolean operation by cyclinder and torus primitives is proposed.

第六章和第七章分别探讨了管材弯曲件三维描述方法及其CSG数据结构，提出了采用圆柱体素与圆环体素，通过适当布尔运算来描述其三维形状，并实施区间CSG扫描线和光线跟踪算法，在微机上实现了管材弯曲件三维浓淡图形的生成。

This is a major difference between Boolean sum operator and Tensor product operator.

这是实际设计部门乐意接受的，也是张量积方法所不具备的。1

With the generation of channel chip with cylindrical or conical difference between the Boolean operator to be, the user as long as the basic parameters can be input.

孔道的生成借助集成块与圆柱或者圆锥之间的布尔差运算得到，使用者只要输入基本参数就能得到。

The index of convergence for Boolean matrix A is the same as the index of convergence for the associated digraph D of A.

本论文对布尔矩阵和可约布尔矩阵的幂敛指数的上确界和指数集两个方面中的一系列问题进行了研究。

In Extended Duration Calculus, discrete state variables can only be Boolean, terms can only be combined by relational operators to become formulas.

在扩展的延时演算中，离散状态变量只能是布尔类型，项只有通过关系操作符的连接才能成为公式。

There had been a moment during the breakfast meeting, though, after the backslapping and the small talk and when all of us were seated, with Vice President Cheney eating his eggs Benedict impassively and Karl Rove at the far end of the table discreetly checking his BlackBerry, that I witnessed a different side of the man.

那次早餐会期间，在表示过关心和寒暄以后，我们所有人坐了下来，我注意观察了一下，副总统切尼面无表情地吃着班尼迪克蛋（Eggs benedict，源自美国，以英式松饼、火腿、水煮蛋以及荷兰酱组合而成），卡尔。罗夫在餐桌的远端谨慎地经常查看他的黑莓手机，我目睹了他所不为人知的一面。

Talk Undelete failed; someone else may have undeleted the page first.

Talk 无法删除选定的页面或图像（它可能已经被其他人删除了）。