基本解释[數學]極小析取範式词组短语短語minimal disjunctive normal form detail 極小析榷式minimal disjunctive normal form更多词组专业释义數學極小析取範式