Какие существуют методы приведения логических формул к нормальной форме?

Для приведения логических формул к нормальной форме используют законы алгебры логики и правила логических преобразований. moodle.kstu.ru

Алгоритм построения дизъюнктивной нормальной формы (ДНФ) и конъюнктивной нормальной формы (КНФ): momathcollege.ucoz.org

1. Избавиться от всех логических операций, содержащихся в формуле, заменив их основными: конъюнкцией, дизъюнкцией, отрицанием. momathcollege.ucoz.org
2. Заменить знак отрицания, относящийся к выражениям вида X &Y и X Ú Y, знаками отрицания, относящимися к отдельным переменным, используя законы де Моргана. momathcollege.ucoz.org
3. Избавиться от знаков двойного отрицания. momathcollege.ucoz.org
4. Применить, если нужно, к операциям конъюнкции и дизъюнкции законы дистрибутивности и поглощения. momathcollege.ucoz.org

Табличный способ приведения к СДНФ: moodle.kstu.ru nsportal.ru

1. Построить таблицу истинности. moodle.kstu.ru
2. Найти те строки, в которых формула принимает значение 1. moodle.kstu.ru
3. Каждой такой строке поставить в соответствие элементарную конъюнкцию: переменная, принимающая значение 1, входит без отрицания, а переменная, принимающая значение 0, входит с отрицанием. moodle.kstu.ru
4. Образовать дизъюнкцию всех полученных элементарных конъюнкций, которая и составит СДНФ. nsportal.ru

Табличный способ приведения к СКНФ: moodle.kstu.ru nsportal.ru

1. Построить таблицу истинности. moodle.kstu.ru
2. Найти те строки, в которых формула принимает значение 0. moodle.kstu.ru
3. Каждой такой строке поставить в соответствие элементарную дизъюнкцию: переменная, принимающая значение 1, входит с отрицанием, а переменная, принимающая значение 0, входит без отрицания. moodle.kstu.ru
4. Образовать конъюнкцию всех полученных элементарных дизъюнкций, которая и составит СКНФ. nsportal.ru