Содержание
- 2. Алгебра логики — это математический аппарат, с помощью которого записывают, вычисляют, упрощают и преобразовывают логические высказывания.
- 3. Возникновение логики Понятие логики как науки появилось ещё в XIX в., т.е. задолго до появления науки
- 4. Употребляемые в обычной речи слова и словосочетания "не”, “и”, “или”, “если... , то”, “тогда и только
- 5. Логическое высказывание — это любое повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или
- 6. Так, например, из элементарных высказываний “Петров — врач”, “Петров — шахматист” при помощи связки “и” можно
- 7. Каждая логическая связка рассматривается как операция над логическими высказываниями и имеет свое название и обозначение: (1)
- 8. (2) Операция, выражаемая связкой “и”, называется конъюнкцией (лат. conjunctio — соединение) или логическим умножением и обозначается
- 9. (3) Операция, выражаемая связкой “или” (в неразделительном, неисключающем смысле этого слова), называется дизъюнкцией (лат. disjunctio —
- 10. (4) Операция, выражаемая связками “если ..., то”, “из ... следует”, “... влечет ...”, называется импликацией (лат.
- 11. Рассмотрим составное высказывание А В, понимаемое как “если данный четырёхугольник квадрат, то около него можно
- 12. (5) Операция, выражаемая связками “тогда и только тогда”, "необходимо и достаточно”, “... равносильно ...”, называется эквиваленцией
- 13. Существуют и другие логические операции: Операция, выражаемая связками “если ..., то”, “из ... следует”, “... влечет
- 14. Любое высказывание можно формализовать, то есть заменить логической формулой. Формулы, принимающие значение “истина” при любых значениях
- 15. Логический элемент компьютера — это часть электронной логичеcкой схемы, которая реализует элементарную логическую функцию. Таблица истинности
- 16. С х е м а И Единица на выходе схемы И будет тогда и только тогда,
- 17. Таблица истинности
- 18. С х е м а ИЛИ Схема ИЛИ реализует дизъюнкцию двух или более логических значений. Когда
- 19. Таблица истинности
- 20. С х е м а НЕ Схема НЕ (инвертор) реализует операцию отрицания. Если на входе схемы
- 21. Таблица истинности
- 22. С х е м а И - НЕ Схема И-НЕ состоит из элемента И и инвертора
- 23. Таблица истинности
- 24. С х е м а ИЛИ - НЕ Схема ИЛИ-НЕ состоит из элемента ИЛИ и инвертора
- 25. Таблица истинности
- 26. Преобразование выражений, состоящих из булевых функций от перестановки мест аргументов результат не изменяется A & B
- 28. Скачать презентацию