Алгоритм нахождения СДНФ функции, заданной таблицей истинности

Для нахождения СДНФ данную формулу приводим сначала к ДНФ, а затем преобразовываем ее конъюнкты в конституенты единицы с помощью следующих действий:

а) если в конъюнкт входит некоторая переменная вместе со своим отрицанием, то мы удаляем этот конъюнкт из ДНФ;

б) если в конъюнкт одна и та же литера входит несколько раз, то удаляем все литеры , кроме одной;

в) если в некоторый конъюнкт не входит перемен­ная у, то этот конъюнкт заменяем на эквивалентную формулу и, применяя закон дистрибутивности, приво­дим полученную формулу к ДНФ; если недостающих перемен­ных несколько, то для каждой из них к конъюнкту добавляем соответствующую формулу вида ^;

г) если в полученной ДНФ имеется несколько одинаковых конституент единицы, то оставляем только одну из них. В результате получается СДНФ.