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