Ekvivalents

Ekvivalents ehk bikonditsionaal ehk vastavus on loogikatehe, mis vastab seosele "... parajasti siis, kui ..." 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 ~~$

Vaata ka

• isomorfism
• võrdus