Что такое findslide.org?

FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.

Для правообладателей

Обратная связь

Email: Нажмите что бы посмотреть 

Яндекс.Метрика

Презентация на тему Совершенные конъюнктивные и дизъюнктивные нормальные формы

Содержание

Простой конъюнкцией называется конъюнкция одной или нескольких переменных, при этом каждая переменная встречается не более одного раза (либо сама, либо ее инверсия)Пример x^y^¬z
Совершенные конъюктивные и дизъюнктивные нормальные формы Простой конъюнкцией называется конъюнкция одной или нескольких переменных, при этом каждая переменная Дизъюнктивной нормальной формой (ДНФ) называется дизъюнкция простых конъюнкцийПример: XYv¬Z, ABCv¬(BC) Совершенной дизъюнктивной нормальной формой (СДНФ) называется ДНФ функции f(х1, х2, …,хn) от От всякой ДНФ легко перейти к СДНФПример. Х=Аv¬A^BПрименим закон исключения третьего (Вv¬В)=1X= Простой дизъюнкцией называется дизъюнкция одной или нескольких переменных, при этом каждая переменная Конъюнктивной нормальной формой (КНФ) называется конъюнкция простых дизъюнкцийПример. (¬AvB)C Совершенной конъюнктивной нормальной формой (СКНФ) называется КНФ функции f(х1, х2, …,хn) от Каждая функция имеет единственную СДНФ (СКНФ) Правило выполнения минимизации формулы с использованием СДНФ (СКНФ)а) записать исходную формулу посредством Алгоритм получения СДНФОтметить в таблице истинности исходной функции строки, в которых результат Пример. Найти СДНФ для функции F(A,B,C)=(A→B)→¬CРешение:Ответ:СДНФ(F)=¬A¬B¬C v ¬AvBv¬C v A¬B¬C v A¬BC v AB¬C Алгоритм получения СКНФОтметить в таблице истинности исходной функции строки, в которых результат СКНФ(F)=(AvBv¬C)(Av¬Bv¬C)(¬Av¬Bv¬C) Найти формулу для логической функции, которая дает 1, когда исходные состояния A Значение для 2 и 3 строк равно 1.Запишем конъюнкции входных данных¬A^B, A^¬B. Соединим их дизъюнкцией (¬A^B)v(A^¬B) По заданной таблице истинности составьте логическую функцию По заданной таблице истинности получите СДНФ логической функции, упростите ее. Правильность проверьте сравнением таблиц истинности Постройте СДНФ и СКНФ для функций:a) ¬(¬A→B)→Cб) ABv¬A¬B
Слайды презентации

Слайд 2 Простой конъюнкцией называется конъюнкция одной или нескольких переменных,

Простой конъюнкцией называется конъюнкция одной или нескольких переменных, при этом каждая

при этом каждая переменная встречается не более одного раза

(либо сама, либо ее инверсия)

Пример x^y^¬z

Слайд 3 Дизъюнктивной нормальной формой (ДНФ) называется дизъюнкция простых конъюнкций
Пример:

Дизъюнктивной нормальной формой (ДНФ) называется дизъюнкция простых конъюнкцийПример: XYv¬Z, ABCv¬(BC)

XYv¬Z, ABCv¬(BC)

Слайд 4 Совершенной дизъюнктивной нормальной формой (СДНФ) называется ДНФ функции

Совершенной дизъюнктивной нормальной формой (СДНФ) называется ДНФ функции f(х1, х2, …,хn)

f(х1, х2, …,хn) от n переменных, в каждой своей

конъюнкции содержащей все n переменных либо их инверсии

Пример: f (A, B, C)=ABC v A¬(BC) v ¬AB¬C

Слайд 5 От всякой ДНФ легко перейти к СДНФ
Пример. Х=Аv¬A^B
Применим

От всякой ДНФ легко перейти к СДНФПример. Х=Аv¬A^BПрименим закон исключения третьего

закон исключения третьего (Вv¬В)=1
X= Av¬A^B = A(Bv¬B)v¬AB = ABvA^¬Bv¬AB

Слайд 6 Простой дизъюнкцией называется дизъюнкция одной или нескольких переменных,

Простой дизъюнкцией называется дизъюнкция одной или нескольких переменных, при этом каждая

при этом каждая переменная входит не более одного раза

(либо сама, либо ее инверсия)

Пример. Xv¬YvZ

Слайд 7
Конъюнктивной нормальной формой (КНФ) называется конъюнкция простых дизъюнкций
Пример.

Конъюнктивной нормальной формой (КНФ) называется конъюнкция простых дизъюнкцийПример. (¬AvB)C

(¬AvB)C

Слайд 8 Совершенной конъюнктивной
нормальной формой (СКНФ)
называется КНФ функции

Совершенной конъюнктивной нормальной формой (СКНФ) называется КНФ функции f(х1, х2, …,хn)

f(х1, х2, …,хn) от n переменных,
в каждой своей

дизъюнкции
содержащей все n переменных
либо их инверсии

Пример. f(A,B,C)=(AvBvC)(¬AvBvC)(Av¬Bv¬C)

Слайд 9 Каждая функция имеет единственную СДНФ (СКНФ)

Каждая функция имеет единственную СДНФ (СКНФ)

Слайд 10 Правило выполнения минимизации формулы с использованием СДНФ (СКНФ)

а)

Правило выполнения минимизации формулы с использованием СДНФ (СКНФ)а) записать исходную формулу

записать исходную формулу посредством таблиц истинности в СДНФ (СКНФ)
б)

