Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Инфоурок / Информатика / Презентации / Презентация по информатики и ИКТ на тему "Логические операции"

Презентация по информатики и ИКТ на тему "Логические операции"

  • Информатика

Поделитесь материалом с коллегами:

Логические величины, операции, выражения ГБОУ СПО «НТСТиСО» Баландина Татьяна...
Основные понятия Слово логика означает совокупность правил, которым подчиняет...
Логические выражения и логические операции Логическое выражение - это символ...
Логическое отрицание (инверсия) Нетрудно заметить, что значения истинности вы...
Логическое умножение (конъюнкция)  Если два высказывания соединены союзом "И"...
Логическое сложение (дизъюнкция) Если два высказывания соединены союзом "ИЛИ"...
Логическое следование (импликация) Импликацией называется высказывание, кото...
Логическое тождество (эквиваленция) Эквиваленцией двух высказываний А и В наз...
Построение таблиц истинности для логических функций Логическая функция - это...
Логические функции и их преобразования. Законы логики Для операций конъюнкции...
Вопросы для самоконтроля Основные логические операции: конъюнкция, дизъюнкция...
1 из 11

Описание презентации по отдельным слайдам:

№ слайда 1 Логические величины, операции, выражения ГБОУ СПО «НТСТиСО» Баландина Татьяна
Описание слайда:

Логические величины, операции, выражения ГБОУ СПО «НТСТиСО» Баландина Татьяна Александровна Преподаватель дисциплин профессионального цикла

№ слайда 2 Основные понятия Слово логика означает совокупность правил, которым подчиняет
Описание слайда:

Основные понятия Слово логика означает совокупность правил, которым подчиняется процесс мышления. Сам термин "логика" происходит от древнегреческого «logos», означающего "слово, мысль, понятие, рассуждение, закон".  Формальная логика - наука о формах и законах мышления. Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Логика как наука позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны. Основными формами мышления являются понятия, суждения и умозаключения.      Понятие - это форма мышления, которая выделяет существенные признаки предмета или класса предметов, отличающие его от других. Например, компьютер, человек, ученики.      Суждения - это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком, отношения между предметами или факт существования предмета и которая может быть либо истинной, либо ложной.

№ слайда 3 Логические выражения и логические операции Логическое выражение - это символ
Описание слайда:

Логические выражения и логические операции Логическое выражение - это символическая запись, состоящая из логических величин (констант или переменных), объединенных логическими операциями (связками).      В булевой алгебре простым высказываниям ставятся в соответствие логические переменные, значение которых равно 1, если высказывание истинно, и 0, если высказывание ложно. Обозначаются логические переменные буквами латинского алфавита.      Существуют разные варианты обозначения истинности и ложности переменных: Истина 1 Ложь 0 Связки "НЕ", "И", "ИЛИ" заменяются логическими операциями инверсия, конъюнкция, дизъюнкция. Это основные логические операции, при помощи которых можно записать любое логическое выражение.

№ слайда 4 Логическое отрицание (инверсия) Нетрудно заметить, что значения истинности вы
Описание слайда:

Логическое отрицание (инверсия) Нетрудно заметить, что значения истинности высказываний А и В находятся в определенной связи: если А истинно, то В ложно, и наоборот. Операция, с помощью которой из высказывания А получается высказывание В, называется логическим отрицанием и само высказывание В называется отрицанием высказывания А и обозначается . Таким образом, отрицанием некоторого высказывания А называется такое высказывание, которое истинно, когда А ложно, и ложно, когда А истинно. Отрицание высказывания А обозначим . Определение отрицания может быть записано с помощью так называемой таблицы истинности:

№ слайда 5 Логическое умножение (конъюнкция)  Если два высказывания соединены союзом "И"
Описание слайда:

Логическое умножение (конъюнкция)  Если два высказывания соединены союзом "И", то полученное сложное высказывание обычно считается истинным тогда и только тогда, когда истинны оба составляющие его высказывания. Если хотя бы одно из составляющих высказываний ложно, то и полученное из них с помощью союза "И" сложное высказывание также считается ложным. Таким образом, конъюнкцией двух высказываний А и В называется такое высказывание, которое истинно тогда и только тогда, когда истинны оба высказывания А и В. Конъюнкцию высказываний А и В мы обозначим: A & B. Знак & - амперсант - читается как английское "and" (помните Procter & Gamble или Wash & Go?). Часто встречается обозначение А Λ В.

