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

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

СДНФ и СКНФ


ООО "ПОМАТУР" 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; просмотров: 402. Нарушение авторских прав; Мы поможем в написании вашей работы!




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


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


Композиция из абстрактных геометрических фигур Данная композиция состоит из линий, штриховки, абстрактных геометрических форм...


Важнейшие способы обработки и анализа рядов динамики Не во всех случаях эмпирические данные рядов динамики позволяют определить тенденцию изменения явления во времени...

Типовые ситуационные задачи. Задача 1. Больной К., 38 лет, шахтер по профессии, во время планового медицинского осмотра предъявил жалобы на появление одышки при значительной физической   Задача 1. Больной К., 38 лет, шахтер по профессии, во время планового медицинского осмотра предъявил жалобы на появление одышки при значительной физической нагрузке. Из медицинской книжки установлено, что он страдает врожденным пороком сердца....

Типовые ситуационные задачи. Задача 1.У больного А., 20 лет, с детства отмечается повышенное АД, уровень которого в настоящее время составляет 180-200/110-120 мм рт Задача 1.У больного А., 20 лет, с детства отмечается повышенное АД, уровень которого в настоящее время составляет 180-200/110-120 мм рт. ст. Влияние психоэмоциональных факторов отсутствует. Колебаний АД практически нет. Головной боли нет. Нормализовать...

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

Принципы резекции желудка по типу Бильрот 1, Бильрот 2; операция Гофмейстера-Финстерера. Гастрэктомия Резекция желудка – удаление части желудка: а) дистальная – удаляют 2/3 желудка б) проксимальная – удаляют 95% желудка. Показания...

Ваготомия. Дренирующие операции Ваготомия – денервация зон желудка, секретирующих соляную кислоту, путем пересечения блуждающих нервов или их ветвей...

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

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