упростить СДНФ (СКНФ) по законам алгебры логики

Слайд 11 Алгоритм получения СДНФ
Отметить в таблице истинности исходной функции

Алгоритм получения СДНФОтметить в таблице истинности исходной функции строки, в которых

строки, в которых результат равен 1
Для выбранных строк соединить

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

Слайд 12 Пример. Найти СДНФ для функции F(A,B,C)=(A→B)→¬C
Решение:

Ответ:
СДНФ(F)=¬A¬B¬C v ¬AvBv¬C

Пример. Найти СДНФ для функции F(A,B,C)=(A→B)→¬CРешение:Ответ:СДНФ(F)=¬A¬B¬C v ¬AvBv¬C v A¬B¬C v A¬BC v AB¬C

v A¬B¬C v A¬BC v AB¬C

Слайд 13 Алгоритм получения СКНФ
Отметить в таблице истинности исходной функции

Алгоритм получения СКНФОтметить в таблице истинности исходной функции строки, в которых

строки, в которых результат равен 0
Для выбранных строк соединить

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

Слайд 14 СКНФ(F)=(AvBv¬C)(Av¬Bv¬C)(¬Av¬Bv¬C)

СКНФ(F)=(AvBv¬C)(Av¬Bv¬C)(¬Av¬Bv¬C)

Слайд 15 Найти формулу для логической функции, которая дает 1,

Найти формулу для логической функции, которая дает 1, когда исходные состояния

когда исходные состояния A и B различны, и 0

когда они совпадают

Решение:

Слайд 16 Значение для 2 и 3 строк равно 1.
Запишем

Значение для 2 и 3 строк равно 1.Запишем конъюнкции входных данных¬A^B, A^¬B. Соединим их дизъюнкцией (¬A^B)v(A^¬B)

конъюнкции входных данных
¬A^B, A^¬B.
Соединим их дизъюнкцией (¬A^B)v(A^¬B)

Слайд 17 По заданной таблице истинности составьте логическую функцию

По заданной таблице истинности составьте логическую функцию

Слайд 18 По заданной таблице истинности получите СДНФ логической функции,

По заданной таблице истинности получите СДНФ логической функции, упростите ее. Правильность проверьте сравнением таблиц истинности

упростите ее. Правильность проверьте сравнением таблиц истинности

  • Имя файла: sovershennye-konyunktivnye-i-dizyunktivnye-normalnye-formy.pptx
  • Количество просмотров: 141
  • Количество скачиваний: 0
- Предыдущая Караевское сельское поселение. Золотые руки мастера по бисероплетению
Следующая - Фиброгастродуоденоскопия

Похожие презентации

Устройство компьютера Устройство компьютера 115
Безопасная работа в социальных сетях Безопасная работа в социальных сетях 134
Технические средства обучения истории Технические средства обучения истории 130
Свойства объекта Свойства объекта 112
Урок 3. Выполнение алгоритма. Линейный алгоритм Урок 3. Выполнение алгоритма. Линейный алгоритм 188
Информатика. История развития информатики Информатика. История развития информатики 142
Презентация к уроку информатики во 2 классе Отбор полезной информации Презентация к уроку информатики во 2 классе Отбор полезной информации 162
Разработка и администрирование баз данных. Специальная одежда Разработка и администрирование баз данных. Специальная одежда 110
Сертифицированные курсы 1С Центр обработки данных Сертифицированные курсы 1С Центр обработки данных 146
Представление чисел в компьютере Представление чисел в компьютере 123
Создание искусственного интеллекта Создание искусственного интеллекта 144
Команда алгоритма Команда алгоритма 112
Текстовый процесор Microsoft Word Текстовый процесор Microsoft Word 98
История развития ЭВМ История развития ЭВМ 114
Алгоритм и его свойства. Понятие алгоритма и исполнителя. Свойства алгоритма Алгоритм и его свойства. Понятие алгоритма и исполнителя. Свойства алгоритма 187
Внеклассное мероприятие в 3 - 4 классах - Путешествие в Компьюрландию методическая разработка по информатике (3 класс) по теме Внеклассное мероприятие в 3 - 4 классах - Путешествие в Компьюрландию методическая разработка по информатике (3 класс) по теме 130
Рисование орнамента в графическом редакторе Рисование орнамента в графическом редакторе 117
Презентация Алгоритм. Свойства алгоритмов. Виды алгоритмов. Формы записи алгоритмов Презентация Алгоритм. Свойства алгоритмов. Виды алгоритмов. Формы записи алгоритмов 139
Открытый урок на тему Модельллар вә уларниң түрлири Открытый урок на тему Модельллар вә уларниң түрлири 182
Структурирование данных. Типы структур Структурирование данных. Типы структур 137
Адресация в интернет Адресация в интернет 93
Информатика в школе Информатика в школе 204
Подготовка к ЕГЭ информатика. Урок №7 Разбор задания №13 Подготовка к ЕГЭ информатика. Урок №7 Разбор задания №13 151
Архитектур ПК - 11 клвасс Архитектур ПК - 11 клвасс 134
Компьютерные сети Локальная сеть Компьютерные сети Локальная сеть 147
История ЭВМ История ЭВМ 135
Операционная система Windows Операционная система Windows 137
Суперкомпьютеры и их архитектура Суперкомпьютеры и их архитектура 216
Activity diagram в контексте языка UML Activity diagram в контексте языка UML 116
Работа с файлами в Си-шарп Работа с файлами в Си-шарп 148