析取形式用英语怎么说，析取形式的英文翻译

词语导航

基本信息

词语：析取形式

繁体：析取形式

拼音：xī qǔ xíng shì

英语翻译

【计】 disjunction form

分词翻译

析取的英语翻译：

extract; scorify
【计】 dijunction

形式的英语翻译：www.WenTiyI.CoM

form; format; modality; shape
【法】 form

翻译例句

1. 解释命题、命题逻辑和其涉及的否定、合取、析取、蕴涵和等价等定义，同时分析它们的形式和用法。

This paper explains the proposition and propositional logic, giving the definitions, forms and usages of negation, conjunction, disjunction, implication and equivalence.

2. 由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。

Firstly, a classification-tree is constructed based on specification of the test object, and then test cases obtained from the classification-tree are refined by generating a disjunctive normal form.

3. 由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。

Firstly, a classification-tree is constructed based on specification of the test object, and then test cases obtained from the classification-tree are refined by generating a disjunctive normal form.