基本解釋[數學]前束析取范式詞組短語短語prenex -disjunctive normal form 前束析取范式;翻譯prenex disjunctive normal form更多詞組專業(yè)釋義數學前束析取范式