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

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

СДНФ и СКНФ

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



Шрифт зодчего Шрифт зодчего состоит из прописных (заглавных), строчных букв и цифр...

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

Практические расчеты на срез и смятие При изучении темы обратите внимание на основные расчетные предпосылки и условности расчета...

Функция спроса населения на данный товар Функция спроса населения на данный товар: Qd=7-Р. Функция предложения: Qs= -5+2Р,где...

Шов первичный, первично отсроченный, вторичный (показания) В зависимости от времени и условий наложения выделяют швы: 1) первичные...

Предпосылки, условия и движущие силы психического развития Предпосылки –это факторы. Факторы психического развития –это ведущие детерминанты развития чел. К ним относят: среду...

Анализ микросреды предприятия Анализ микросреды направлен на анализ состояния тех со­ставляющих внешней среды, с которыми предприятие нахо­дится в непосредственном взаимодействии...

Классификация ИС по признаку структурированности задач Так как основное назначение ИС – автоматизировать информационные процессы для решения определенных задач, то одна из основных классификаций – это классификация ИС по степени структурированности задач...

Внешняя политика России 1894- 1917 гг. Внешнюю политику Николая II и первый период его царствования определяли, по меньшей мере три важных фактора...

Оценка качества Анализ документации. Имеющийся рецепт, паспорт письменного контроля и номер лекарственной формы соответствуют друг другу. Ингредиенты совместимы, расчеты сделаны верно, паспорт письменного контроля выписан верно. Правильность упаковки и оформления....

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