Студопедия — СДНФ и СКНФ
Студопедия Главная Случайная страница Обратная связь

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

СДНФ и СКНФ

ООО "ПОМАТУР" 0702.2000 г. № 21/ОР-ОЗ Директору рекламной фирмы "Прайм-тайм";
Предложение о размещении рекламы Уважаемый господин директор!
Мы рады предложить вашей фирме заключить с нами договор о проведении рекламной компании для продвижения на рынке нашей новой книжной продукции: словарей, справочников, энциклопедий. Сроки проведения рекламной компании – I квартал 2001 года. Условия сделки – предварительная оплата в размере 50% от общей стоимости. Наш адрес:...

 

Рекламация

  Директору ОАО "Бумлесторг" Феклистову О.А.
О просрочке поставки товара
Олег Алексеевич!
По контракту № 24 от 17.09.99 г. Ваше предприятие должно было поставить товар не позднее 01.10.99 г. Однако в нарушение п.4.1 контракта товар был поставлен с опозданием на 22 дня. На основании п.5.4 контракта наша фирма начисляет Вам пени в размере... руб. Указанную сумму просим перевести в течение 5 банковских дней на наш расчетный счет №... в Инкомбанке. В случае неуплаты этой суммы в предлагаемый срок мы будем вынуждены обратиться в арбитраж. Приложение: Акт приема товаров от 23.09.99 г.
Директор фирмы... подпись

 

 

СДНФ и СКНФ

Нормальная форма логической функции – если логическая функция представлена дизъюнкцией, конъюнкцией и инверсией.
Элементарная конъюнкция – конъюнкция конечного множества логических переменных и их инверсий. Элементарная дизъюнкция – дизъюнкция конечного множества логических переменных и их инверсий.
Ранг элементарной конъюнкции или дизъюнкции – число аргументов ее образующих.
Примеры
Элементарная конъюнкция третьего порядка Элементарная дизъюнкция второго порядка

 

Конъюнктивная нормальная форма (КНФ) содержит элементарные дизъюнкции, связанные между собой операциями конъюнкции. Дизъюнктивная нормальная форма (ДНФ) содержит элементарные конъюнкции, связанные между собой операциями дизъюнкции.
Примеры

 

Совершенная конъюнктивная нормальная форма (СКНФ): 1) нет двух элементарных дизъюнкций; 2) ни одна элементарная дизъюнкция не содержит двух одинаковых переменных; 3) ни одна элементарная дизъюнкция не содержит переменную вместе с ее инверсией; 4) все дизъюнкции имеют один и тот же ранг. Совершенная дизъюнктивная нормальная форма (СДНФ)  
Алгоритм образования СКНФ и СДНФпо таблице истинности
1. Выделить в таблице истинности все строки, в которых функция принимает значения 0. 1. Выделить в таблице истинности все строки, в которых функция принимает значения 1.
2. Для каждого выбранного набора записать элементарные дизъюнкции, содержащие переменные: а) если значение переменной равно 0, то записывается сама переменная, б) если значение переменной равно 1, то записывается инверсия этой переменной. 2. Для каждого выбранного набора записать элементарные конъюнкции, содержащие переменные: а) если значение переменной равно 0, то записывается инверсия этой переменной, б) если значение переменной равно 1, то записывается сама переменная.
3. Соединить элементарные дизъюнкции знаком конъюнкции. 3. Соединить элементарные конъюнкции знаком дизъюнкции.



<== предыдущая лекция | следующая лекция ==>
Ходатайство | Пояснительная записка. Исходная таблица X Y Z F

Дата добавления: 2015-10-12; просмотров: 391. Нарушение авторских прав; Мы поможем в написании вашей работы!



Вычисление основной дактилоскопической формулы Вычислением основной дактоформулы обычно занимается следователь. Для этого все десять пальцев разбиваются на пять пар...

Расчетные и графические задания Равновесный объем - это объем, определяемый равенством спроса и предложения...

Кардиналистский и ординалистский подходы Кардиналистский (количественный подход) к анализу полезности основан на представлении о возможности измерения различных благ в условных единицах полезности...

Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...

Опухоли яичников в детском и подростковом возрасте Опухоли яичников занимают первое место в структуре опухолей половой системы у девочек и встречаются в возрасте 10 – 16 лет и в период полового созревания...

Способы тактических действий при проведении специальных операций Специальные операции проводятся с применением следующих основных тактических способов действий: охрана...

Искусство подбора персонала. Как оценить человека за час Искусство подбора персонала. Как оценить человека за час...

Билиодигестивные анастомозы Показания для наложения билиодигестивных анастомозов: 1. нарушения проходимости терминального отдела холедоха при доброкачественной патологии (стенозы и стриктуры холедоха) 2. опухоли большого дуоденального сосочка...

Сосудистый шов (ручной Карреля, механический шов). Операции при ранениях крупных сосудов 1912 г., Каррель – впервые предложил методику сосудистого шва. Сосудистый шов применяется для восстановления магистрального кровотока при лечении...

Трамадол (Маброн, Плазадол, Трамал, Трамалин) Групповая принадлежность · Наркотический анальгетик со смешанным механизмом действия, агонист опиоидных рецепторов...

Studopedia.info - Студопедия - 2014-2024 год . (0.011 сек.) русская версия | украинская версия