Представить в ДНФ и в КНФ следующую формулу: (B∨C)→((¬B→¬A∨C) → B&C&¬A))

Алгоритм преобразования произвольной формулы исчисления высказываний в нормальную форму состоит из следующих шагов.

Шаг 1. Избавляемся от связок импликация, применяя формулы

А В = А В.

Шаг 2. Продвигаем знаки отрицания до атомов, используя правила Де-Моргана, также снимаем двойные отрицания.

А = А.

законы Де-Моргана