Ekvivalentsus (loogika)

Ekvivalents ehk bikonditsionaal ehk vastavus^[1] on loogikatehe, mis vastab seosele "... parajasti siis, kui ..." ^[1] ja märgitakse ~.

Ekvivalentsi tõeväärtustabel
X	Y	X~Y
0	0	1
0	1	0
1	0	0
1	1	1

Ekvivalentsi illustreerimine Venni diagrammide abil

Venni diagrammil näitavad punased alad tõest tõeväärtust.

kahe lausearvutuse lause ekvivalents on
ekvivalentne välistava disjunktsiooni eitus:

~A\leftrightarrow B~~\Leftrightarrow ~~\neg (A\oplus B)

$\Leftrightarrow \neg$

Ekvivalents ja kolme lausearvutuse
lause välistav disjunktsioon
annavad sama tulemuse:

$~A\leftrightarrow B\leftrightarrow C~~\Leftrightarrow$
$~A\oplus B\oplus C$

$\leftrightarrow$ $~~\Leftrightarrow ~~$

$\oplus$ $~~\Leftrightarrow ~~$

~A\leftrightarrow B\leftrightarrow C

saab lihtsamalt avaldada kujul

(A\leftrightarrow B)\land (B\leftrightarrow C)

$\land$ $~~\Leftrightarrow ~~$

v r Loogiline tehe / konnektor
Konjunktsioon (NING) • Disjunktsioon (VÕI) • Eitus (EI) • Konjunktsiooni eitus (NING-EI) • Disjunktsiooni eitus (VÕI-EI) • Välistav disjunktsioon (XOR) • Implikatsioon • Ekvivalents
Vaata ka	Boole'i algebra • De Morgani seadused • Loogikaelement