Содержание
- 2. Вопрос 1. Введение в алгебру логики Двоичное кодирование – все виды информации кодируются с помощью 0
- 3. Алгебра логики (булева алгебра) - раздел математики, изучающий методы оперирования логическими (булевыми) переменными, принимающими только два
- 4. Булева алгебра применяется в компьютерной технике. Здесь значок 0 означает одно напряжение между контактами схемы (скажем,
- 5. Второй вариант применения булевой алгебры - логические рассуждения. Здесь два объекта интерпретируются как истина (будем обозначать
- 6. Логическое высказывание – это повествовательное предложение, относительно которого можно однозначно сказать, истинно оно или ложно. Высказывание
- 7. Обозначение высказываний A – Сейчас идет дождь. B – Форточка открыта. простые высказывания (элементарные) A и
- 8. Вопрос 2. Элементарные булевы функции Двоичной т.е. булевой функцией от набора двоичных переменных называется функция, результатом
- 9. В естественном языке: соответствует словам "неверно, что..." и частице "не" В естественном языке: соответствует словам "неверно,
- 11. В естественном языке: соответствует союзу "и” 1) 10 делится на 2 (A – и.). 5 больше
- 13. В естественном языке: соответствует союзу "или" Например, рассмотрим составное высказывание « 2*2=4 или 3*3=10». Первое простое
- 14. Примеры: 10 делится на 2 (A - и). 5 больше 3 (B - и). 10 делится
- 15. Кроме базовых логических функций используются и другие, например функции логического следования (импликации) логического равенства (эквивалентности).
- 16. «Если Вася идет гулять, то Маша сидит дома». A – «Вася идет гулять». B – «Маша
- 17. В естественном языке: соответствует обороту "если ..., то ..." Примеры: Данный четырёхугольник — квадрат (A -
- 18. Логическое равенство (эквивалентность) Логическое равенство это логическая функция от двух переменных, которая принимает истинное значение тогда
- 19. Вопрос 3. Основные законы логики Для преобразования логических выражений используют законы алгебры логики: Закон тождества А=
- 21. Таблицы истинности Таблица истинности - это один из способов вычислений в формальной логике. Таблица позволяет определить
- 24. Скачать презентацию