Ekvivalents

Allikas: Vikipeedia
Jump to navigation Jump to search

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 abil[muuda | muuda lähteteksti]

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

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

Venn1001.svg Venn0110.svg

Venn 0110 1001.svg
Ekvivalents ja kolme lausearvutuse
lause välistav disjunktsioon
annavad sama tulemuse:


Venn 1001 1001.svg Venn 0000 1111.svg

Venn 0110 0110.svg Venn 0000 1111.svg Venn 0110 1001.svg

Venn 1000 0001.svg

saab lihtsamalt avaldada kujul

Venn 1001 1001.svg Venn 1100 0011.svg Venn 1000 0001.svg

Vaata ka[muuda | muuda lähteteksti]

Viited[muuda | muuda lähteteksti]