Мінімізація на множині КНФ (методом діаграм Вейча)