合取式
- 网络Conjunction;conjunctive form;theconjunctionofthepremisses;conjunct
合取式-
分析了Vague集的性质，定义了Vague集上的加权析取式和加权合取式。
The characteristics of Vague sets are analyzed . The conjunctive and disjunctive forms based on Vague sets are defined .
-
符号状态由位置与时间区域组成，时间区域用形如x-y≤（<）n的原子公式的合取式来表示。
Each symbolic state consists of a location and a time zone which are conjunctions of automatic formulae in the form x-y ≤( < ) n.