Конъюнкция (Логическое И): таблица истинности и свойства
В информатике, булевой алгебре и математической логике конъюнкция (от лат. conjunctio — союз, связь) — это базовая логическая операция, выражающая соединение двух или более высказываний. В естественном языке она почти всегда соответствует союзу «И».
В электронике и программировании эту операцию также называют логическим умножением.
Главное правило конъюнкции очень строгое: результат истинен (1) тогда и только тогда, когда истинны ВСЕ входящие в нее элементы. Если хотя бы одно высказывание ложно (0), то результат всего выражения будет равен лжи (0).
Обозначения конъюнкции
В математике и различных языках программирования конъюнкция имеет разные символы. Для двух операндов $A$ и $B$ она может записываться следующим образом:
- $A \land B$ (в дискретной математике, символ $\land$ напоминает заостренную букву А от английского слова AND);
- $A \ \& \ B$ (амперсанд, часто используется в литературе по логике);
- $A \cdot B$ или просто $AB$ (знак умножения, поэтому операцию называют логическим умножением);
A && B(в языках программирования C, C++, Java, JavaScript, PHP — логическое И);A and B(в языках Python, Pascal).
Пример из реальной жизни
Представьте, что родители ставят подростку условие: «Ты пойдешь на вечеринку, только если уберешься в комнате ($A$) И вымоешь посуду ($B$)».
- Если подросток убрался и помыл посуду ($A=1, B=1$) $\rightarrow$ он идет на вечеринку (Итог = 1).
- Если он убрался, но не помыл посуду ($A=1, B=0$) $\rightarrow$ он остается дома (Итог = 0).
- Если он помыл посуду, но не убрался ($A=0, B=1$) $\rightarrow$ он остается дома (Итог = 0).
- Если он не сделал ничего ($A=0, B=0$) $\rightarrow$ он точно остается дома (Итог = 0).
Как видите, конъюнкция не терпит компромиссов: чтобы получить истину, все условия должны быть выполнены.
Таблица истинности для конъюнкции
Таблица истинности (где 1 — Истина, а 0 — Ложь) наглядно демонстрирует, что конъюнкция выдает «1» только в одной строке из всех возможных.
Для двух переменных ($A \land B$)
| $A$ | $B$ | $A \land B$ |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Для трех переменных ($A \land B \land C$)
Даже если переменных будет 100, достаточно одного нуля среди них, чтобы обнулить результат всего выражения (точно так же, как при обычном математическом умножении на ноль).
| $A$ | $B$ | $C$ | $A \land B \land C$ |
|---|---|---|---|
| 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 0 |
| 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 0 |
| 1 | 1 | 0 | 0 |
| 1 | 1 | 1 | 1 |
(Воспользуйтесь нашим интерактивным генератором, чтобы мгновенно построить таблицу истинности для 4 или 5 переменных!)
Основные законы булевой алгебры для конъюнкции
Поскольку конъюнкция — это логическое умножение, ее свойства во многом похожи на свойства обычного умножения в алгебре:
1. Переместительный закон (Коммутативность): От перемены мест множителей логическое произведение не меняется.
$$A \land B = B \land A$$
2. Сочетательный закон (Ассоциативность): Операнды можно группировать в любом порядке.
$$(A \land B) \land C = A \land (B \land C)$$
3. Закон идемпотентности (повторения): Умножение высказывания на само себя не дает «квадрат», оно остается самим собой. В логике нет смысла дважды повторять одно и то же.
$$A \land A = A$$
4. Законы работы с константами 0 и 1:
- Умножение на ложь (0) всегда дает ложь: $A \land 0 = 0$
- Умножение на истину (1) не меняет высказывание: $A \land 1 = A$
5. Закон противоречия: Высказывание не может быть истинным одновременно со своим отрицанием. (Нельзя одновременно спать и не спать).
$$A \land \neg A = 0$$
6. Правило де Моргана: Отрицание конъюнкции равно дизъюнкции (логическому ИЛИ) отрицаний.
$$\neg (A \land B) = \neg A \lor \neg B$$
Попробуйте понажимать кнопки в нашем интерактивном тренажере выше, чтобы закрепить понимание этой логической операции!