短語詞組短語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 [數(shù)]前束合取范式Weak conjunctive normal form 弱合取范式distinguished conjunctive normal form 杰異合取范式principal conjunctive normal form 翻譯 返回 conjunctive normal form