Что такое 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
  • Количество просмотров: 121
  • Количество скачиваний: 0
- Предыдущая Караевское сельское поселение. Золотые руки мастера по бисероплетению
Следующая - Фиброгастродуоденоскопия

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

Моделирование, формализация, визуализация презентация по информатике 9 класс Моделирование, формализация, визуализация презентация по информатике 9 класс 127
Программное обеспечение дистанционного образования Программное обеспечение дистанционного образования 96
Безопасная работа в социальных сетях: общение, публикация материалов Безопасная работа в социальных сетях: общение, публикация материалов 100
Презентация к уроку информатики: Устройство компьютера Презентация к уроку информатики: Устройство компьютера 114
История развития ЭВМ История развития ЭВМ 132
Тема: Создание флеш-ролика на PowerPoint Тема: Создание флеш-ролика на PowerPoint 121
Уроки программирования C++. Урок 10. Перечисления, исключения. Уроки программирования C++. Урок 10. Перечисления, исключения. 138
История создания ЭВМ История создания ЭВМ 98
Презентация к уроку систематизации знаний по теме Человек и знания Презентация к уроку систематизации знаний по теме Человек и знания 125
Информационное общество. Защита информации Информационное общество. Защита информации 126
Использование возможностей программы Microsoft Word Использование возможностей программы Microsoft Word 170
Текстовый редактор Текстовый редактор 77
Структура компьютерных сетей Структура компьютерных сетей 121
Презентация Этапы работы с информацией. Устройства Презентация Этапы работы с информацией. Устройства 135
Правовые и эстетические аспекты пользования интернетом. Правовые и эстетические аспекты пользования интернетом. 130
Графический редактор GIMP Графический редактор GIMP 149
Основы алгоритмизации Основы алгоритмизации 101
Кодирование текстовой, графической и звуковой информации Кодирование текстовой, графической и звуковой информации 138
Презентация по теме: Интерфейс графических редакторов(9 класс) Презентация по теме: Интерфейс графических редакторов(9 класс) 155
Подготовка и переподготовка ИТ-специалистов на базе центров образования и разработок в сфере информационных технологий Подготовка и переподготовка ИТ-специалистов на базе центров образования и разработок в сфере информационных технологий 153
Практическая работа №4 по информатике на тему Компас Практическая работа №4 по информатике на тему Компас 132
Представление об объектах окружающего мира Представление об объектах окружающего мира 81
Обучение информатике Обучение информатике 138
Компьютерные машины Компьютерные машины 107
Презентация Техника безопасности в кабинете информатика Презентация Техника безопасности в кабинете информатика 148
Абстрактный автомат. Описание автомата Абстрактный автомат. Описание автомата 110
Создание отчета как объекта базы данных Создание отчета как объекта базы данных 134
Технологии разработки программного обеспечения (ПО). Традиционные технологии разработки ПО Технологии разработки программного обеспечения (ПО). Традиционные технологии разработки ПО 115
Компьютер – универсальное устройство обработки информации Компьютер – универсальное устройство обработки информации 123
Анимация Анимация 104