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

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

СДНФ и СКНФ


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




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


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


ТЕОРЕТИЧЕСКАЯ МЕХАНИКА Статика является частью теоретической механики, изучающей условия, при ко­торых тело находится под действием заданной системы сил...


Теория усилителей. Схема Основная масса современных аналоговых и аналого-цифровых электронных устройств выполняется на специализированных микросхемах...

Методы анализа финансово-хозяйственной деятельности предприятия   Содержанием анализа финансово-хозяйственной деятельности предприятия является глубокое и всестороннее изучение экономической информации о функционировании анализируемого субъекта хозяйствования с целью принятия оптимальных управленческих...

Образование соседних чисел Фрагмент: Программная задача: показать образование числа 4 и числа 3 друг из друга...

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

Условия приобретения статуса индивидуального предпринимателя. В соответствии с п. 1 ст. 23 ГК РФ гражданин вправе заниматься предпринимательской деятельностью без образования юридического лица с момента государственной регистрации в качестве индивидуального предпринимателя. Каковы же условия такой регистрации и...

Седалищно-прямокишечная ямка Седалищно-прямокишечная (анальная) ямка, fossa ischiorectalis (ischioanalis) – это парное углубление в области промежности, находящееся по бокам от конечного отдела прямой кишки и седалищных бугров, заполненное жировой клетчаткой, сосудами, нервами и...

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

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