Студопедия
Главная страница | Контакты | Случайная страница

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

Преобразование КНФ в СКНФ.

Читайте также:
  1. Вопрос – 22 Преобразование мо.
  2. Двумерное преобразование дискретной функции
  3. Задание на преобразование
  4. Кодирование – преобразование входной информации в форму, воспринимаемую компьютером, т.е. двоичный код.
  5. Математические основы информатики (преобразование сообщений)
  6. Обратное преобразование модулированного сигнала в модулирующий сигнал
  7. Оригинал, изображение, преобразование Лапласа.
  8. Первоначальное накопление во Франции. Экономическое преобразование Великой Французской революции.
  9. Преобразование агрегатных индексов в средние. Средние арифметический и гармонический индексы. Их применение в изучении динамики цен и физического объема производства.
  10. Преобразование геотермальной энергии в электрическую и тепловую.

Шаг 3.

Если в КНФ есть несколько одинаковых элементарных дизъюнкций, то оставляем только одну - это преобразование приводит к равносильной формуле,т.к. x&x=x.

Шаг 4.

Делаем все элементарные дизъюнкции правильными с помощью следующих двух преобразований:

- если в элементарной дизъюнкции переменная входит со своим отрицанием, то удаляем эту дизъюнкцию из КНФ.

- если некоторая переменная входит в элементарную дизъюнкцию несколько раз, причём либо во всех случаях без отрицаний, либо во всех случаях с отрицаниями, то оставляем только одну эту переменную.

Шаг 5.

Преобразуем правильные дизъюнкции в полные. Пусть в некоторую элементарную дизъюнкцию не входит переменная x, тогда рассмотрим выражение (x ) и повторим шаги 2 и 3. Если недостающих переменных несколько, то проделать аналогичные преобразования со всеми недостающими переменными.




Дата добавления: 2015-04-20; просмотров: 105 | Поможем написать вашу работу | Нарушение авторских прав

1 | 2 | 3 | 4 | 5 | 6 | 7 | <== 8 ==> | 9 | 10 | 11 |


lektsii.net - Лекции.Нет - 2014-2025 год. (0.16 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав