查询词典 classical logic

In this paper the Karnaugh map for simplifying logic functions is used in computing canonical covers based on the equivalence between the theory of functional dependencies and logic algebra.

本文依据函数依赖理论与逻辑代数对应部分的等价性，引入化简逻辑函数的卡诺图法求函数依赖集的规范覆盖。

In digital circuit, methods to express logic function consist of:True table, the function expresses type, logic diagram and Karnaugh Map.

在数字电路中，逻辑函数的表示方法有：真值表，函数表达式，逻辑图以及卡诺图。

In arithmetic figure electric circuit, the logic function means that the method has:True worth form, the function expresses type, logic diagram and Karnaugh Map.

在数字电路中，逻辑函数的表示方法有：真值表，函数表达式，逻辑图以及卡诺图。

The course provides the fundamental concepts used in the design of digital systems, including the methodology to design the combinational and sequential circuits with Boolean Algebra, Karnaugh map, and the logic elements, such as basic logic gates, latches, and flip-flops,etc.

本课程在提供数位系统设计所须具备的基础能力，包括学习以布林代数、卡诺图来设计组合逻辑与序向逻辑电路的方法，以及培养基础逻辑元件的应用能力，包括基本逻辑闸、栓锁器、与正反器等等元件。

And using thinking of evolvable hardware design,it had realized a novel way in simplifying the given logic function,which was different from conventional method,such as algebra way and Karnaugh map way.Experiments showed that evolvable hardware method could solve simplification of large scale logic function.

作者在对演化硬件设计理论的学习研究中，尝试了用遗传算法在可编程逻辑器件上应用来实现对某一给定的逻辑函数进行化简。2代数法和卡诺图法介绍[1]先给定一个逻辑函数F，并对其进行化简：F=A+ABC+AC+CD(1)2.1代数法化简代数法化简就是运用代数的公理、定理和规则对逻辑函数进行化简。

Agent ; KARO logic framework ; commitments ; dynamic logic

主体； KARO逻辑框架；承诺；动态逻辑

LAPP is a data modeling and different from traditional computational methods. This computational approach identifies logic relationships of the elements in complex networks through the logic analysis of their expression data.

LAPP和通常建立模型的方法不同，它给出了一个从复杂网络的元素的表达数据出发，通过逻辑分析，找到元素之间逻辑关联性的建模方法。

By comparing and researching law of excluded middle of form logic and mathematical logic from quantity and quality of aspect,to unify and generalize law of excluded middle,This paper presents united law of excluded middle-general law of excluded middle,and provides its mathematics expression.

作者通过对形式逻辑和数理逻辑中的排中律从量和质的方面进行了比较和探讨，将排中律进行统一和推广，提出了统一的排中律———广义排中律，并给出了相应的数学表示。

The logic of the basic laws of logic is often used to describe: to ensure that all thinking the same certainty to ensure that no contradictions in law thinking of the contradictions of law, to ensure clarity of thinking of the three rules of law of excluded middle.

逻辑基本的逻辑规律通常是指：保证思维确定性的同一律，保证思维无矛盾律性的矛盾律，保证思维明确性的排中律三大规律。

Fuzzy logic articulate boundaries are not clear qualitative knowledge and experience, which by means of the membership function concept to distinguish between fuzzy sets, deal with fuzzy relations, modeling the human brain implementing rule-based reasoning, address the "law of excluded middle" of the logic of breaking production of various non-...

模糊逻辑善于表达界限不清晰的定性知识与经验，它借助于隶属度函数概念，区分模糊集合，处理模糊关系，模拟人脑实施规则型推理，解决因"排中律"的逻辑破缺产生的种种不。。。

We stopped by the old fashion ice cream parlor Manhattan Beach Creamery for some refreshment. The "No Shoes, No Shirt, No Problem" sign on the wall epitomizes the beach lifestyle.

我们去商店区的一家老式冰淇淋店坐坐，墙上挂著「没鞋，没上衣，没问题」的牌子完全捕捉了海滩生活的随性及风格。

"If therefore", argues Bellarmine we can offer our prayers and our satisfactions in behalf of those detained in purgatory, because we are members of the great body of Christ, why may not the Vicar of Christ apply to the same souls the superabundant satisfaction of Christ and his saints--of which he is the dispenser?

" "因此，如果"，认为贝拉明（德indulgentiis ，十四）"我们可以提供我们的祈祷和我们满意的代表那些被拘留在炼狱，因为我们是成员的伟大基督的奥体，为什麼可能不是牧师基督适用於同样的灵魂满意的过剩是耶稣和他的圣人-他是在配药？