查询词典 Boolean operation

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

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

This thesis improves Extended Duration Calculus so that discrete state variables can be arbitrary types and any Boolean typed terms can be seen as formulas.

本文改进了扩展的延时演算，使得离散状态变量可以是任意类型，并将任何布尔类型的项作为公式，增加了灵活性和表达性。

Definition and research of disjoint product sum minimization from the point of view of Boolean function coverage, and proof of three theorems as well as putting forward a recurrent formula.

从布尔函数覆盖的角度定义和研究了最小不交化问题，给出并证明了几个有关的定理，并提出一个求布尔函数最小不交积之和的递推计算原理及公式； 3。

Presents an algorithm for generating the sum of disjoint products by using binary decision diagram as well as certain ordering role of paths and Boolean algebra formulas.

利用二分决策图，同时采用道路排序技巧及布尔代数运算给出了求不交和的方法，它比单纯采用二分决策图的算法更简单，不交和的项数更少，从而得到一个求网络可靠度的有效算法。

Nowrap boolean True to display data in one line.

真正显示在同一行数据。

The second motivation is the replacement of a Boolean algebra of sets by the distributive lattice of filters of a finite partially ordered set.

一个自然的问题是：能否给出射影空间中放置不同维数的线性族类似的公理体系？

On the home page of the Database of State Essential Druggery, type your search terms enter the query box. Select the field name to limit the search term, and then select Boolean operator to add multiple search terms. After than click the search button.

在本网站数据库栏目中选择"国家基本药物数据库"并点击"进入"至国家基本药物数据库单表检索界面，在其查询框中输入待检索的内容，选择相应的字段和逻辑关系（and ，or， not）来组织查询语句，然后点击"检索"按钮。

See the section on"edge-triggered latches" in How Boolean Logic Works for details.

查阅布尔逻辑工作原理详细了解边沿触发锁存器的情况

Corporate Libraries and Purchased Content: The only people who really care about taxonomy and boolean search are librarians, and unfortunately they usually don't know enough about their employer's business to know what to do with the esoterica that requires such tools anyway.

公司资料库和采购目录：要知道，世上唯一在乎分类学和逻辑搜索的人群就是图书管理员，但很不幸的是，他们通常都不够了解老板的生意，自然就对那些实际上渴求这两大学科的重要信息无从下手了。

Its mathematical foundation has been studied, several normal forms have been introduced, the deduction methods of Star algorithm have been dealt with and the expansion theorem which attaches Star algorithm to Boolean difference ha...

文章较详细地陈述了在组合网络诊断方面的应用；通过典型例子介绍了求测试码的算法，并与流行的D算法、布尔差分法、ESP法等进行了比较。事实表明星算法具有某些优点。本文还指出了在网络其它方面应用的可能性。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。