348313
столько раз учителя, ученики и родители
посетили сайт «Инфоурок»
за прошедшие 24 часа
+Добавить материал
и получить бесплатное
свидетельство о публикации
в СМИ №ФС77-60625 от 20.01.2015
Дистанционные курсы профессиональной переподготовки и повышения квалификации для педагогов

Дистанционные курсы для педагогов - курсы профессиональной переподготовки от 6.900 руб.;
- курсы повышения квалификации от 1.500 руб.
Престижные документы для аттестации

ВЫБРАТЬ КУРС СО СКИДКОЙ 50%

ВНИМАНИЕ: Скидка действует ТОЛЬКО сейчас!

(Лицензия на осуществление образовательной деятельности № 5201 выдана ООО "Инфоурок")

ИнфоурокИнформатикаПрезентацииПрезентация Построение СДНФ, СКНФ

Презентация Построение СДНФ, СКНФ

библиотека
материалов
Элементы математической логики ТЕМА ЗАНЯТИЯ: Б У Л Е В Ы Ф У Н К Ц И И. Сове...
устный опрос: 1. Дать определение ИНВЕРСИИ 2. Дать определение КОНЪЮНКЦИИ 3....
Построение таблицы истинности булевой функции для заданной формулы Если х – л...
Построение таблицы истинности булевой функции для заданной формулы Элементарн...
правило вывода СДНФ Пусть x1,x2, …, хn – набор переменных, (,.., n )– н...
правило вывода СДНФ
правило вывода СДНФ Совершенной дизъюнктивной нормальной формой (СДНФ) называ...
правило вывода СДНФ Алгоритм построения СДНФ: Выберем наборы значений перемен...
правило вывода СКНФ Алгоритм построения СКНФ: Выберем наборы значений перемен...
правило вывода СДНФ
правило вывода СДНФ
правило вывода СДНФ
правило вывода СДНФ
правило вывода СКНФ
правило вывода СКНФ
правило вывода СКНФ
правило вывода СКНФ
Построение таблицы истинности булевой функции для заданной формулы
правило вывода СДНФ
правило вывода СДНФ Алгоритм построения СДНФ: Выберем наборы значений перемен...
правило вывода СКНФ Алгоритм построения СКНФ: Выберем наборы значений перемен...
Практическая часть Составить СДНФ функции, заданной таблицы истинности Состав...

Описание презентации по отдельным слайдам:

1 слайд Элементы математической логики ТЕМА ЗАНЯТИЯ: Б У Л Е В Ы Ф У Н К Ц И И. Сове
Описание слайда:

Элементы математической логики ТЕМА ЗАНЯТИЯ: Б У Л Е В Ы Ф У Н К Ц И И. Совершенная дизъюнктивная нормальная форма (СДНФ). Совершенная конъюнктивная нормальная форма (СКНФ). ЦЕЛЬ ЗАНЯТИЯ: НАУЧИТЬСЯ Приводить высказывание к СДНФ и СКНФ

2 слайд устный опрос: 1. Дать определение ИНВЕРСИИ 2. Дать определение КОНЪЮНКЦИИ 3.
Описание слайда:

устный опрос: 1. Дать определение ИНВЕРСИИ 2. Дать определение КОНЪЮНКЦИИ 3. Дать определение ДИЗЪЮНКЦИИ 4. Дать определение ИМПЛИКАЦИИ 5. Дать определение ЭКВИВАЛЕНЦИИ 6. Дать определение СУММЫ по модулю два

3 слайд Построение таблицы истинности булевой функции для заданной формулы Если х – л
Описание слайда:

Построение таблицы истинности булевой функции для заданной формулы Если х – логическая переменная, {0, 1} – её значение в некотором наборе, то выражение называется литерой. Элементарной конъюнкцией называется конъюнкция попарно различных литер. Пример 1: Имеется булева функция f(x1, x2, x3, x4) тогда элементарными конъюнкциями будут: и так далее.

4 слайд Построение таблицы истинности булевой функции для заданной формулы Элементарн
Описание слайда:

Построение таблицы истинности булевой функции для заданной формулы Элементарной дизъюнкцией называется дизъюнкция попарно различных литер. Пример 2: Имеется булева функция f(x1, x2, x3, x4) тогда элементарными конъюнкциями будут: и так далее Замечание: в элементарную конъюнкцию (или дизъюнкцию) не обязаны входить все переменные!

5 слайд правило вывода СДНФ Пусть x1,x2, …, хn – набор переменных, (,.., n )– н
Описание слайда:

правило вывода СДНФ Пусть x1,x2, …, хn – набор переменных, (,.., n )– набор значений переменных. Конституентой единицы набора (,.., n ) называется элементарная конъюнкция вида К1(,.., n) = Конституентой нуля набора (,.., n ) называется элементарная дизъюнкция вида К0(,.., n) = Замечание: обязательно входят все переменные!

6 слайд правило вывода СДНФ
Описание слайда:

правило вывода СДНФ

7 слайд правило вывода СДНФ Совершенной дизъюнктивной нормальной формой (СДНФ) называ
Описание слайда:

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

8 слайд правило вывода СДНФ Алгоритм построения СДНФ: Выберем наборы значений перемен
Описание слайда:

правило вывода СДНФ Алгоритм построения СДНФ: Выберем наборы значений переменных, на которых значение функции равно единице. (f=1); Для каждого такого набора построим Конституенту единицы (отрицание входного нуля); Соединим конституенты единицы знаком дизъюнкции; При необходимости упростить.

