Оцените презентацию от 1 до 5 баллов!
Тип файла:
ppt / pptx (powerpoint)
Всего слайдов:
17 слайдов
Для класса:
1,2,3,4,5,6,7,8,9,10,11
Размер файла:
435.50 kB
Просмотров:
56
Скачиваний:
0
Автор:
неизвестен
Слайды и текст к этой презентации:
№1 слайд
№2 слайд
Содержание слайда: Булева алгебра
Булева алгебра
№3 слайд
Содержание слайда: Основные свойства булевых операций
Закон коммутативности
№4 слайд
Содержание слайда: Основные свойства булевых операций
№5 слайд
Содержание слайда: Основные свойства булевых операций
№6 слайд
Содержание слайда: Основные свойства булевых операций
№7 слайд
Содержание слайда: Основные свойства булевых операций
№8 слайд
№9 слайд
№10 слайд
Содержание слайда: Основные эквивалентности
№11 слайд
Содержание слайда: Основные эквивалентности
№12 слайд
Содержание слайда: Основные эквивалентности
№13 слайд
Содержание слайда: Утверждение о единственности СДНФ логической функции
СДНФ любой логической функции единственна с точностью до порядка элементарных конъюнкций и порядка элементов в конъюнкциях.
Единственная логическая функция, не имеющая СДНФ, функция –константа 0.
№14 слайд
Содержание слайда: Теорема о преобразовании равносильных формул друг в друга
Пусть и равносильные формулы.
Тогда существует последовательность эквивалентных преобразований, переводящих одну эквивалентную формулу в другую.
№15 слайд
Содержание слайда: Теорема о преобразовании равносильных формул друг в друга
Доказательство:
Так как формулы и равносильны, то они представляю одну функцию .
У каждой функции единственна СДНФ.
Приведем и к СДНФ.
№16 слайд
Содержание слайда: Теорема о преобразовании равносильных формул друг в друга
Доказательство:
Обратим второе преобразование.
Получим последовательность преобразований, переводящих
в
№17 слайд
Содержание слайда: Теорема о представимости логической функции булевой формулой
Любая логическая функция представима булевой формулой.
Доказательство: У каждой функции существует СДНФ – булева формула. Функция константа 0 может быть выражена булевой формулой вида: