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