conjunctive normal form
短语词组
- quantifier -free conjunctive-normal form [计]自由量词合取范式;自由量词合取范式英语;翻译
- major conjunctive normal form 合取范式
- cnf conjunctive normal form 连接标准形式
- main conjunctive normal form 主合取范式
- Special Conjunctive Normal Form 主合取范式
- prenex conjunctive normal form [数]前束合取范式
- Weak conjunctive normal form 弱合取范式
- distinguished conjunctive normal form 杰异合取范式
- principal conjunctive normal form 翻译 返回 conjunctive normal form