Operator to perform logical conjunction on the individual bits of two numeric expressions 运算符对两个数值表达式的各位执行逻辑合取。
The most complex part of the compound class parser is the interpretation of logical conjunctions and disjunctions 复合类解析器最复杂的部分在于逻辑合取和析取的解释。
Conjunctions and disjunctions must be specified in a specific order and in a specific way in a recursive grammar 合取和析取必须在递归文法中以特定的顺序和特定方式进行指定。
In prepositional calculus , the property is new arrangement of simple statements in a clause or a term 返口到p中来看,这种“特殊性”实质上是对p中于句或者合取式中的原子命题的一种重新排列。
Have commonly overdraw certainly the forehead is spent , had better use direct spending , unwell conjunction shows , poundage is more expensive 一般有一定透支额度,最好用来直接消费,不适合取现,手续费较贵。
Take two circles and let them overlap a little ; the area that overlaps is the conjunction , while the whole area is the disjunction 取两个圆,并让它们彼此有一些交迭;交迭的区域就是合取,而整个区域就是析取。
A disjunction is the logical " or " and a conjunction is the logical " and . " that may sound strange , but it s quite sensible to mathematicians 析取是逻辑“或( or ) ” ,而合取是逻辑“与( and ) ” 。这听起来可能会很奇怪,但是数学家很容易明白。
As virtual database uses relational data model , the paper makes a special effort to discuss query rewriting technology - rewriting queries using views and its conjunctive query , containment mapping under this model 基于虚拟数据库所采用的关系数据模型,着重探讨了该模型下的查询重写技术? ?利用视图重写查询以及基于其上的合取查询、包含映射等问题。
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 ]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出。
Recently , in order to obtain the representation result for recovering contraction inference relations satisfying the condition weak conjunctive inclusion , a notion of an image structure associated with the canonical epistemic state has been introduced 最近,为了建立满足条件弱合取包含的可恢复收缩后承关系的表示定理,一个被称为关于典范认知状态的图像结构的概念被广泛的提出。