Построить сокращенную ДНФ функции используя алгоритм Блейка

Метод Блейка основан на применении операции обобщенного склеивания:
Ax⋁Bx=Ax⋁Bx⋁AB.
Этот метод применяется к произвольной ДНФ функции.
Метод Блейка позволяет получить не минимальную, а сокращенную ДНФ, т.е. дизъюнкцию всех простых импликант функции.
Производим операцию обобщенного склеивания . Имеем:
x1x2x4⋁x1x3x4: x1x2x4⋁x1x3x4⋁x2x3x4;
x1x2x4⋁x2x3x4: x1x2x4⋁x2x3x4⋁x1x2x3;
x1x2x4⋁x1x2x3x4: x1x2x4⋁x1x2x3;
x1x2x4⋁x1x2x4: x1x2x4⋁x1x2x4⋁x1x4;*
x1x3x4⋁x2x3x4: x1x3x4⋁x2x3x4⋁x1x2x3.
Все пары исходной ДНФ поучаствовали в склеивании