Логічна еквівалентність

EQ, XNOR
Визначення	${\displaystyle a=b}$
Таблиця істинності	${\displaystyle (1001)}$
Логічний вентиль
Нормальні форми
Диз'юнктивна	${\displaystyle a\cdot b+{\overline {a}}\cdot {\overline {b}}}$
Кон'юнктивна	${\displaystyle ({\overline {a}}+b)\cdot (a+{\overline {b}})}$
Алгебрична	${\displaystyle 1\oplus a\oplus b}$
Ґратка Поста
${\displaystyle P_{0}}$ (зберігає 0)	✗
${\displaystyle P_{1}}$ (зберігає 1)	Так
${\displaystyle M}$ (монотонна)	✗
${\displaystyle L}$ (лінійна)	Так
${\displaystyle S}$ (само-двоїста)	✗

Логічна еквівалентність (еквіваленція) — двомісна логічна операція, що має значення «істина» тоді і тільки тоді, коли обидва операнди мають однакове значення. В інших випадках еквіваленція буде хибною. Операція відображає вживання сполучника «тоді і тільки тоді» в логічних висловлюваннях.

Еквівалентність позначають символами: ${\displaystyle \leftrightarrow }$, ${\displaystyle ~\equiv }$.
( ${\displaystyle A\leftrightarrow B}$, ${\displaystyle A\equiv B}$ ).

Висловлення ${\displaystyle A\leftrightarrow B}$ є правдивим тоді і тільки тоді, коли водночас правдиві обидві імплікації ${\displaystyle A\rightarrow B}$ та ${\displaystyle B\rightarrow A}$, тобто:

${\displaystyle A\leftrightarrow B=(A\rightarrow B)\land (B\rightarrow A)}$.

У природній мові аналогами еквіваленції є вирази:

A тоді і тільки тоді, коли B

A якщо B і B якщо A

Для A достатньо і необхідно B

A матеріально еквівалентно B

Таблиця істинності виглядає таким чином:

${\displaystyle A}$	${\displaystyle B}$	${\displaystyle A\leftrightarrow B}$
F	F	T
F	T	F
T	F	F
T	T	T

Ця таблиця відрізняється від таблиці істинності для імплікації другим рядком, а від таблиці істинності для конверсії імплікації  — третім рядком.

Також еквівалентність є запереченням виключної диз’юнкції, тобто

${\displaystyle (A\leftrightarrow B)=\lnot (A\oplus B)}$

${\displaystyle A}$	${\displaystyle B}$	${\displaystyle A\leftrightarrow B}$	${\displaystyle A\oplus B}$
F	F	T	F
F	T	F	T
T	F	F	T
T	T	T	F

Оскільки імплікація виражає відношення між достатньою умовою та її наслідком, а конверсія імплікації  — між необхідною умовою та її наслідком, то еквіваленція або подвійна імплікація, виражає відношення між достатньою і необхідною умовою та її наслідком.

Наприклад, "Якщо він знає англійську мову, то він перекладе цей текст", "Якщо геометрична фігура квадрат, то її діагоналі діляться навпіл". Як у матеріальній імплікації сполучник "якщо, то ..." не виражає смислового зв'язку між антецедентом і консеквентом, так і в еквіваленції сполучник "якщо і тільки якщо" не виражає змістовно зв'язку між лівою і правою частинами еквівалентності; він виражає лише відношення між їх істинними значеннями ("істина", "хибність"). Ця особливість еквіваленції відіграє важливу роль для операцій із символами у логічних численнях.

Знання логічної еквіваленції дає можливість:

• а) спростити запис послідовності висловлювань;
• б) перейти від одного висловлювання до логічно еквівалентного йому (тобто, з тим самим істинним значенням);
• в) замінити у послідовності формул одні формули на інші.

• рефлексивність

${\displaystyle a\leftrightarrow a}$

• асоціативність

${\displaystyle a\leftrightarrow (b\leftrightarrow c)\equiv (a\leftrightarrow b)\leftrightarrow c}$

• комутативність

${\displaystyle a\leftrightarrow b\equiv b\leftrightarrow a}$

• дистрибутивність

${\displaystyle a\lor (b\leftrightarrow c)\equiv (a\lor b)\leftrightarrow (a\lor c)}$

Множина операцій ${\displaystyle \{\leftrightarrow ,\not \to \}}$ є функціонально повною:

${\displaystyle \lnot a\equiv (a\leftrightarrow a)\not \to a}$

${\displaystyle \lnot a\equiv a\leftrightarrow (a\not \to a)}$

${\displaystyle a\to b\equiv \lnot (a\not \to b)}$

...

• Відношення еквівалентності
• Булева множина
• Закони де Моргана
• Список логічних символів

• Конверський А. Є. Логіка: Підручник для студентів юридичних факультетів. — К.: Центр навчальної літератури, 2004. — 304 с. ISBN 966-8568-48-6

• Еквівалентність // Філософський енциклопедичний словник / В. І. Шинкарук (гол. редкол.) та ін ; Інститут філософії імені Григорія Сковороди НАН України. — Київ : Абрис, 2002. — 742 с. — 1000 екз. — ББК 87я2. — ISBN 966-531-128-X.

Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її.