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