1 / 31

Тема 9. Логические основы компьютеров

Информатика Институт информатики, инноваций и бизнес-систем Кафедра информатики, инженерной и компьютерной графики Черкасова Евгения Анатольевна. Тема 9. Логические основы компьютеров. Логические основы компьютеров. Логические выражения и операции Преобразование логических выражений

zola
Download Presentation

Тема 9. Логические основы компьютеров

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Информатика Институт информатики, инноваций и бизнес-систем Кафедра информатики, инженерной и компьютерной графики Черкасова Евгения Анатольевна Тема 9. Логические основы компьютеров

  2. Логические основы компьютеров Логические выражения и операции Преобразование логических выражений Логические элементы компьютера

  3. 1 Логические выражения и операции

  4. Булева алгебра Двоичное кодирование – все виды информации кодируются с помощью 0 и 1. Задача – разработать оптимальные правила обработки таких данных. Джордж Буль разработал основы алгебры, в которой используются только 0 и 1(алгебра логики, булева алгебра). Почему "логика"?Результат выполнения операции можно представить как истинность (1) или ложность (0) некоторого высказывания.

  5. Логические высказывания Логическое высказывание – это повествовательное предложение, относительно которого можно однозначно сказать, истинно оно или ложно. Высказывание или нет? • Сейчас идет дождь. • Жирафы летят на север. • История – интересный предмет. • У квадрата – 10 сторон и все разные. • Красиво! • В городе N живут 2 миллиона человек. • Который час?

  6. ! Любое высказывание может быть ложно (0) или истинно (1). Обозначение высказываний A– Сейчас идет дождь. B– Форточка открыта. простые высказывания (элементарные) Составные высказывания строятся из простых с помощью логических связок (операций) "и", "или", "не", "если … то", "тогда и только тогда" и др. A и B A или не B если A, то B не A и B A тогда и только тогда, когда B Сейчас идет дождьи открыта форточка. Сейчас идет дождьили форточка закрыта. Если сейчас идет дождь, тофорточка открыта. Сейчас нет дождя и форточка открыта. Дождь идет тогда и только тогда, когда открытафорточка.

  7. Операция НЕ (инверсия) Если высказывание Aистинно, то "не А" ложно, и наоборот. также:,not A (Паскаль), ! A (Си) 0 1 таблица истинности операции НЕ 1 0 Таблица истинности логического выражения Х – это таблица, где в левой части записываются все возможные комбинациизначений исходных данных, а в правой – значение выражения Х для каждой комбинации.

  8. 1 1 0 0 1 0 0 1 Операция И(логическое умножение, конъюнкция) Высказывание "Aи B" истиннотогда и только тогда, когда А и B истинны одновременно. также:A·B, A  B,A and B (Паскаль), A && B (Си) 0 0 0 1 A  B конъюнкция – от лат. conjunctio — соединение

  9. 0 0 1 1 0 1 0 1 Операция ИЛИ(логическое сложение, дизъюнкция) Высказывание "Aили B" истиннотогда, когда истинно А или B, или оба вместе. также:A+B, A  B,A or B (Паскаль), A || B (Си) 0 1 1 1 дизъюнкция – от лат. disjunctio — разъединение

  10. 0 0 1 1 0 1 0 1 Операция "исключающее ИЛИ" Высказывание "AB" истиннотогда, когда истинно А или B, но не оба одновременно. также:A xor B (Паскаль), A ^ B (Си) 0 1 1 0

  11. A 0 0 0 0 1 1 0 1 1 1 1 0 0 0 0 0 Свойства операции "исключающее ИЛИ" 0 AA = (AB) B = A 0 = A 1 = A ?

  12. Импликация ("если …, то …") Высказывание "AB" истинно, если не исключено, что из А следует B. A – "Работник хорошо работает". B – "У работника хорошая зарплата". 1 1 0 1

  13. Эквиваленция ("тогда и только тогда, …") Высказывание "AB" истиннотогда и только тогда, когда А и B равны.

  14. И ИЛИ НЕ базовый набор операций Базовый набор операций С помощью операций И, ИЛИ и НЕ можно реализовать любую логическую операцию.

  15. Логические формулы Система имеет три датчика и может работать, если два из них исправны. A – "Датчик № 1 неисправен". B – "Датчик № 2 неисправен". C – "Датчик № 3 неисправен". Аварийный сигнал: X – "Неисправны два датчика". X – "Неисправны датчики № 1 и № 2" или "Неисправны датчики № 1 и № 3" или "Неисправны датчики № 2 и № 3". логическая формула

  16. 0 0 1 1 1 0 0 1 1 1 0 0 1 0 1 0 Составление таблиц истинности Логические выражения могут быть: • тождественно истинными (всегда 1, тавтология) • тождественно ложными (всегда 0, противоречие) • вычислимыми (зависят от исходных данных)

  17. 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 Составление таблиц истинности

  18. 2 Преобразование логических выражений

  19. Законы алгебры логики

  20. Упрощение логических выражений Шаг 1. Заменить операции  на их выражения через И, ИЛИ и НЕ: Шаг 2. Раскрыть инверсию сложных выражений по формулам де Моргана: Шаг 3. Используя законы логики, упрощать выражение, стараясь применять закон исключения третьего.

  21. Упрощение логических выражений раскрыли  формула де Моргана распределительный исключения третьего повторения поглощения

  22. 3 Логические элементы компьютера

  23. 1 & 1 & Логические элементы компьютера значок инверсии НЕ И ИЛИ И-НЕ ИЛИ-НЕ

  24. & & & & & & Логические элементы компьютера Любое логическое выражение можно реализовать на элементах И-НЕ или ИЛИ-НЕ. И: НЕ: ИЛИ:

  25. 1 & & Составление схем последняя операция - ИЛИ И &

  26. 1 1 Триггер (англ. trigger – защёлка) Триггер – это логическая схема, способная хранить 1 бит информации (1 или 0). Строится на 2-х элементах ИЛИ-НЕ или на 2-х элементах И-НЕ. вспомогательный выход set, установка обратные связи 0 1 1 0 0 0 основной выход reset, сброс

  27. сумма Σ перенос & 1 & & Полусумматор Полусумматор – это логическая схема, способная складывать два одноразрядных двоичных числа. 0 0 0 1 0 1 1 0

  28. Сумматор Сумматор – это логическая схема, способная складывать два одноразрядных двоичных числа с переносом из предыдущего разряда. Σ сумма перенос перенос

  29. Σ Σ Σ Многоразрядный сумматор это логическая схема, способная складывать два n-разрядных двоичных числа. перенос перенос

  30. Вопросы

  31. Использование материалов презентации Использование данной презентации, может осуществляться только при условии соблюдения требований законов РФ об авторском праве и интеллектуальной собственности, а также с учетом требований настоящего Заявления. Презентация является собственностью авторов. Разрешается распечатывать копию любой части презентации для личного некоммерческого использования, однако не допускается распечатывать какую-либо часть презентации с любой иной целью или по каким-либо причинам вносить изменения в любую часть презентации. Использование любой части презентации в другом произведении, как в печатной, электронной, так и иной форме, а также использование любой части презентации в другой презентации посредством ссылки или иным образом допускается только после получения письменного согласия авторов. 31

More Related