基本解释[数学]前束析取范式词组短语短语prenex -disjunctive normal form 前束析取范式;翻译prenex disjunctive normal form更多词组专业释义数学前束析取范式