逻辑

Analyze the example we proof: we can get the most simple Combinational Logic Circuits by the Communal technique to design Combinational Logic Circuits., and the combinational logic circuits's rate of function and price was improved.

通过实例的分析证明了使用公用技术组合逻辑电路设计方法实现的逻辑电路比使用最简逻辑函数实现的逻辑电路更简单，从而提高了逻辑电路的性价比。

Because Horn-clause logic theory is of significance in both respects of theory and application, We especially studied lattice-valued Horn-clause logic with truth-value in lattice implication algebra, and the soundness and completeness theorem have been proved.

经典逻辑中，Horn子句逻辑理论具有广泛的应用，因而，本文中特别建立了基于格蕴涵代数的格值-类Horn子句逻辑，并证明了可靠性和完备性定理，这为建立一类基于格值逻辑这种非经典逻辑的人工智能语言将产生重要的作用。

Discuss the relationship between fuzzy logic and probabilistic logic by comparing PL with the fuzzy logic based on distributive lattice with a boundary element and make clear some indiscriminations about this problem.

7给出值域为布尔代数的格值逻辑的概率解释；相对于值域为含分界元分配格的模糊逻辑作比较，讨论了模糊逻辑和概率逻辑的密切关系和根本区别，并据此澄清了逻辑文献中关于这一问题的某些混淆。

According to the problems that are encountered in designing the mathematical knowledge representation language in NKI (national knowledge infrastructure) and after the discussion of ontological assumptions for mathematical objects, two kinds of formalisms for the representation of mathematical knowledge are provided. One is a description logic in which the range of an attribute can be a formula in some logical language; and another is a first order logic in which an ontology represented by the description logic is a part of the logical language.

根据在设计NKI(national knowledge infrastructure)的数学知识表示语言中遇到的问题，并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法：一种是以一个逻辑语言上的公式为属性值域的描述逻辑；另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑。

In part one (chapter 2-3), two new methods and systems of optical parallel logic operation are studied. Triple-in Double-out shadow-casting logic operation system is proposed and realized for the first time. Based on this, optical full adder and 3-bit decoder array logic have been obtained. It is the first time to use coding pattern and different reading-writing model to realize BSO-PROM optical parallel logic operation where the time-order operation is avoided, so that the computing speed of optical parallel logic gate which uses this kind of spatial light modulator is increased, and it is successfully used in optical symbolic substitution .

在第一部分，对两种新的并行光学布尔逻辑运算方法及系统进行了研究：首次提出并实现了三输入、双输出铸影光学逻辑运算系统及其由此得到的光学全加器，并提出一种以此为基础的3-比特译码器阵列逻辑，首次利用图形编码和不同的读写模式实现了无时序操作的BSO-PROM光并行逻辑运算，大大提高了这种空间光调制器用作光并行逻辑门的运算速度，使之成功地用于光学符号代换之中。

A comparative study of two logic systems should base on the analysis of their historical background and the interpretation of their cultural host;(2) The Mohist logic depend on Pre Qin culture of China and Aristotelean logic was embedded in Hellenism of Hellenistic Age;(3) In view of these two logic systems being the ...

墨家逻辑依托于先秦文化，亚里士多德逻辑依托于古希腊文化。两种文化有不同的特征和需求。不同文化的特征和需求，产生了两种不同的逻辑。两种逻辑的差异主要表现为：目的与任务不同，逻辑特征不同，主导的推理类型不同，推理成分的分析不同，后续发展状况不同。

Deviant logic is a logic branch which are made up of by denying or modifying some basic principles of classical logic, including Intuitionism Logic, Many-Valued Logic, etc.

变异逻辑是由否定或修改经典逻辑的某些基本假定而形成的逻辑分支，包括直觉主义逻辑，多值逻辑等。

This course mainly consists of 4 parts:1.Logical algebra and logical simplification, Karnaugh Map and Q-M approach.

本课程由4部分组成，分别是：逻辑代数与逻辑函数化简、组合逻辑分析与设计、同步时序逻辑分析与设计、可编程逻辑设计。

The prerequisite of the correct use of karnaugh map is to full in the map with the given logic function correctly. Karnaugh map can be used to transform logic function into various simplest expressions and check the race and hazard of logic function. It has a wider range of important applications in the analysis and design of combinational logic circuit and sequential logic circuit.

正确运用卡诺图的前提是把给定的逻辑函数正确填图，可以利用卡诺图将逻辑函数化简为各种最简表达式；可以用来检查逻辑函数的竞争冒险等；在组合逻辑电路和时序逻辑电路的分析与设计中更有广泛的重要应用。

Special logical paradox is a kind of rigid logical paradox which can be depicted by modern logical syntax, modern logical semantics and modern logical pragmatics from its form, and it is possible to infer the paradox from acknowledged correct background knowledge or presupposition of rational thinking subjects.

狭义逻辑悖论是指其由以导出的背景知识都是日常进行合理思维的理性主体普遍承认的公共知识或预设，均可通过现代逻辑语形学、逻辑语义学和逻辑语用学的研究使之得到严格的形式塑述和刻画，其推导过程可达到无懈可击的逻辑严格性的悖论。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。