查询词典 Boolean calculation

Finding the the essential prime implicants, This part determine the essential prime implicant that will form the boolean function we need.

寻找蕴涵的基本素，这部分确定的基本素蕴涵，这将成为我们需要的布尔函数。

INTOWN – Boolean, 1=I can enter towns, 0=I can't enter towns.

INTOWN – Boolean，1＝可以进入城镇，0＝不可以进入。

Collision – Unknown to both me and Brother Laz, but this boolean is related to the previous one, many missiles that have no "physical collision" but still perform a collision event will have this set to 1.

Collision –我和Brother Laz都不清楚这列是什么用。，但这布尔型关系到前一列，很多投射物没有&物理碰撞&但时依然旅行碰撞事件，在这里设置为1。

LastCollide – Unknown to both me and Brother Laz, but this boolean seams to be related to some special behavior on missiles that don't vanish upon collision, such as fire effects and some other effects that are client-side only.

LastCollide –我和Brother Laz都不清楚这列是什么用。但是布尔类型看起来象和投射物碰撞时某些特殊的行为相关，比如火效果和一些其他只在客户端的效果。

Monadic Boolean algebras also have an important connection to modal logic.

一元布尔代数还与模态逻辑有重要联系。

They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.

它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。

The modal logic S5, viewed as a theory in S4, is a model of monadic Boolean algebras in the same way that S4 is a model of interior algebra.

模态逻辑 S5，被看作 S4 中一个理论，是一元布尔代数的模型，如同模态逻辑 S4 是内部代数的模型。

Especially, by use of the new point, the concept of atom is defined from which the essential implications of atom and nonseparation are brought in, and Stone theorem of finite Boolean algebra is extended to alleged atomic algebra.

特别本文用新的观点给出了&原子&的定义，这个定义给出了&原子&的&不可再分&的本来含义，并且将有限布尔代数的Stone定理推广到所谓原子代数中去。

The framework already includes controls for editing string, numbers, enums, date/time with calendars and boolean with checkboxes (of 3 states, if it is nullable), so creating basic forms is only a question of using these types.

该框架已包括编辑字符串，数字，枚举控件，日期/有日历和复选框（3州布尔时间，如果是空），所以创造的基本形式，只是使用这些类型的问题。

Maitra and Sarkar provided a recursive construction method to construct m-resilient Boolean functions of n variables with high nonlinearity and al...

Maitra和Sarkar于1999年提出了一种递归构造方法，构造出一类非线性度很高的n元m阶n-m-1次的弹性函数，但是此方法所能构造的弹性函数的数量有限。

Chimborazo and Cotopaxi, took me by the hand.

越过琴博腊索山和科托帕克西山。

This car is in a good condition.

这辆车的状况很好。