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

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

Работа с информационными средствами Работа с информационными средствами 116
Принцип черного ящика Принцип черного ящика 140
Электроника и наноэлектроника Электроника и наноэлектроника 120
Системы счисления: история, назначение, применение Системы счисления: история, назначение, применение 152
Разновидности компьютерных сетей Разновидности компьютерных сетей 117
Логические операции Логические операции 103
Методы сортировки одномерных массивов Методы сортировки одномерных массивов 162
Рисунок в презентации Рисунок в презентации 162
Хранение информации план-конспект урока по информатике (2 класс) Хранение информации план-конспект урока по информатике (2 класс) 155
Протокол SSH Протокол SSH 172
Занятие по информатике в рамках организации внеурочной занятости Редактирование текста презентация к уроку по информатике (2 класс) Занятие по информатике в рамках организации внеурочной занятости Редактирование текста презентация к уроку по информатике (2 класс) 169
Построение точечной, линейной и полигонной тем Построение точечной, линейной и полигонной тем 141
Опасности е в сети Интернет Опасности е в сети Интернет 216
Презентация по информатике на тему Информационное общество Презентация по информатике на тему Информационное общество 161
Начните работу с нажатия кнопки Пуск Начните работу с нажатия кнопки Пуск 129
Технология разработки программного обеспечения Технология разработки программного обеспечения 130
Сетевые черви. Сетевые черви. 196
Описание научных информационных ресурсов метаданными Дублинского ядра Описание научных информационных ресурсов метаданными Дублинского ядра 146
Создание сайта учителя (электронного портфолио) в программе MS Publisher Создание сайта учителя (электронного портфолио) в программе MS Publisher 159
Презентация по информатике на тему Понятие алгоритма(9 класс) Презентация по информатике на тему Понятие алгоритма(9 класс) 162
Безпечний Інтернет Безпечний Інтернет 100
Эффективная разработка отчётов на платформе .NET Эффективная разработка отчётов на платформе .NET 115
Электронные таблицы Excel Электронные таблицы Excel 111
Возможности Paint Возможности Paint 124
Циклические конструкции Циклические конструкции 122
Алгоритм и его формальное исполнение Алгоритм и его формальное исполнение 170
Основные понятия табличных процессоров и электронных таблиц EXCEL Основные понятия табличных процессоров и электронных таблиц EXCEL 143
Презентация Статистические данные. Метод наименьших квадратов Презентация Статистические данные. Метод наименьших квадратов 148
Презентация по информатике на тему Учимся программировать Презентация по информатике на тему Учимся программировать 153
Презентация по информатике Сравнение двух ОС windows и Linux Презентация по информатике Сравнение двух ОС windows и Linux 191