Содержание
- 2. Булева алгебра Булевы операции – это конъюнкция ( ), дизъюнкция ( ) и отрицание (¬). Булева
- 3. Основные свойства булевых операций Закон коммутативности Закон ассоциативности
- 4. Закон де Моргана Закон дистрибутивности Основные свойства булевых операций
- 5. Закон исключенного третьего Закон уничтожения кратности Основные свойства булевых операций Закон противоречия
- 6. Закон двойного отрицания Закон поглощения Основные свойства булевых операций
- 7. Свойства констант Основные свойства булевых операций
- 8. Основные эквивалентности Закон простого склеивания Закон расщепления
- 9. Основные эквивалентности Первый закон обобщенного склеивания Второй закон обобщенного склеивания
- 10. Эквивалентность Основные эквивалентности
- 11. Сложение по модулю 2 Основные эквивалентности
- 12. Импликация Основные эквивалентности
- 13. Утверждение о единственности СДНФ логической функции СДНФ любой логической функции единственна с точностью до порядка элементарных
- 14. Теорема о преобразовании равносильных формул друг в друга Пусть и равносильные формулы. Тогда существует последовательность эквивалентных
- 15. Теорема о преобразовании равносильных формул друг в друга Доказательство: Так как формулы и равносильны, то они
- 16. Теорема о преобразовании равносильных формул друг в друга Доказательство: Обратим второе преобразование. Получим последовательность преобразований, переводящих
- 18. Скачать презентацию