Чтобы привести булеву функцию к СДНФ с помощью равносильных преобразований, нужно: 1. Избавиться от всех логических операций, содержащихся в формуле, заменив их основными: конъюнкцией, дизъюнкцией, отрицанием. 2. Заменить знак отрицания, относящийся к выражениям вида X & Y и X Ú Y, знаками отрицания, относящимися к отдельным переменным, используя законы де Моргана. 3. Избавиться от знаков двойного отрицания. 4. Применить, если нужно, к операциям конъюнкции и дизъюнкции законы дистрибутивности и поглощения. Также СДНФ можно составить на основе таблицы истинности функции: 1. Отметить те строки таблицы истинности, в последнем столбце которых стоят 1. 2. Выписать для каждой отмеченной строки конъюнкцию всех переменных так: если значение некоторой переменной в данной строке — 1, то в конъюнкцию включать саму эту переменную, если равно 0, то её отрицание. 3. Все полученные конъюнкции связать в дизъюнкцию.