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