запись суперпозиции логических функций с использованием знаков переменных, скобок и
знаков логических функций (логических вязок):Порядок записи логических связок определяет иерархию, на основании которой расставляются скобки.
Разделы презентаций
- Разное
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Дискретная математика
Содержание
- 1. Дискретная математика
- 2. ДНФ и КНФ. Разложение функции по переменнымФормула
- 3. Расстановка скобокКаждая подформула окружается скобками.Скобки можно не
- 4. Элементарной конъюнкцией называется конъюнкция переменных или их
- 5. Дизъюнктивная форма будет совершенной (СДНФ), если каждая элементарная конъюнкция содержит все наименования переменных.
- 6. Элементарной дизъюнкцией называется дизъюнкция переменных или их
- 7. Конъюнктивная форма будет совершенной (СКНФ), если каждая элементарная дизъюнкция содержит все наименования переменных.
- 8. Разложение функции по переменнымВведем обозначениеЗамечание:
- 9. Разложение функции по переменнымДоказательство:
- 10. Теорема о разложении функции по переменнымВсякая логическая функция может быть разложена по переменным
- 11. Разложение функции по переменнымто есть представлена в виде:
- 12. Разложение функции по переменнымДизъюнкция в правой части
- 13. Разложении по одной переменнойПри m =1 в разложении будет ровно 2 конъюнкции, соединенные дизъюнкцией.
- 14. Пример 1:Разложить по переменной х функцию, заданную формулой.
- 15. Пример 2:Разложить по переменной х функцию, заданную вектор-столбцом
- 16. Разложении по всем переменнымПри m = n
- 17. Правило построения СДНФ из вектор-столбцаФункция задана таблицей1. Выбрать все единичные наборы значений аргументов
- 18. Правило построения СДНФ из вектор-столбца2. Каждому единичному набору сопоставить элементарную конъюнкцию всех переменных
- 19. Правило построения СДНФ из вектор-столбца так
- 20. Правило построения СДНФ из вектор-столбца3. Соединить полученные конъюнкции знаком дизъюнкции
- 21. Скачать презентанцию
ДНФ и КНФ. Разложение функции по переменнымФормула алгебры логики – запись суперпозиции логических функций с использованием знаков переменных, скобок и знаков логических функций (логических вязок):Порядок записи логических связок определяет иерархию, на
Слайды и текст этой презентации
Слайд 2ДНФ и КНФ.
Разложение функции по переменным
Формула алгебры логики –
Слайд 3Расстановка скобок
Каждая подформула окружается скобками.
Скобки можно не ставить, если они
внешние.
Отрицание связывает сильнее всех.
Конъюнкция связывает сильнее остальных
Слайд 4Элементарной конъюнкцией называется конъюнкция переменных или их отрицаний, в которой
каждая переменная встречается не более одного раза.
Дизъюнктивной нормальной формой (ДНФ)
называется дизъюнкция элементарных конъюнкций.
Слайд 5Дизъюнктивная форма будет совершенной (СДНФ), если каждая элементарная конъюнкция содержит
все наименования переменных.
Слайд 6Элементарной дизъюнкцией называется дизъюнкция переменных или их отрицаний, в которой
каждая переменная встречается не более одного раза.
Конъюнктивной нормальной формой (KНФ)
называется конъюнкция элементарных дизъюнкций.
Слайд 7Конъюнктивная форма будет совершенной (СКНФ), если каждая элементарная дизъюнкция содержит
все наименования переменных.
Слайд 10Теорема о разложении функции по переменным
Всякая логическая функция
может быть
разложена по переменным
Слайд 12Разложение функции по переменным
Дизъюнкция в правой части равенства берется по
всем наборам параметров.
Всего частей разложения будет
Рассмотрим разложение
по одной переменной и по всем переменным.
Слайд 13Разложении по одной переменной
При m =1 в разложении будет ровно
2 конъюнкции, соединенные дизъюнкцией.
Слайд 16Разложении по всем переменным
При m = n в разложении будет
ровно столько частей, сколько единичных наборов у функции. Каждая часть
соответствует одному единичному набору:То есть для всех наборов ,
таких что :
Слайд 17Правило построения СДНФ из вектор-столбца
Функция задана таблицей
1. Выбрать все единичные
наборы значений аргументов
Слайд 18Правило построения СДНФ из вектор-столбца
2. Каждому единичному набору сопоставить элементарную
конъюнкцию всех переменных
Слайд 19Правило построения СДНФ из вектор-столбца
так чтобы переменная в
конъюнкции была с отрицанием, если в наборе она равна 0.
Слайд 20Правило построения СДНФ из вектор-столбца
3. Соединить полученные конъюнкции знаком дизъюнкции