№ слайда 6 Логическое сложение (дизъюнкция) Если два высказывания соединены союзом "ИЛИ"
Описание слайда:

Логическое сложение (дизъюнкция) Если два высказывания соединены союзом "ИЛИ", то полученное сложное высказывание обычно считается истинным, когда истинно, хотя бы одно из составляющих высказываний. Дизъюнкцией называется такое новое высказывание, которое истинно тогда и только тогда, когда истинно хотя бы одно из этих высказываний. Дизъюнкцию высказываний А и В мы обозначим символом А V В и будем читать: А или В. Определение дизъюнкции может быть записано в виде таблицы истинности:

№ слайда 7 Логическое следование (импликация) Импликацией называется высказывание, кото
Описание слайда:

Логическое следование (импликация) Импликацией называется высказывание, которое ложно тогда и только тогда, когда А истинно и В ложно. Запишем это определение в виде таблицы истинности:

№ слайда 8 Логическое тождество (эквиваленция) Эквиваленцией двух высказываний А и В наз
Описание слайда:

Логическое тождество (эквиваленция) Эквиваленцией двух высказываний А и В называется такое высказывание, которое истинно тогда и только тогда, когда оба эти высказывания А и В истинны или оба ложны. Отметим, что высказывание типа "А, если и только если В" можно заменить высказыванием "Если А, то В и, если В, то А" (обдумайте это на досуге и обратите внимание на символ ). Следовательно, функцию эквиваленции можно заменить комбинацией функций импликации и конъюнкции. Запишем таблицу истинности для эквиваленции:

№ слайда 9 Построение таблиц истинности для логических функций Логическая функция - это
Описание слайда:

Построение таблиц истинности для логических функций Логическая функция - это функция, в которой переменные принимают только два значения: логическая единица или логический ноль. Истинность или ложность сложных суждений представляет собой функцию истинности или ложности простых. Эту функцию называют булевой функцией суждений f(a, b). Любая логическая функция может быть задана с помощью таблицы истинности, в левой части которой записывается набор аргументов, а в правой части - соответствующие значения логической функции. При построении таблицы истинности необходимо учитывать порядок выполнения логических операций. Операции в логическом выражении выполняются слева направо с учетом скобок в следующем порядке: 1. инверсия; 2. конъюнкция; 3. дизъюнкция; 4. импликация и эквивалентность. Для изменения указанного порядка выполнения логических операций используются круглые скобки.

№ слайда 10 Логические функции и их преобразования. Законы логики Для операций конъюнкции
Описание слайда:

Логические функции и их преобразования. Законы логики Для операций конъюнкции, дизъюнкции и инверсии определены законы булевой алгебры, позволяющие производить тождественные (равносильные) преобразования логических выражений. Законы логики      1.     закон двойного отрицания;      2. A&B = B&A   коммутативность конъюнкции;      3. AVB = BVA   коммутативность дизъюнкции;      4. A&(B&C) = (A&B)&C   ассоциативность конъюнкции;      5. AV(BVC) = (AVB)VC   ассоциативность дизъюнкции;      6. A&(BVC) = (A&B)V(A&C) дистрибутивность конъюнкции относительно дизъюнкции;      7. AV(B&C) = (AVB)&(AVC) дистрибутивность дизъюнкции относительно конъюнкции;      8. A&A = A      9. AVA = A      10.  A Ú (A&B) = A;   A&(A Ú B) = A законы поглощения      11.  (A&B) Ú (  &B) = B;   (A Ú B)&(  Ú B) = B   законы исключения (склеивания)      12.  (A Û  B) = (BÛ  A)  закон контрапозиции (правило перевертывания)

№ слайда 11 Вопросы для самоконтроля Основные логические операции: конъюнкция, дизъюнкция
Описание слайда:

Вопросы для самоконтроля Основные логические операции: конъюнкция, дизъюнкция (оба вида), отрицание, импликация, эквивалентность. Примеры логических выражений. Таблица истинности. Примеры. A and not A; A or not A

Выберите курс повышения квалификации со скидкой 50%:

Автор
Дата добавления 12.02.2016
Раздел Информатика
Подраздел Презентации
Просмотров228
Номер материала ДВ-445492
Получить свидетельство о публикации
Похожие материалы

Включите уведомления прямо сейчас и мы сразу сообщим Вам о важных новостях. Не волнуйтесь, мы будем отправлять только самое главное.
Специальное предложение
Вверх