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