9 слайд правило вывода СКНФ Алгоритм построения СКНФ: Выберем наборы значений перемен
Описание слайда:

правило вывода СКНФ Алгоритм построения СКНФ: Выберем наборы значений переменных, на которых значение функции равно нулю. (f=0); Для каждого такого набора построим Конституенту нуля (отрицание входной единицы); Соединим конституенты нуля знаком конъюнкции; При необходимости упростить.

10 слайд правило вывода СДНФ
Описание слайда:

правило вывода СДНФ

11 слайд правило вывода СДНФ
Описание слайда:

правило вывода СДНФ

12 слайд правило вывода СДНФ
Описание слайда:

правило вывода СДНФ

13 слайд правило вывода СДНФ
Описание слайда:

правило вывода СДНФ

14 слайд правило вывода СКНФ
Описание слайда:

правило вывода СКНФ

15 слайд правило вывода СКНФ
Описание слайда:

правило вывода СКНФ

16 слайд правило вывода СКНФ
Описание слайда:

правило вывода СКНФ

17 слайд правило вывода СКНФ
Описание слайда:

правило вывода СКНФ

18 слайд Построение таблицы истинности булевой функции для заданной формулы
Описание слайда:

Построение таблицы истинности булевой функции для заданной формулы

19 слайд правило вывода СДНФ
Описание слайда:

правило вывода СДНФ

20 слайд правило вывода СДНФ Алгоритм построения СДНФ: Выберем наборы значений перемен
Описание слайда:

правило вывода СДНФ Алгоритм построения СДНФ: Выберем наборы значений переменных, на которых значение функции равно единице. (f=1); Для каждого такого набора построим отрицание входного нуля; Соединим наборы единицы знаком дизъюнкции; При необходимости упростить.

21 слайд правило вывода СКНФ Алгоритм построения СКНФ: Выберем наборы значений перемен
Описание слайда:

правило вывода СКНФ Алгоритм построения СКНФ: Выберем наборы значений переменных, на которых значение функции равно нулю. (f=0); Для каждого такого набора построим отрицание входной единицы; Соединим наборы нуля знаком конъюнкции; При необходимости упростить.

22 слайд Практическая часть Составить СДНФ функции, заданной таблицы истинности Состав
Описание слайда:

Практическая часть Составить СДНФ функции, заданной таблицы истинности Составить СКНФ функции, заданной таблицей истинности для задания 1 Составить таблицу истинности формулы высказываний Составить СДНФ функции, заданной таблицей истинности (задание 3) Составить СКНФ функции, заданной таблицей истинности (задание 3)

Общая информация

Номер материала: ДБ-043191

Вам будут интересны эти курсы:

Курс повышения квалификации «Табличный процессор MS Excel в профессиональной деятельности учителя математики»
Курс повышения квалификации «Информационные технологии в деятельности учителя физики»
Курс повышения квалификации «Методика преподавания информатики в начальных классах»
Курс повышения квалификации «Основы создания интерактивного урока: от презентации до видеоурока»
Курс повышения квалификации «Облачные технологии в образовании»
Курс «Оператор персонального компьютера»
Курс «WEB-ВЕРСТКА (HTML, CSS)»
Курс повышения квалификации «Сетевые и дистанционные (электронные) формы обучения в условиях реализации ФГОС по ТОП-50»
Курс повышения квалификации «Развитие информационно-коммуникационных компетенций учителя в процессе внедрения ФГОС: работа в Московской электронной школе»
Курс профессиональной переподготовки «Информационные технологии в профессиональной деятельности: теория и методика преподавания в образовательной организации»
Курс повышения квалификации «Применение MS Word, Excel в финансовых расчетах»
Курс повышения квалификации «Введение в программирование на языке С (СИ)»
Курс повышения квалификации «Современные тенденции цифровизации образования»
Курс повышения квалификации «Специфика преподавания дисциплины «Информационные технологии» в условиях реализации ФГОС СПО по ТОП-50»
Курс повышения квалификации «Современные языки программирования интегрированной оболочки Microsoft Visual Studio C# NET., C++. NET, VB.NET. с использованием структурного и объектно-ориентированного методов разработки корпоративных систем»

Благодарность за вклад в развитие крупнейшей онлайн-библиотеки методических разработок для учителей

Опубликуйте минимум 3 материала, чтобы БЕСПЛАТНО получить и скачать данную благодарность

Сертификат о создании сайта

Добавьте минимум пять материалов, чтобы получить сертификат о создании сайта

Грамота за использование ИКТ в работе педагога

Опубликуйте минимум 10 материалов, чтобы БЕСПЛАТНО получить и скачать данную грамоту

Свидетельство о представлении обобщённого педагогического опыта на Всероссийском уровне

Опубликуйте минимум 15 материалов, чтобы БЕСПЛАТНО получить и скачать данное cвидетельство

Грамота за высокий профессионализм, проявленный в процессе создания и развития собственного учительского сайта в рамках проекта "Инфоурок"

Опубликуйте минимум 20 материалов, чтобы БЕСПЛАТНО получить и скачать данную грамоту

Грамота за активное участие в работе над повышением качества образования совместно с проектом "Инфоурок"

Опубликуйте минимум 25 материалов, чтобы БЕСПЛАТНО получить и скачать данную грамоту

Почётная грамота за научно-просветительскую и образовательную деятельность в рамках проекта "Инфоурок"

Опубликуйте минимум 40 материалов, чтобы БЕСПЛАТНО получить и скачать данную почётную грамоту

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