Логическая операция КОНЪЮНКЦИЯ – логическое умножение с помощью союза И, обозначается символами & или ^. КОНЪЮНКЦИЕЙ высказываний А и В называется высказывание, которое истинно тогда и только тогда, когда истинны оба высказывания А и В. Таблица истинности: КОНЪЮНКЦИЯ А В А^В 0 0 0 0 1 0 1 0 0 1 1 1
Логическая операция ДИЗЪЮНКЦИЯ – логическое СЛОЖЕНИЕ с помощью союза ИЛИ, обозначается символом v. ДИЗЪЮНКЦИЕЙ высказываний А и В называется высказывание, которое истинно тогда и только тогда, когда истинно хотя бы одно из высказываний А или В. Таблица истинности: дизъюнкция А В АvВ 0 0 0 0 1 1 1 0 1 1 1 1
Логическая операция ОТРИЦАНИЕ или ИНВЕРСИЯ обозначается символом - . ОТРИЦАНИЕМ высказывания А называется высказывание, которое истинно тогда и только тогда, когда высказывание А ложно. Таблица истинности: ОТРИЦАНИЕ ЧИТАЕТСЯ - НЕ А А А 0 1 1 0
Логическая операция ИМПЛИКАЦИЯ – логическое СЛЕДОВАНИЕ, обозначается символом . ИМПЛИКАЦИЕЙ с посылкой А и заключением В называется высказывание, которое ложно тогда и только тогда, когда посылка истинна, а заключение ложно. Таблица истинности: ИМПЛИКАЦИЯ (ЧИТАЕТСЯ – ЕСЛИ А, ТО В) А В А В 0 0 1 0 1 1 1 0 0 1 1 1
Логическая операция ЭКВИВАЛЕНТНОСТЬ –РАВНОЗНАЧНОСТЬ, обозначается символом ЭКВИВАЛЕНТНОСТЬЮ высказываний А и В называется высказывание, которое истинно тогда и только тогда, когда оба высказывания имеют одинаковый истиностный смысл (оба истины или оба ложны). Таблица истинности: ЭКВИВАЛЕНТНОСТЬ А В А В 0 0 1 0 1 0 1 0 0 1 1 1
ПОРЯДОК ВЫПОЛНЕНИЯ ЛОГИЧЕСКИХ ОПЕРАЦИЙ В СЛОЖНОМ ЛОГИЧЕСКОМ ВЫРАЖЕНИИ: Инверсия (отрицание) Конъюнкция (умножение) дизъюнкция (сложение) импликация (следование) эквивалентность.
ПРОВЕРЬ СЕБЯ: Инверсия Конъюнкция дизъюнкция импликация эквивалентность. Равнозначность Сложение Отрицание Умножение Следование