析取

Disjunctive Normal Form and Conjunctive Normal Form of both-branch fuzzy logic expressions.

以及双枝模糊逻辑的析取范式与合取范式。

Aiming at the problem of equivalent conversion from conjunctive normal form to disjunctive normal form, an effective algorithm was proposed to construct reduction tree based on discernibility matrix.

针对差别矩阵求约简过程中合取范式向析取范式等价转换的难题，提出一种基于差别矩阵构造约简树的有效方法。

Many existing algorithms of attribute reduction begin at constructing decision table's discernibility matrix,then convert non-empty objects' conjunctive normal form into minimal disjunctive normal form.

现有的很多属性约简算法都是由构造决策表的差别矩阵出发，将矩阵中非空元素的合取范式转化为极小析取范式。

Many existing algorithms of attribute reduction begin at constructing decision table's discernibility matrix,then convert non－empty objects' conjunctive normal form into minimal disjunctive normal form.

现有的很多约简算法都是由构造决策表的区分矩阵出发，将矩阵中非空元素的合取范式转化为极小析取范式。

The normal form can mirror innate characters and value distribution of well formed formula, and perfectly solve the problem about complete disjunctive normal form in MP .

该范式分为三个部分，即真值项、清晰项和矛盾项，它能够反映合式公式的本质特征及取值分布情况，为规范化研究该系统中的合式公式提供了一种工具，较理想地解决了MP＊中的析取范式问题。

Based on paper [1] and [2], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally.

摘要在文[1]和文[2]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。

The so-called paradox of material implication is not actually that odd since it is caused by some kind of misunderstanding when people require material implication expressions not only the truth properties but contents and meanings as well in conditions.

实质蕴涵与否定、合取、析取、等值等其他逻辑联结词一样，其实质是对自然语言中复句的关联词所进行的合理的逻辑抽象，所谓的"实质蕴涵怪论"其实并不怪，它是人们要求实质蕴涵反映条件联系中除真假联系之外的内容、意义方面的联系，从而作了错误的解读所造成的；作为一种特殊的条件语句，在反事实条件句与实质蕴涵的关系问题上，在反事实条件句与一般性条件句的区分上，还有很多地方需要进一步探索。

An indicator sampling method is proposed for visualizing a three dimensional penetrable obstacle from a knowledge of far field data for time harmonic acoustic scattered waves.

提出了用时谐声散射场的远场信息来可视化三维可穿透目标的一种指示器样本方法，它是通过析取一个指示器函数在包含可穿透目标的某个样本区域中的支集来实现这种可视化的，其中，这个指示器函数在可穿透目标的内部和外部有显著不同的取值。

Triangular norms are a common form of conjunction operator to a real number based representation of the true value of a compound fuzzy proposition.

对基于单一数值表达的模糊命题间的合取、析取关系的最一般运算形式是三角范数和三角余范数。

This paper studies some theory forfuzzy conjunctions and fuzzy disjunctions, which are more general than t- normsand t- conorms, respectively, and investigates the roles of negations in fuzzy logic.

本文首先研究了比t-范数及其共轭范数更一般的模糊合取、模糊析取算子，讨论了&负&在模糊逻辑运算中的作用。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。