查询词典 Boolean matrix

Explaining the causes of infeasibility of Boolean formulae has theoretical importance and practical applications in various fields, such as formal verification and electronic design automation.

解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值。

Explaining the causes of infeasibility of Boolean formula e has theoretical importance and practical applications in various fields,such as formal verification and electronic design automation.

解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值。

The course provides the fundamental concepts used in the design of digital systems, including the methodology to design the combinational and sequential circuits with Boolean Algebra, Karnaugh map, and the logic elements, such as basic logic gates, latches, and flip-flops,etc.

本课程在提供数位系统设计所须具备的基础能力，包括学习以布林代数、卡诺图来设计组合逻辑与序向逻辑电路的方法，以及培养基础逻辑元件的应用能力，包括基本逻辑闸、栓锁器、与正反器等等元件。

If deg f = n, then Rfc is an empty set. For all the functions of degree 2, Rf have at least 2n-1 vectors, when Rf is a linear subspace, the relationships between Rf and Lf are discussed . Boolean functions have no nonezero linear structure if and only if there are n linear independence vectors in f, the correlation of the vectors in ?

证明了，若degf=n，则R_f~c为空集，对于所有的二次布尔函数而言，均有R_f~c中的元素个数大于等于2~(n-1)，给出了R_f构成线性子空间时，R_f和L_f之间的关系，还给出布尔函数不含有非零线性结构的充分必要条件是ζ_f中含有n个线性无关的元素。

As a logic optimization method,the Boolean algebra was introduced for the analysis and simplification of complicated logic diagram and on-off control system.

本文通过火电厂开关量控制系统优化设计的分析，对逻辑优化的基本方法进行初步探讨。1容错逻辑设计方法仅根据被控设备的工艺要求设计逻辑，往往经不起实际运行的考验。

When two expressions are combined by using comparison or logical operators, the resulting data type is Boolean and the value is one of the following: TRUE, FALSE, or UNKNOWN.

生成的表达式的数据类型、排序规则、精度和值由进行组合的两个表达式决定，并按每次两个表达式的顺序递延，直到得出最后结果。

A logical operation combining the values of two bits (0, 1) or two Boolean values that returns anchored or remains stationary.

与 联系两数据位的值(0，1)或两个 Boolean 值的逻辑操作符。

Function mimajiance(mima:string):boolean

功能：密码检测，三次错误册退出。

In this paper, quasi monotone decomposition of Boolean functions on B 2 is discussed systematically.

系统地讨论了 B2 上布尔函数的拟单调分解。

A security measure for a most probable boolean value is assigned to each position of the code word by carrying out the assignment based on a Trellis representation.

通过根据格形表示进行分配，码字的每个位置被分配最可能布尔值的安全测量值。

Chinese traditional virtue is humility and wariness,the compliment and praise to the others should be declination

中国人的传统美德是谦虚谨慎，对别人的恭维和夸奖应是推辞。如

We bought this house on the never-never.

我们以分期付款的方式买下这座房子。