布尔逻辑

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的布尔表达式的"合取范式"。

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.

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

The redundant controller produces odd and even check code in setup time. After odd and even check code is calculated with Boolean function calculation, it is transformed into of Galois field. If the output of controller can satisfy odd and even check condition is checked with the function calculation to decide it exist fault or not.

该控制器在设定时间产生奇偶校验码，通过布尔函数逻辑运算转换成Galois域函数运算，检验其输出是否满足奇偶校验条件以判断是否存在故障。

Two-valued logic with elements "0","1" is well-known to everyone and it provides the implementations for studying propositional logic and logical networks.

包含"0"，"1"两个元素的布尔代数已为人们所熟知，它给命题演算和对逻辑网络的研究提供了很好的工具。

Ln this paper, a new learning method is presented which is based on analyzing a set of linear separable structures. The most important benefit of this method is all binary neurons belong to one or more types of linear separable structure sets. If those linear separable structure sets have clear logical meaning, the whole knowledge of binary neural networks can be dug out.

该文提出了一种基于线性可分结构系结构分析的学习算法，采用这种方法对布尔空间的样本集合进行学习，得到的二进神经网络隐层神经元都归属于一类或几类线性可分结构系，只要这几类线性可分结构系的逻辑意义是清晰的，就可以分析整个学习结果的知识内涵。

A system of symbolic logic devised by George Boole; used in computers.

乔治·布尔发明的符号逻辑；用在电脑上。

George Boole was an English mathematician who helped establish the field of mathematics called symbolic logic.

乔治布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家。

That gives a truth table value of true only when both of the variables connected by the logical ''.

仅当由逻辑运算符连接的两个变量均为真时才给出真值的布尔运算符。

BOSC method is independent of Boolean function's common structural representation, and has the worst time complexity propotional to cube of the number of input variables, so it is suitable for combinational macro-cell matching.

BOSC方法不依赖于布尔函数通常的结构表示，最坏时间复杂性与输入变量数的立方成正比，适用于结构匹配方法失败的组合逻辑宏单元匹配。

The canonic OC expansion of the first-order Boolean partial derivative of the OC type logic function was discussed.

讨论了OC型逻辑函数一阶布尔偏导数的规范OC展开式。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。