Условие задачи
Представить в ДНФ и в КНФ следующую формулу:
(B∨C)→((¬B→¬A∨C) → B&C&¬A))
Ответ
Алгоритм преобразования произвольной формулы исчисления высказываний в нормальную форму состоит из следующих шагов.
Шаг 1. Избавляемся от связок импликация, применяя формулы
А В = А В.
Шаг 2. Продвигаем знаки отрицания до атомов, используя правила Де-Моргана, также снимаем двойные отрицания.
А = А.
законы Де-Моргана
Потяни
