查询词典 Boolean logic

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和可编程逻辑工艺、布尔代数和组合逻辑设计的基本原则，各种建模的技术，有限状态机的设计，以及三个重要的可测试设计；扫描路径、内置自检和边界扫描等。

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

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.

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

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。