Как найти ДНФ логической формулы (дискретная математика)?

Сначала нужно построить таблицу истинности формулы. Потом в последнем столбце выбрать строки, в которых значение формулы истинно. И записать для каждой такой строки истинную конъюнкцию ( для этого смотреть чему равно значение переменных, входящих в формулу в этой строке. Если она положительна, то брать ее. А если отрицательна, то брать ей противоположное значение. Иными словами, если переменная в данной строчке принимает значение ложь, то брать ее отрицание.) Из полученных конъюнкция составить дизъюнкцию. Полученная форма будет называться СДНФ - совершенная дизъюнктивная нормальная форма. Ну а из нее уже получать ДНФ с помощью законов логики.

Для того чтобы построить ДНФ можно использовать карту Карно. Там вообще просто получается.