К. Поляков, 2007-2012 1 Логические основы компьютеров § 19. Логические операции. - презентация

1 К. Поляков, Логические основы компьютеров § 19. Логические операции

2 Логические основы компьютеров, 10 класс К. Поляков, Логика, высказывания Аристотель ( до н.э.) Логика (др.греч. λογικος) – это наука о том, как правильно рассуждать, делать выводы, доказывать утверждения. Формальная логика отвлекается от конкретного содержания, изучает только истинность и ложность высказываний. Логическое высказывание – это повествовательное предложение, относительно которого можно однозначно сказать, истинно оно или ложно.

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

4 Логические основы компьютеров, 10 класс К. Поляков, Операция НЕ (инверсия) Если высказывание A истинно, то «не А» ложно, и наоборот. Ане А таблица истинности операции НЕ также,, not A (Паскаль), ! A (Си) Таблица истинности логического выражения Х – это таблица, где в левой части записываются все возможные комбинации значений исходных данных, а в правой – значение выражения Х для каждой комбинации.

5 Логические основы компьютеров, 10 класс К. Поляков, Операция И Высказывание «A и B» истинно тогда и только тогда, когда А и B истинны одновременно. 220 В A и B A B

6 Логические основы компьютеров, 10 класс К. Поляков, Операция И (логическое умножение, конъюнкция) ABА и B 1 0 также: A·B, A B, A and B (Паскаль), A && B (Си) конъюнкция – от лат. conjunctio соединение

7 Логические основы компьютеров, 10 класс К. Поляков, Операция ИЛИ (логическое сложение, дизъюнкция) Высказывание «A или B» истинно тогда, когда истинно А или B, или оба вместе. 220 В A или B AB

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

9 Логические основы компьютеров, 10 класс К. Поляков, Задачи 9 В таблице приведены запросы к поисковому серверу. Расположите номера запросов в порядке возрастания количества страниц, которые найдет поисковый сервер по каждому запросу. Для обозначения логической операции «ИЛИ» в запросе используется символ |, а для логической операции «И» – &. 1) принтеры & сканеры & продажа 2) принтеры & продажа 3) принтеры | продажа 4) принтеры | сканеры | продажа

10 Логические основы компьютеров, 10 класс К. Поляков, Операция «исключающее ИЛИ» Высказывание «A B» истинно тогда, когда истинно А или B, но не оба одновременно (то есть A B). «Либо пан, либо пропал». AB А B 0 0 также: A xor B (Паскаль), A ^ B (Си) сложение по модулю 2: А B = (A + B) mod 2 арифметическое сложение, 1+1=2 остаток

11 Логические основы компьютеров, 10 класс К. Поляков, Свойства операции «исключающее ИЛИ» A A = (A B) B = A 0 = A 1 = A 0 ? AB А B A

12 Логические основы компьютеров, 10 класс К. Поляков, Импликация («если …, то …») Высказывание «A B» истинно, если не исключено, что из А следует B. A – «Работник хорошо работает». B – «У работника хорошая зарплата». ABА B

13 Логические основы компьютеров, 10 класс К. Поляков, Эквивалентность («тогда и только тогда, …») Высказывание «A B» истинно тогда и только тогда, когда А и B равны. ABА B

14 Логические основы компьютеров, 10 класс К. Поляков, Формализация Прибор имеет три датчика и может работать, если два из них исправны. Записать в виде формулы ситуацию «авария». A – «Датчик 1 неисправен». B – «Датчик 2 неисправен». C – «Датчик 3 неисправен». Аварийный сигнал: X – «Неисправны два датчика». X – «Неисправны датчики 1 и 2» или «Неисправны датчики 1 и 3» или «Неисправны датчики 2 и 3». логическая формула Формализация – это переход к записи на формальном языке! !

15 Логические основы компьютеров, 10 класс К. Поляков, Вычисление логических выражений Порядок вычислений: скобки НЕ И ИЛИ, исключающее ИЛИ импликация эквивалентность AB + + BC AС

16 Логические основы компьютеров, 10 класс К. Поляков, Составление таблиц истинности ABA·BA·BX Логические выражения могут быть: тождественно истинными (всегда 1, тавтология) тождественно ложными (всегда 0, противоречие) вычислимыми (зависят от исходных данных)

17 Логические основы компьютеров, 10 класс К. Поляков, Составление таблиц истинности ABCABACBCX

18 Логические основы компьютеров, 10 класс К. Поляков, Конец фильма ПОЛЯКОВ Константин Юрьевич д.т.н., учитель информатики ГБОУ СОШ 163, г. Санкт-Петербург

19 Логические основы компьютеров, 10 класс К. Поляков, Источники иллюстраций авторские материалы