Задача по вычислительной технике

Синтез КС из набора элементов И-НЕ, ИЛИ-НЕ, И-ИЛИ-НЕ.

Для БФ от четырех переменных (x,y,z,w), заданной на множестве наборов М1 и М~ построить КС минимальной глубины с использованием алгоритма разделения ТДНФ на К частей с минимизацией максимального веса из набора элементов.

Варианты наборов элементов 2И-НЕ, 4И-НЕ, 2ИЛИ-НЕ, 3ИЛИ-НЕ, 3И-3ИЛИ-НЕ.

Набор М1 (1,2,7,8,10,14,15), М~(0,4,5)