Задача Булева Алгебра

По заданной таблице истинности получить минимальную дизъюнктивную (или конъюнктивную) нормальную форму для логической функции четырёх аргументов:
F = f3(0,0,1,1) = f4(0,1,0,0) = f6(0,1,1,0) = f8(1,0,0,0) = f9(1,0,0,1) = f11(1,0,1,1) = f12(1,1,0,0) = f13(1,1,0,1) = 1, остальные fi равны 0.
Нужно подробно описать решение и используемые методы.