若是则生成合并公式,保留一个覆盖最多正例的合并取代F 从CPE中删去被新的F覆盖的正例,重复(2),(4)直至CPE变空 (5)此时PE和CPE均空,但NE非空,做EMF)将其中含有最 多非死元素的列中的非死元素放入path中,并从NE中删去含 这些非死元素的行,重复这一过程,直到NE变空。将path转 变为相应的公式。若是则生成合并公式，保留一个覆盖最多正例的合并取代F, 从CPE中删去被新的F覆盖的正例，重复(2),(4)直至CPE 变空。 (5) 此时PE和CPE均空，但NE非空，做EM(F). 将其中含有最 多非死元素的列中的非死元素放入path中，并从NE中删去含 这些非死元素的行，重复这一过程，直到NE变空。将path转 变为相应的公式