1. Главная
  2. Библиотека
  3. Информатика
  4. Представить в ДНФ и в КНФ следующую формулу: (B∨C)→((¬B→¬A∨C) → B&C&¬A))

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

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

Условие:

Представить в ДНФ и в КНФ следующую формулу:

(B∨C)→((¬B→¬A∨C) → B&C&¬A))

Решение:

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

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

А В = А В.

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

А = А.

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

Похожие задачи

Не нашел нужную задачу?

Воспользуйся поиском

AI помощники

Выбери предмет

E
S
А
Б
В
Г
Д
Е
Ж
З
И
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Э
Я