基本解释[数学]极小析取范式词组短语短语minimal disjunctive normal form detail 极小析榷式minimal disjunctive normal form更多词组专业释义数学极小析取范式