查询词典 Boolean logic

Building on Turing's contribution, Shannon had demonstrated how Boolean algebra and logic could be used in the analysis and synthesis of switching and computer circuits.

在图灵理论的基础之上，香农演示了布尔代数与逻辑如何用于开关与计算机电路的分析与综合。

This paper studies default logic using Boolean ring rewriting system.

利用重写系统研究缺省逻辑姜云飞（吉林大学计算机科学系长春130023）摘要本文在布尔环重写系统中研究了缺省逻辑。

This curriculum mainly narrated the VHDL complete characteristic, also has contained the related number system design knowledge, the content including the electronic design automation tool's use, CMOS and the programmable logical craft, the Boolean algebra and the combinatory logic design basic principle

本课程主要讲述了VHDL的全部特征，也包含了有关数字系统设计的知识，内容包括电子设计自动化工具的使用，CMOS和可编程逻辑工艺、布尔代数和组合逻辑设计的基本原则，各种建模的技术，有限状态机的设计，以及三个重要的可测试设计；扫描路径、内置自检和边界扫描等。

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

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

To simplify the process of calculating Boolean difference and partial derivation of Reed-Muller type logic function, a new method based on tabular was proposed.

为了简化Reed-Muller型逻辑函数的布尔差分与布尔偏导数的计算过程，提出了一种基于表格的新方法。

The LVC32A device performs the Boolean function Y = A + B or Y = A B in positive logic.

该LVC32A设备执行了积极的布尔逻辑函数Y =甲+乙或Y = AB公司。

In this dissertation, we mainly use character matrix to research cryptology characteristic of Boolean function and m-ary logic function.Firstly, by using properties of character matrix's row and column we get an equivalence condition of bent function. Then we have an entirely construct method of 4 variable bent function.

本文利用特征矩阵研究了密码学中逻辑函数的相关问题，主要做的工作有：首先，根据Bent函数的自相关特征，利用特征矩阵给出了Bent函数的一个新的等价判别条件，并由此得到了4元Bent函数的一个完全构造方法。

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

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

Monadic Boolean algebras also have an important connection to modal 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 是内部代数的模型。

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'.

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