Разработать программу минимизации функции методом импликантных матриц

Исходная форма СКНФ, результат в ДНФ. Максимальное количество переменных 4(x1,x2,x3,x4 и их инверсные формы). Все промежуточные действия должны выводиться на экране. Выполнить на C++ или C# (что проще). Предусмотреть вкладку «Обучение» в которой поместить последующий текст.