Ekvivalents

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

Ekvivalentsi tõeväärtustabel
XYX~Y
001
010
100
111

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:

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



saab lihtsamalt avaldada kujul

Vaata ka

Viited