Содержание
- 2. Алгебра логики (булева алгебра) - это раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений
- 3. Джордж Буль
- 4. Логическое высказывание — это любое повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или
- 5. Так, например, предложение " Трава зеленая" следует считать высказыванием, так как оно истинное. Предложение " Лев
- 6. Не всякое предложение является логическим высказыванием. Высказываниями не являются, например, предложения "ученик десятого класса" и "информатика
- 7. Употребляемые в обычной речи слова и словосочетания "не", "и", "или", "если... , то", "тогда и только
- 8. Bысказывания, образованные из других высказываний с помощью логических связок, называются составными. Высказывания, не являющиеся составными, называются
- 9. Так, например, из элементарных высказываний "Петров — врач", "Петров — шахматист" при помощи связки "и" можно
- 10. При помощи связки "или" из этих же высказываний можно получить составное высказывание "Петров — врач или
- 11. Чтобы обращаться к логическим высказываниям, им назначают имена. Пусть через А обозначено высказывание "Тимур поедет летом
- 12. Тогда составное высказывание "Тимур летом побывает и на море, и в горах" можно кратко записать как
- 13. Операции над логическими высказываниями
- 14. НЕ Операция, выражаемая словом "не", называется инверсией или отрицанием и обозначается чертой над высказыванием.
- 15. Высказывание А истинно, когда A ложно, и ложно, когда A истинно. Пример. "Луна — спутник Земли"
- 16. И Операция, выражаемая связкой "и", называется конъюнкцией (лат. conjunctio — соединение) или логическим умножением и обозначается
- 17. Высказывание А · В истинно тогда и только тогда, когда оба высказывания А и В истинны.
- 18. ИЛИ Операция, выражаемая связкой "или" (в неисключающем смысле этого слова), называется дизъюнкцией (лат. disjunctio — разделение)
- 19. Высказывание А v В ложно тогда и только тогда, когда оба высказывания А и В ложны.
- 20. ЕСЛИ-ТО Операция, выражаемая связками "если ..., то", "из ... следует", "... влечет ...", называется импликацией (лат.
- 21. РАВНОСИЛЬНО Операция, выражаемая связками "тогда и только тогда", "необходимо и достаточно", "... равносильно ...", называется эквиваленцией
- 22. С помощью логических переменных и символов логических операций любое высказывание можно формализовать, то есть заменить логической
- 23. Определение логической формулы: 1. Всякая логическая переменная и символы "истина" ("1") и "ложь" ("0") - формулы.
- 24. Логический элемент компьютера — это часть электронной логической схемы, которая реализует элементарную логическую функцию.
- 25. Логическими элементами компьютеров являются электронные схемы И, ИЛИ, НЕ, И—НЕ, ИЛИ—НЕ и другие.
- 26. Каждый логический элемент имеет свое условное обозначение, которое выражает его логическую функцию, но не указывает на
- 27. Таблица истинности это табличное представление логической схемы (операции), в котором перечислены все возможные сочетания значений истинности
- 28. Схема И Схема И реализует конъюнкцию двух или более логических значений.
- 29. Единица на выходе схемы И будет тогда и только тогда, когда на всех входах будут единицы.
- 30. С х е м а ИЛИ Схема ИЛИ реализует дизъюнкцию двух или более логических значений.
- 31. Таблица истинности схемы ИЛИ Когда хотя бы на одном входе схемы ИЛИ будет единица, на её
- 32. С х е м а НЕ Схема НЕ (инвертор) реализует операцию отрицания. Связь между входом x
- 33. Таблица истинности схемы НЕ Если на входе схемы 0, то на выходе 1. Когда на входе
- 34. С х е м а И—НЕ Схема И—НЕ состоит из элемента И и инвертора и осуществляет
- 35. Таблица истинности схемы И—НЕ
- 36. С х е м а ИЛИ—НЕ Схема ИЛИ—НЕ состоит из элемента ИЛИ и инвертора и осуществляет
- 37. Таблица истинности схемы ИЛИ—НЕ
- 38. Триггер — это электронная схема, широко применяемая в регистрах компьютера для надёжного запоминания одного разряда двоичного
- 39. Самый распространённый тип триггера — так называемый RS-триггер (S и R, соответственно, от английских set —
- 40. Сумматор — это электронная логическая схема, выполняющая суммирование двоичных чисел. Сумматор служит, прежде всего, центральным узлом
- 42. Скачать презентацию