基本解释[數學]前束析取範式词组短语短語prenex -disjunctive normal form 前束析取範式;繙譯prenex disjunctive normal form更多词组专业释义數學前束析取範式