Способы:
Равносильные преобразования
Табличный
Через двойственную функцию СДНФ двойственной функции
