Дизъюнктивная и коньюктивная нормальные формы
Билет №1 Логические функции. Таблица истинности. В русском языке сложные предложения получаются путем соединения простых предложений с помощью союзов а, но, если .. то, тогда и только тогда, когда, или, и, аналогично в алгебре логики простые высказывания соединяются в сложные с помощью так называемых логических связок. Если простое высказывание является истинным, то оно принимает значение логической переменной 1, иначе 0. Основными операциями являются: - Отрицание (не) - Дизъюнкция (логическое сложение, v) - Конъюнкция (логическое умножение,^) - Импликация ( → ) - Эквиваленция (↔) Отрицанием или инверсией высказывания А называется высказывание Дизъюнкцией высказываний А и В называется высказывание АvВ, которое истинно тогда и только тогда, когда истинно хотя бы одно из высказываний. Конъюнкцией высказывания А и В называется высказывание А^В, которое истинно тогда и только тогда, когда истины оба высказывания. Импликацией высказываний А и В является высказывание А→В, которое ложно тогда и только тогда, когда из истины следует ложь. Эквиваленцией высказывания А и В называется высказывание А↔В, которое истинно тогда и только тогда, когда либо истинно либо ложно одновременно оба высказывания.
Билет №2 Дизъюнктивная и коньюктивная нормальные формы. Литерой - называется элемент высказывания x или её отрицание. Элементарной дизъюнкцией называется выражение следующего вида:
где Элементарной конъюнкцией называется выражение следующего вида:
Дизъюнктивной нормальной формой (ДНФ) формулы
где
Конъюнктивной нормальной формой (КНФ) формулы
где Любую формулу можно представить в виде ДНФ или КНФ. Совершеннойдизъюнктивной нормальной формой(СДНФ) формулы 1. Все элементарные конъюнкции, входящие в ДНФ 2. Все элементарные конъюнкции, входящие в ДНФ 3. Каждая элементарная конъюнкция, входящая в ДНФ 4. Каждая элементарная конъюнкция, входящая в ДНФ Совершеннойконъюнктивной нормальной формой(СКНФ) формулы 1. Все элементарные дизъюнкции, входящие в КНФ 2. Все элементарные дизъюнкции, входящие в КНФ 3. Каждая элементарная дизъюнкция, входящая в КНФ 4. Каждая элементарная дизъюнкция, входящая в КНФ Билет №3
Популярное: Личность ребенка как объект и субъект в образовательной технологии: В настоящее время в России идет становление новой системы образования, ориентированного на вхождение... Как выбрать специалиста по управлению гостиницей: Понятно, что управление гостиницей невозможно без специальных знаний. Соответственно, важна квалификация... Как вы ведете себя при стрессе?: Вы можете самостоятельно управлять стрессом! Каждый из нас имеет право и возможность уменьшить его воздействие на нас... ![]() ©2015-2024 megaobuchalka.ru Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. (723)
|
Почему 1285321 студент выбрали МегаОбучалку... Система поиска информации Мобильная версия сайта Удобная навигация Нет шокирующей рекламы |