查询词典 Boolean operation

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

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

Closable boolean When set to true, the tab panel will show a closable button which can click to close the tab panel.

当设置为true时，标签面板会显示出可闭按钮，可以点击关闭选项卡面板。

By means of the decidable theory of boolean expressions, we present a new approach to check bisimulations of the finite-control π-calculus.

利用关于其布尔表达式的可判定理论，本文对有穷控制π-演算的互模拟验证问题给出了一种新的解决方法。

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 是内部代数的模型。

This paper designs the communication system of radio telescope FAST.

针对500m口径球面射电望远镜FAST分布式控制系统的特点完成了其通信系统的设计。

Political sheep's step-by-step a large number of fossils unearthed in the county soil Ma Ali after rural village in the middle of sallow pelitic siltstone.

步氏和政羊化石大量出土于广河县阿力麻土乡后山村，产于灰黄色泥质粉砂岩中。