![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Формула находится в дизъюнктивной нормальной форме (ДНФ), если она является дизъюнкцией (может быть и одночленной) элементарных конъюнкций. Например, формулы (x y)
(
x
y
z),
y
(t & s), t,
y находятся в ДНФ. Формула находится в конъюнктивной нормальной форме (КНФ), если она является конъюнкцией (может быть и одночленной) элементарных дизъюнкций. Например, формулы (x
y) & (
x
y
z),
y & (t
s), t,
y находятся в КНФ.
Из всех нормальных форм формулы выделим совершенные формы. Из ДНФ выделим Совершенную ДНФ (СДНФ). Формула находится в СДНФ относительно своего списка переменных, если каждый её дизъюнктивный член содержит по одному разу в прямом или инверсном виде все переменные формулы, и все её дизъюнктивные члены попарно различны. Например, формула в СДНФ: (x & y & z) (x & y &
z)
(
x & y &
z).
Дата публикования: 2014-11-29; Прочитано: 851 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!