Логические операции

Основные операции
Инверсия (логическое отрицание)
Дизъюнкция (логическое сложение)
Конъюнкция (логическое умножение)
Импликация (логическое следование)
Равнозначность (эквивалентность)

Инверсия
Обозначается НЕ A,
Правило: отрицание истинно, когда исходное высказывание ложно, и наоборот.
Таблица истинности:
меню

Дизъюнкция
Обозначается A ИЛИ B, A + B,
Правило: Результат операции Истина (1), когда истинно либо A, либо B, либо A и B одновременно.
Таблица истинности:
меню

Конъюнкция
Обозначается A И B, A * B, A & B,
Правило: Результат операции Истина (1) тогда и только тогда, когда истинны A и B одновременно.
Таблица истинности:
меню

Импликация
Обозначается ЕСЛИ A, ТО B,
Правило: Результат операции Ложь (0) только тогда, когда A истина, а B ложно, и Истина (1) – во всех остальных случаях.
Таблица истинности:
меню

Равнозначность
Обозначается B ТОГДА И ТОЛЬКО ТОГДА, КОГДА A, A ~ B,
Правило: Результат операции Истина (1) только тогда, когда A и B одновременно истинны или одновременно ложны.
меню