- •Методические указания
- •230100 «Информатика и вычислительная техника»,
- •Правила выполнения и оформления контрольной работы
- •1. Элементы теории множеств Теоретические сведения
- •Варианты заданий
- •2. Бинарные отношения
- •Примеры решения задач
- •Задание 2
- •Варианты
- •Задание 3
- •Варианты
- •3. Элементы теории графов
- •Алгоритм нахождения сильных компонент графа
- •4. Планарные графы
- •Алгоритм укладки графа на плоскости
- •Пошаговое описание алгоритма укладки графа на плоскости
- •Задание 5
- •Варианты
- •5. Операции над высказываниями
- •6. Нормальные и совершенные
- •Алгоритм 6.1
- •П рименяя к полученной днф дистрибутивный закон дизъюнкции относительно конъюнкции, получим
- •Алгоритм 6.2 (аналитический способ приведения к сднф)
- •(Табличный способ приведения к сднф)
- •(Табличный способ приведения к скнф)
- •Задание 8
- •Содержание
- •Методические указания
- •230100 «Информатика и вычислительная техника»,
- •394026 Воронеж, Московский просп., 14
6. Нормальные и совершенные
НОРМАЛЬНЫЕ ФОРМЫ
Теоретические сведения
Определим некоторые канонические представления ПФ.
ПФ называется элементарной конъюнкцией (дизъюнкцией), если она является конъюнкцией (дизъюнкцией) переменных и отрицаний переменных.
Пример.
- элементарная конъюнкция.
- элементарная дизъюнкция.
Говорят, что ПФ задана в дизъюнктивной нормальной форме (ДНФ), если она является дизъюнкцией элементарных конъюнкций.
Пример. - ДНФ.
Говорят, что ПФ задана в конъюнктивной нормальной форме (КНФ), если она является конъюнкцией элементарных дизъюнкций.
Пример. - КНФ.
На основе равносильных преобразований любая формула может быть приведена к нормальной форме (ДНФ или КНФ).
Алгоритм 6.1
(приведение ПФ к нормальной форме)
Если ПФ содержит операции →, ↔, то их исключают с помощью равносильностей
, ,
, , .
Приводят отрицания к независимым переменным, используя законы де Моргана.
Раскрывают скобки по дистрибутивному закону конъюнкции относительно дизъюнкции для приведения к ДНФ или по дистрибутивному закону дизъюнкции относительно конъюнкции для приведения к КНФ.
Пример. Определить нормальные формы для ПФ .
Действуя, в соответствии с алгоритмом 6.1, получим
П рименяя к полученной днф дистрибутивный закон дизъюнкции относительно конъюнкции, получим
З амечание. Для данной ПФ существует множество ДНФ и КНФ, переход от одной формы к другой осуществляется на основе равносильных преобразований.
Совершенной дизъюнктивной нормальной формой (СДНФ) данной ПФ называется ДНФ, в которой каждая элементарная конъюнкция содержит все переменные – без отрицания или с отрицанием, но не вместе.
Совершенной конъюнктивной нормальной формой (СКНФ) данной ПФ называется КНФ, в которой каждая элементарная дизъюнкция содержит все переменные – без отрицания или с отрицанием, но не вместе.
Существует два способа перехода к совершенным формам табличный и аналитический.
Алгоритм 6.2 (аналитический способ приведения к сднф)
С помощью равносильных преобразований привести ПФ к ДНФ.
Те элементарные конъюнкции, в которые сомножителями входят не все переменные, умножить на единицы, представленные в виде дизъюнкций каждой недостающей переменной с ее отрицанием.
Раскрыть скобки по соответствующему дистрибутивному закону.
Для получения искомой СДНФ исключить повторения.
Приведение к СКНФ осуществляется аналогично, но только к элементарным дизъюнкциям, содержащим слагаемыми не все переменные, прибавляют нули, представленные в виде конъюнкций каждой недостающей переменной с ее отрицанием.
Пример. Пусть ПФ, содержащая переменные X, Y, Z, имеет ДНФ вида .
Заметим, что в первую элементарную конъюнкцию не входит переменная Y, а во вторую – переменная Х. В соответствии с процедурой приведения к СНДФ первую элементарную конъюнкцию умножим на , а вторую – на . Получим
Алгоритм 6.3