查询词典 Boolean logic

Value product items of Reed-Muller type logic function was tabularly listed, and the first-order Boolean difference was calculated by transforming corresponding bits of 1-value product items 1~0 to produce new items.

该方法通过用表格列出Reed-Muller型逻辑函数的1值积项，并对1值积项中相应的位取1到0的变换产生新项来计算一阶布尔差分。

It diseuses on Boolean lattice of strticture quality and its composition,and the description of fuzzy linguistic with fuzzy lattice style fuzzy predicat logic and fuzzy reasoning with resolution method.

讨论了布尔格的结构性质及其构造、模糊语言的格型模糊谓词逻辑描述和消解法模糊推理。

I believe that it's very useful for Computer science students who learning Boolean algebra and predicate logic.

我相信对于学习布尔代数学和谓词逻辑的计算机科学学生来说它是非常有用的。

There is no tautology in the three-valued logic whose boolean connectives are Kleene implication and the negation in open-world.

但是，Kleene的蕴含词&→&和开放世界假定的否定词&&构成的三值命题逻辑系统没有重言式，通过选定特定的重言式作为推理的出发点进行推理行不通了。

Boolean Logic is named after the 19th century mathematician, George Boole.

布尔逻辑以 19 世纪数学家 George Boole 的名字命名。

In the same time,from the view point of abstract algebra,the homomorphism between disturbing fuzzy logic operator group and class fuzzy logic operator group is studied.

从而使经典模糊逻辑的概念及性质得到进一步的推广，同时也揭示了在这种由一维到二维的推广中存在的问题。

The thesis will begin with the introduction of counterpart of English judicial review. According to the unscramble of counterpart prejudication in the history of Britain, I will abstract the logic category of "administrative discretion------the principle of reasonableness", and based on the logic category, I will point out that if want to justify the review of court on the administrative discretion such as "misuse of authority"and "apparently inequitable administrative punishment", we must induct the principle of reasonableness. And based on the material of concrete cases, I will analyze that there still are states of unreasonable execution of administrative discretion in the rest representations of unlawfulness in the 54th provision of our statute law of administrative litigation.

本文首先考察英国合理性审查原则的相关制度，通过解读英国历史上重要相关判例，提炼出"行政裁量权——合理性审查原则"这一逻辑规范范畴，并以此范畴为切入视角，指出，要在理论上正当化法院对"滥用职权"和"显失公正行政处罚"等行政裁量权的司法审查，必须引入合理性审查原则，并以具体案例为材料，通过分析得出，在《行政诉讼法》第54 条的其他违法表现形式中，都有行政裁量权不合理行使的情形存在，并指出，产生这种现象的原因是，《行政诉讼法》第54 条规定的七种违法表现形式采取的是不同的分类标准。

According to the pattern, the traditional judgment logic phalanx may find out the equivalence description in uniting calculation. In addition, all efficient formulas of traditional lexical logic become the external true formula without exception, and the inefficient become the external false.

在这一模式下，传统直言判断的逻辑方阵在联合演算中可以找到等价的描述，不仅知此，传统词项逻辑的所有有效式在联合演算中无一例外地是永真式，而传统词项逻辑的所有无效式在联合演算中无一例外地是永假式。

But for China's diplomacy, the tragic ending is probably losing own behavioral logic into American great-power logic to adopt America-like diplomatic policy, which is not alarmism.

但就中国外交而言，最悲惨的结局可能就是失去了自己的行为逻辑而陷入美国的大国逻辑，采用美国相仿的外交政策。

Difference from other algebraic structures which are introduced for some logic system, Implication Algebra is a abstraction of one logic connective, i. e. implicative operator, and other operators in it are all introduced by implicative operator.

特别值得提出的是，与其它为研究逻辑系统而引入的代数结构不同，蕴涵代数是对一个逻辑联结词，即蕴涵算子抽象而得到的，其它算子均是由蕴涵算子诱导而得到。

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。