若是则生成合并公式,保留一个覆盖最多正例的合并取代F 从CPE中删去被新的F覆盖的正例,重复(2)(4)直至CPE变空若是则生成合并公式，保留一个覆盖最多正例的合并取代F, 从CPE中删去被新的F覆盖的正例，重复(2),(4)直至CPE 变空