conjunctive form的意思|示意
逻辑积形
conjunctive form的用法详解
英语单词conjunctive form(连接形式)指通常由连接词(通常是表示时间、原因、结果、转折、解释、限定等功能的介词)引导的短语或者是从句,它补充说明句子成分之间的内在联系,它们往往不能单独作为句子使用,而是必须将它们置于一个主句之中。
例如:
1.Although it's dark, I will still go out for a walk.
2.The teacher, as well as the students, was very interested in the topic being discussed.
3.He was forced to resign from his job because of his poor performance.
通过上面的例句,我们可以看出,conjunctive form具有表达句子的复杂概念的功能,考虑到时间、原因、结果、转折和解释等关系,它们对句子的解释起到了重要的作用。
因此,要使句子更加准确,可以在句子中加入合适的conjunctive form,以帮助使句子结构更加完整,表达更加准确。
conjunctive form相关短语
1、 normal conjunctive form 标准的逻辑乘法形式,翻译
2、 conjunctive normal form 合取范式,连接标准形式,合取正常形式
3、 major conjunctive form 主合取范式
4、 canonical conjunctive form 逻辑积标准形
5、 modal proposition of conjunctive form 联言模态命题
6、 prenex-conjunctive normal form 前束合取范式,合取正规形式,翻译
7、 principal conjunctive normal form 翻译
8、 quantifier-free conjunctive normal form 自由量词合取范式
conjunctive form相关例句
With respect to the principal disjunctive normal form and the principal conjunctive normal form, we also approach the properties of the subscript sets derived from the minimum term and maximum term.
讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。
An new concept of saturated conjunctive normal form is introduced and the nature of sat problem is studied for utilizing the characteristic of saturated conjunctive normal form.
引入了一个饱和合取范式的概念,利用饱和合取范式的性质,对SAT问题的本质进行了研究。
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.
针对差别矩阵求约简过程中合取范式向析取范式等价转换的难题,提出一种基于差别矩阵构造约简树的有效方法。