exclusive disjunction

exclusive disjunction的基本解释

-

[计] "异或"

与exclusive disjunction相关的网络例句 [注：此内容来源于网络，仅供参考]

There are many problems in the relationship bewteen town government and village committee after the cancellation of the agricultural tax, including that the liceity of town governments facing challenges because the absence of the supply of rural public goods; the "attach-up" of town governments leading to disjunction between town governments and village committee; the bureaucratization of town governments intensifying their confrontation with the village committees; the disjunction and confrontation leading the excessive autonomy of villages; the failure of the system of "one case one meeting" strengthening the tendency of town subordination of villages.

取消农业税后我国的乡村关系中存在着诸多问题：行政村公共产品供给缺位，乡镇政府面临着合法性挑战；乡镇政府的"上附性"会导致其与行政村的脱节；乡镇政府的官僚化会加剧其与行政村的对立；乡村之间的脱节与对立会导致行政村的过度自治化；"一事一议"制度失效会强化行政村的乡镇附属化倾向。在这里需要说明的是，行政村的过度自治化和乡镇附属化倾向在农业税改革之前就存在着，但农业税改革之后这些情况虽然存在，但却是由不同的原因引起的。

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

To summarize molecular, morphology, chromosome and pollen characters, the conclusion was reached that Epimedium was an nd monophyletic taxon. To divide the genus into any groups would be artificial. It is proposed that the disjunction by space, climate and seas were the main reason of respectively differentiation of each group by the view of geographic and climate changes in the temperate zone of the world. Because of its evolution-conservation, the disjunction did not bring about obvious divergence on the level of molecular and morphology.

综合分子特征和形态、细胞学、孢粉学等性状，提出淫羊藿属是一个进化上极为保守的、自然的单系的植物类群，进行属下任何阶元的划分都将是人为的，从旧世界温带的地质变化及气候变迁的角度推测，空间、气候和海洋的隔离是产生类群各自分化的主要原因，但由于其进化上极度保守，这些隔离尚未产生出类群间形态上和分子水平上的明显趋异。

与exclusive disjunction相关的网络解释 [注：此内容来源于网络，仅供参考]

exclusive disjunction：不包含性析取

exclusive 不包含 | exclusive disjunction 不包含性析取 | exclusive events 互斥事件

exclusive disjunction：排它性逻辑 "或

exclamation 感叹 | exclusive disjunction 排它性逻辑 "或" | experiencer case 经验者格

exclusive disjunction：或运算

exclusive control 排斥控制 | exclusive disjunction 或运算 | exclusive mode 互斥方式

exclusive disjunction：不可兼析取

exclusion 排除 | exclusive disjunction 不可兼析取 | exclusive events 互斥事件