Ava peamenüü

Ekvivalents ehk bikonditsionaal ehk vastavus[viide?] 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 abilRedigeeri

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

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

     

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

 
 

       

         

 
saab lihtsamalt avaldada kujul
 

         

Vaata kaRedigeeri

ViitedRedigeeri