Эквиваленция (Логическое равенство): таблица истинности и свойства
В математической логике и булевой алгебре эквиваленция (от лат. aequus — равный и valere — иметь силу), также известная как логическое равенство или тождество — это бинарная логическая операция, которая выдает истину только в том случае, если оба её операнда равны друг другу.
В естественном языке эта операция лучше всего описывается словесными конструкциями: «тогда и только тогда, когда», «необходимо и достаточно», «в том и только в том случае».
Правило эквиваленции максимально простое: результат истинен (1), если оба высказывания истинны (1, 1) или оба высказывания ложны (0, 0). Если значения разные — результат ложен (0).
По своей сути эквиваленция является точной противоположностью (инверсией) операции Исключающее ИЛИ (XOR). Поэтому в схемотехнике её часто называют XNOR (исключающее ИЛИ-НЕ).
Обозначения эквиваленции
В различных дисциплинах (от теории множеств до программирования) эквиваленция обозначается по-разному. Для операндов $A$ и $B$ применяются следующие символы:
- $A \leftrightarrow B$ (двусторонняя стрелка, классическое математическое обозначение);
- $A \equiv B$ (знак тождества, три горизонтальные черты);
- $A \sim B$ (знак подобия);
A == B(оператор проверки на равенство в большинстве языков программирования: C, C++, Java, Python, JavaScript);A XNOR B(текстовое обозначение в электронике и программировании).
Пример из реальной жизни
Представьте, что вы договариваетесь с другом о походе на концерт. Ваше условие звучит так: «Я пойду на концерт ($A$) тогда и только тогда, когда пойдешь ты ($B$)».
Давайте проверим, нарушили ли вы свое слово (сдержали = Истина, нарушили = Ложь):
- Друг пошел ($B=1$), и вы пошли ($A=1$). Вы сдержали слово (Итог = 1).
- Друг НЕ пошел ($B=0$), и вы НЕ пошли ($A=0$). Вы сдержали слово, так как условие было жестким в обе стороны (Итог = 1).
- Друг пошел ($B=1$), а вы НЕ пошли ($A=0$). Вы нарушили обещание (Итог = 0).
- Друг НЕ пошел ($B=0$), но вы все равно пошли ($A=1$). Вы нарушили обещание, ведь говорили, что пойдете только с ним (Итог = 0).
Таблица истинности для эквиваленции
Таблица наглядно демонстрирует, что 1 получается только при совпадении операндов.
Для двух переменных ($A \leftrightarrow B$)
| $A$ | $B$ | $A \leftrightarrow B$ |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Для трех переменных ($A \leftrightarrow B \leftrightarrow C$)
При расчете цепочки эквиваленций действия выполняются последовательно слева направо. Интересный математический факт: для трех переменных таблица истинности эквиваленции полностью совпадает с таблицей Исключающего ИЛИ (XOR)!
| $A$ | $B$ | $C$ | $A \leftrightarrow B$ | $(A \leftrightarrow B) \leftrightarrow C$ |
|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 0 |
| 0 | 0 | 1 | 1 | 1 |
| 0 | 1 | 0 | 0 | 1 |
| 0 | 1 | 1 | 0 | 0 |
| 1 | 0 | 0 | 0 | 1 |
| 1 | 0 | 1 | 0 | 0 |
| 1 | 1 | 0 | 1 | 0 |
| 1 | 1 | 1 | 1 | 1 |
(Используйте наш интерактивный генератор ниже, чтобы автоматически построить таблицы для 4 и 5 переменных!)
Основные свойства и законы эквиваленции
Эквиваленция обладает множеством полезных алгебраических свойств:
1. Коммутативность (переместительный закон): Порядок операндов не имеет значения, так как мы проверяем их равенство.
$$A \leftrightarrow B = B \leftrightarrow A$$
2. Ассоциативность (сочетательный закон): Скобки можно расставлять в любом порядке.
$$(A \leftrightarrow B) \leftrightarrow C = A \leftrightarrow (B \leftrightarrow C)$$
3. Взаимодействие с константами (0 и 1):
- Равенство единице не меняет значение: $A \leftrightarrow 1 = A$
- Равенство нулю работает как инверсия: $A \leftrightarrow 0 = \neg A$
4. Взаимодействие с самим собой (идемпотентность): Переменная всегда равна самой себе.
$$A \leftrightarrow A = 1$$
Переменная никогда не равна своему отрицанию.
$$A \leftrightarrow \neg A = 0$$
5. Выражение через базовые операции: Эквиваленцию можно разложить на базовые И, ИЛИ и НЕ. Это утверждение читается так: «Либо оба истинны, либо оба ложны».
$$A \leftrightarrow B = (A \land B) \lor (\neg A \land \neg B)$$
6. Связь со строгой дизъюнкцией (XOR): Эквиваленция — это отрицание XOR (и наоборот).
$$A \leftrightarrow B = \neg(A \oplus B)$$
Воспользуйтесь нашим интерактивным тренажером, чтобы на практике закрепить принципы работы логического тождества!