Содержание
- 2. Логика – это наука о формах и способах мышления. Это учение о способах рассуждений и доказательств.
- 3. Алгебра логики — это раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или
- 4. Логическое высказывание — это любoе повествовательное пpедлoжение, в oтнoшении кoтopoгo мoжно oднoзначнo сказать, истиннo oнo или
- 5. Существуют разные варианты обозначения истинности и ложности логических переменных: Условия чтобы предложение являлось высказыванием: Предложение должно
- 6. Высказываниями не являются, например, предложения "Ученик десятого класса." и "Информатика — интересный предмет.". Первое предложение ничего
- 7. Алгебра логики рассматривает любое высказывание только с одной точки зрения — является ли оно истинным или
- 8. Заметим, что зачастую трудно установить истинность высказывания. Так, например, высказывание "Площадь поверхности Индийского океана равна 75
- 9. Какие из предложений являются высказываниями? Определите их истинность. Какой длины эта лента? Рубль - денежная единица
- 10. Высказывание Простое Сложное (составное) это набор простых высказываний (два и более простых высказываний) связанных логическими операциями
- 11. Примеры: У кошки 4 лапы. У кошки 1 хвост. У кошки 4 лапы И 1 хвост.
- 12. Основные логические связки
- 14. Основные логические операции КОНЪЮНКЦИЯ ДИЗЪЮНКЦИЯ ИНВЕРСИЯ ЭКВИВАЛЕНТНОСТЬ
- 15. КОНЪЮНКЦИЯ Соответствует союзу И; Обозначение &; В языках программирования and; Название: Логическое умножение. Таблица истинности Схема
- 16. Таблица истинности для И
- 17. Вывод: результат будет истинным тогда и только тогда, когда оба исходных высказывания истинны.
- 18. ДИЗЪЮНКЦИЯ Соответствует союзу ИЛИ; Обозначение V; В языках программирования or; Название: Логическое сложение. A B F
- 19. Таблица истинности для ИЛИ
- 20. результат будет ложным тогда и только тогда, когда оба исходных высказывания ложны, и истинным в остальных
- 21. ИНВЕРСИЯ Соответствует союзу НЕ; Обозначение Ā; В языках программирования not; Название: Отрицание. A Ā
- 22. Таблица истинности для НЕ
- 23. результат будет ложным, если исходное выражение истинно, и наоборот. Вывод:
- 24. Таблица истинности для эквивалентности
- 25. результат будет истинным тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны. Вывод:
- 26. Триггер Триггер — это электронная схема, широко применяемая в регистрах компьютера для надёжного запоминания одного разряда
- 27. Сумматор Сумматор — это электронная логическая схема, выполняющая суммирование двоичных чисел. Условное обозначение одноразрядного сумматора: При
- 28. Таблица истинности:
- 29. Всякая логическая переменная и символы "истина" ("1") и "ложь" ("0") — формулы. Если А и В
- 30. Порядок выполнения логических операций 1. отрицание (“¬”) ↔ 2. конъюнкция (“^”) 3. дизъюнкция (“v”) 4. импликация
- 31. Тавтология Некоторые формулы принимают значение “истина” при любых значениях истинности входящих в них переменных. Например, формула
- 32. Тождественная истина При всех наборах значений переменных x и y формула принимает значение 1, то есть
- 33. Тождественная ложь В качестве другого примера рассмотрим формулу А • , которой соответствует, например, высказывание “Катя
- 34. Тождественная ложь При всех наборах значений переменных x и y формула принимает значение 0, то есть
- 35. Выполнимая формула Формула в некоторых случаях принимает значение 1, а в некоторых — 0, то есть
- 36. Основные законы алгебры логики позволяют производить тождественные преобразования логических выражений:
- 37. Таблица истинности Таблица истинности - таблица, определяющая значение сложного высказывания при всех возможных значениях простых высказываний.
- 38. Как составлять таблицу истинности 1) Определить количество строк: количество строк = 2n + строка для заголовка,
- 39. 1) Определить количество строк: на входе три простых высказывания: А, В, С поэтому n=3 и количество
- 41. Скачать презентацию