Кратко. Логические операции — это действия над высказываниями, у которых есть только два значения: истина (1) и ложь (0). Основные операции — НЕ, И, ИЛИ. Логическое выражение — формула из переменных, констант, операций и скобок; его значение находят по правилам этих операций с учётом приоритета: сначала НЕ, затем И, затем ИЛИ.
Готовый пересказ
Высказывание — это утверждение, о котором можно однозначно сказать, истинно оно или ложно. Истину обозначают 1, ложь — 0. Логическая операция — это действие, которое по значениям исходных высказываний даёт значение нового высказывания.
Основных логических операций три. Отрицание НЕ (инверсия) меняет значение на противоположное: истинное высказывание делает ложным, а ложное — истинным. Конъюнкция И (логическое умножение) истинна только тогда, когда истинны оба исходных высказывания. Дизъюнкция ИЛИ (логическое сложение) истинна, когда истинно хотя бы одно из них.
Логическое выражение — это запись, состоящая из логических переменных, констант 0 и 1, знаков логических операций и скобок. Чтобы найти значение выражения, подставляют значения переменных и выполняют операции по порядку: сначала НЕ, потом И, потом ИЛИ; скобки меняют этот порядок. Каждую операцию удобно описывать таблицей истинности. Логические выражения применяются в условиях программ, алгоритмах, поисковых запросах и электронных схемах.
Что важно понять, а не зазубрить
- У высказывания всего два возможных значения: 0 или 1.
- У каждой операции есть своё правило: НЕ «переворачивает» значение, И требует истинности обоих, ИЛИ — хотя бы одного.
- Логическое выражение вычисляют по шагам, как обычное арифметическое выражение, только с учётом логического приоритета.
- Таблица истинности — это способ проверить, правильно ли ты понимаешь операцию.
Проверка на примере
Возьмём выражение
\[ (A \lor B) \land \lnot A \]
при \(A=0\), \(B=1\).
Сначала \(\lnot A=\lnot 0=1\). Затем \(A \lor B=0 \lor 1=1\). Остаётся \(1 \land 1=1\).
\[ (0 \lor 1) \land \lnot 0 = 1 \land 1 = 1 \]
Значение выражения — истина. Я проверил пример: вычисления сходятся.
Если вы уже проходили импликацию и эквивалентность, можно добавить: импликация \(A \to B\) ложна только при \(A=1\), \(B=0\), а эквивалентность \(A \leftrightarrow B\) истинна, когда значения \(A\) и \(B\) совпадают.