Классификация логических связок
Логическая связка — это правило, которое объединяет простые высказывания в сложное или изменяет значение одного высказывания. В этой статье систематизированы основные логические операции, их обозначения, таблицы истинности и типичные способы применения в задачах ОГЭ и ЕГЭ.
Основные понятия
Высказывание — это утверждение, о котором можно однозначно сказать, истинно оно или ложно. Обычно истинность обозначают \(1\), а ложность — \(0\). Высказывания обозначают заглавными буквами: \(A\), \(B\), \(C\). Например, \(A\): «Число 8 чётное», \(B\): «5 больше 10».
Логическая связка — символ или слово, задающее способ построения сложного высказывания из простых. Результат связки зависит только от значений входных высказываний, а не от их содержания.
Логическая связка и соответствующая ей операция имеют одинаковый смысл, но обычно говорят о связке в записи высказывания, а об операции — в вычислении значения булевой функции. Например, слово «и» — связка, а операция конъюнкции — её математическое представление.
| Связка | Обозначение | Название операции | Число аргументов |
|---|---|---|---|
| не | \(\neg A\), \(\overline{A}\) | отрицание | 1 |
| и | \(A \land B\), \(A \cdot B\) | конъюнкция | 2 и более |
| немесе | \(A \lor B\), \(A + B\) | дизъюнкция | 2 и более |
| если..., то... | \(A \to B\) | импликация | 2 |
| тогда и только тогда, когда | \(A \leftrightarrow B\) | эквиваленция | 2 |
| либо..., либо... | \(A \oplus B\) | исключающее или | 2 |
Таблицы истинности связок
Кесте истинности перечисляет все наборы значений входных переменных и значение результата. Для \(n\) переменных число строк равно \(2^n\). Поэтому для двух переменных таблица содержит \(2^2=4\) строки, а для трёх — \(2^3=8\).
| A | B | \(\neg A\) | \(A \land B\) | \(A \lor B\) | \(A \to B\) | \(A \leftrightarrow B\) | \(A \oplus B\) |
|---|---|---|---|---|---|---|---|
| 0 | 0 | 1 | 0 | 0 | 1 | 0 | |
| 0 | 1 | 1 | 0 | 1 | 1 | 1 | |
| 1 | 0 | 0 | 0 | 1 | 0 | 1 | |
| 1 | 1 | 0 | 1 | 1 | 1 | 0 |
Конъюнкция истинна только при истинности всех аргументов. Дизъюнкция ложна только при ложности всех аргументов. Импликация ложна лишь в случае \(A=1\) и \(B=0\). Эквиваленция истинна, когда аргументы равны. Исключающее «или» истинно, когда истинно ровно одно из двух высказываний.
При каких значениях \(A\) и \(B\) выражение \(A \to B\) ложно?
Отрицание и важные законы
Отрицание меняет значение высказывания на противоположное: \(\neg 1=0\), \(\neg 0=1\). В естественном языке отрицание может обозначаться словами «неверно, что», «не», «нет». Важно отрицать всё высказывание, а не только ближайшее слово.
При отрицании конъюнкции «и» заменяется на «или», а при отрицании дизъюнкции «или» заменяется на «и». Каждая часть также отрицается.
Полезны также законы двойного отрицания и идемпотентности: \(\neg\neg A \equiv A\), \(A\land A\equiv A\), \(A\lor A\equiv A\). Они позволяют сокращать выражения перед построением таблицы истинности.
Импликация \(A\to B\) читается как «из \(A\) следует \(B\)». Её удобно заменять выражением \(\neg A\lor B\). Это особенно полезно при подсчёте значений выражения и при переходе к канонической форме булевой функции.
Реті действий и приоритет связок
Если скобок нет, операции выполняют в таком порядке: отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция. Исключающее «или» обычно рассматривают на уровне дизъюнкции, но в конкретной записи приоритет должен быть задан условием или скобками.
- Сначала вычислить значения выражений в скобках.
- Затем выполнить все отрицания.
- После этого вычислить конъюнкции.
- Затем — дизъюнкции и исключающие «или».
- В последнюю очередь выполнить импликации и эквиваленции.
Если выражение длинное, добавляйте промежуточные столбцы для каждой операции. Не пытайтесь вычислять всю формулу мысленно: одна ошибка в приоритете меняет несколько строк таблицы.
Разобранный пример
Пусть \(A=1\), \(B=0\), \(C=1\). Найдём значение \(F=(A\to B)\lor(\neg B\land C)\).
Жауабы: \(F=1\). Такой способ подходит для задания, где значения переменных уже известны. Если требуется исследовать все наборы, составляют таблицу истинности.
Где применяются логические связки
В экзаменационных задачах связки встречаются в условиях отбора объектов, запросах к базам данных, поисковых запросах и рассуждениях о множествах. Конъюнкция соответствует одновременному выполнению условий, дизъюнкция — выполнению хотя бы одного условия, а отрицание — исключению объектов, для которых условие истинно.
При работе с множествами удобно помнить: «и» соответствует пересечению, «или» — объединению, а отрицание условия — дополнению множества. Этот перевод подробно используется в теме перевода условий в операции множеств. Для подсчёта объектов по нескольким условиям полезны диаграммы Венна.
1. Считать импликацию ложной при \(A=0\). На самом деле она ложна только при \(A=1\), \(B=0\). 2. Путать обычное и исключающее «или»: первое допускает \(A=B=1\), второе — нет. 3. Отрицать только одно слово вместо всего выражения. 4. Нарушать порядок действий. 5. При нескольких переменных строить не все \(2^n\) наборов.
- «И» требует, чтобы истинными были все условия.
- «Или» в математической логике обычно означает «хотя бы одно», включая случай «оба».
- «Либо..., либо...» означает ровно одно истинное условие.
- Для проверки сложного равенства связок сравнивают столбцы их таблиц истинности.
Проверь себя
Главное
- Логические связки строят сложные высказывания из простых; основные связки — не, и, или, импликация, эквиваленция и исключающее или.
- Конъюнкция истинна только при всех единицах, дизъюнкция — кроме набора из одних нулей.
- Импликация ложна только при \(A=1\), \(B=0\) и равносильна \(\neg A\lor B\).
- Кесте истинности для \(n\) переменных содержит \(2^n\) строк.
- Для отрицания составных условий применяйте законы де Моргана и внимательно соблюдайте приоритет операций.