Основные логические операции, таблицы истинности
презентация к уроку

Слайд 1

Основные логические операции , таблицы истинности Основой цифровой техники служат три логические операции, лежащие в основе всех выводов компьютера. Это три логические операции : И , ИЛИ, НЕ , которые называют «тремя китами машинной логики».

Слайд 2

мыслительные действия, результатом которых является изменение содержания или объема понятий, а также образование новых понятий. Логические операции-

Слайд 3

Конъюнкция - это сложное логическое выражение, которое считается истинным в том и только том случае, когда оба простых выражения являются истинными, во всех остальных случаях данное сложенное выражение ложно. Обозначение: F = A & B . Таблица истинности для конъюнкции : Логическое умножение или конъюнкция :

Слайд 4

Дизъюнкция - это сложное логическое выражение, которое истинно, если хотя бы одно из простых логических выражений истинно и ложно тогда и только тогда, когда оба простых логических выражен ь я ложны. Обозначение: F = A v B . Таблица истинности для дизъюнкции : Логическое сложение или дизъюнкция:

Слайд 5

Инверсия - это сложное логическое выражение, если исходное логическое выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное логическое выражение ложно, то результат отрицания будет истинным. Другими простыми слова, данная операция означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО . Обозначение: F = ¬A . Таблица истинности для инверсии : Логическое отрицание или инверсия:

Слайд 6

Импликация - это сложное логическое выражение, которое истинно во всех случаях, кроме как из истины следует ложь. То есть данная логическая операция связывает два простых логических выражения, из которых первое является условием (А), а второе (В) является следствием. «A → B» истинно, если из А может следовать B. Обозначение: F = A → B . Таблица истинности для импликации : Логическое следование или импликация:

Слайд 7

Эквивалентность - это сложное логическое выражение, которое является истинным тогда и только тогда, когда оба простых логических выражения имеют одинаковую истинность. «A ↔ B» истинно тогда и только тогда, когда А и B равны. Обозначение: F = A ↔ B. Таблица истинности для эквивалентности : «A ⊕ B» истинно тогда, когда истинно А или B, но не оба одновременно. Эту операцию также называют "сложение по модулю два". Обозначение: F = A ⊕ B. Таблица истинности для XOR: Логическая равнозначность или эквивалентность и Операция XOR ( исключающие или)