Heuristic to pick term with fewest new variables in extraction of implicants