Рабочие листы
к вашим урокам
Скачать
1 слайд
Булева алгебра
2 слайд
Формула, полученная в результате преобразований и содержащая только операции конъюнкции, дизъюнкции и отрицания, называется булевой формулой.
Буль - американский математик; заложил основы алгебры двоичных чисел.
3 слайд
Среди булевых формул выделяют 4 специальных вида:
Дизъюнктивная нормальная форма (ДНФ);
Совершенная дизъюнктивная нормальная форма (СДНФ);
Конъюнктивная нормальная форма (КНФ);
Совершенная конъюнктивная нормальная форма (СКНФ);
4 слайд
Конъюнктивным одночленом от переменных называется конъюнкция этих переменных или их отрицаний, обозначается Кi .
Дизъюнктивным одночленом от переменных называется дизъюнкция этих переменных или их отрицаний, обозначается Di .
Понятия нормальных форм
5 слайд
Дизъюнктивной нормальной формой (ДНФ) называется дизъюнкция конъюнктивных одночленов т.е. К1˅К2˅К3˅… ˅Кр;
Конъюнктивной нормальной формой (КНФ) называется конъюнкция дизъюнктивных одночленов т.е. D1˄D2 ˄D3˄… ˄Dn;
6 слайд
Одночлен (дизъюнктивный или конъюнктивный) от переменных Х1, Х2, …, Хn называется совершенным, если в него от каждой пары Хi, ¬Xi входит ровно одна буква.
Нормальная форма (дизъюнктивная или конъюнктивная) от переменных Х1, Х2, …, Хn называется совершенной, если в неё входят только совершенные одночлены (конъюнктивные или дизъюнктивные соответственно) от Х1, Х2, …, Хn .Обозначаются СДНФ или СКНФ.
7 слайд
Алгебра (Σ, ᶺ, V, ͞ ), основным множеством которой является все множество логических функций Σ, а операциями – дизъюнкция, конъюнкция и отрицание, называется булевой алгеброй логических функций.
Операции булевой алгебры называются булевыми операциями.
Булева алгебра.
8 слайд
Ассоциативный (сочетательный)
Коммутативный (переместительный)
Дистрибутивный (распределительный)
Законы булевых операций.
9 слайд
Идемпотентности
Двойного отрицания
Поглощения
Противоречия
10 слайд
Исключения третьего
Силлогизма (дедуктивного заключения)
Де Моргана
Рабочие листы
к вашим урокам
Скачать
Презентация по предмету Элементы математической логики "Булева алгебра" разработана на основе Федерального государственного образовательного стандарта по специальности среднего профессионального образования 230115 Программирование в компьютерных системах. Ознакомление обучающихся с важнейшими разделами математической логики для применения полученных знаний в решении практических задач, повышение уровня математической культуры, развития логичности и конструктивности мышления. Формирование систематизированных знаний в области математической логики, представлений о проблемах оснований математики и роли математической логики в их решении. Можно применять при изучении нового материала, при подготовке к занятиям и при самоподготовке.
6 662 993 материала в базе
Настоящий материал опубликован пользователем Толоконников Александр Владимирович. Инфоурок является информационным посредником и предоставляет пользователям возможность размещать на сайте методические материалы. Всю ответственность за опубликованные материалы, содержащиеся в них сведения, а также за соблюдение авторских прав несут пользователи, загрузившие материал на сайт
Если Вы считаете, что материал нарушает авторские права либо по каким-то другим причинам должен быть удален с сайта, Вы можете оставить жалобу на материал.
Удалить материал
Ваша скидка на курсы
40%
Курс повышения квалификации
36 ч. — 180 ч.
Курс повышения квалификации
36 ч. — 144 ч.
Курс профессиональной переподготовки
300 ч. — 1200 ч.
Мини-курс
4 ч.
Оставьте свой комментарий
Авторизуйтесь, чтобы задавать вопросы.