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

Who? I never heard of him, Paul said, before asking teammate James Posey if he had heard of him.

赛后，科比说，他一直都是一名非常出色的射手，今天他打得很棒。

When I joined the company, I rotated around the different sections.

我加入这个公司时，轮换过几个不同的部门。