Булева алгебра. ДМ 3 - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Булева алгебра. ДМ 3. Доклад-сообщение содержит 17 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Слайд 2

Описание слайда:

Булева алгебра Булева алгебра

Слайд 3

Описание слайда:

Основные свойства булевых операций Закон коммутативности

Слайд 4

Описание слайда:

Основные свойства булевых операций

Слайд 5

Описание слайда:

Основные свойства булевых операций

Слайд 6

Описание слайда:

Основные свойства булевых операций

Слайд 7

Описание слайда:

Основные свойства булевых операций

Слайд 8

Описание слайда:

Слайд 9

Описание слайда:

Слайд 10

Описание слайда:

Основные эквивалентности

Слайд 11

Описание слайда:

Основные эквивалентности

Слайд 12

Описание слайда:

Основные эквивалентности

Слайд 13

Описание слайда:

Утверждение о единственности СДНФ логической функции СДНФ любой логической функции единственна с точностью до порядка элементарных конъюнкций и порядка элементов в конъюнкциях. Единственная логическая функция, не имеющая СДНФ, функция –константа 0.

Слайд 14

Описание слайда:

Теорема о преобразовании равносильных формул друг в друга Пусть и равносильные формулы. Тогда существует последовательность эквивалентных преобразований, переводящих одну эквивалентную формулу в другую.

Слайд 15

Описание слайда:

Теорема о преобразовании равносильных формул друг в друга Доказательство: Так как формулы и равносильны, то они представляю одну функцию . У каждой функции единственна СДНФ. Приведем и к СДНФ.

Слайд 16

Описание слайда:

Теорема о преобразовании равносильных формул друг в друга Доказательство: Обратим второе преобразование. Получим последовательность преобразований, переводящих в

Слайд 17

Описание слайда:

Теорема о представимости логической функции булевой формулой Любая логическая функция представима булевой формулой. Доказательство: У каждой функции существует СДНФ – булева формула. Функция константа 0 может быть выражена булевой формулой вида: