1 0 0 0 1 0 0 0 1 Laused on ekvivalentsed, kui (1) nad järelduvad vastastikku teineteisest: p q = (p q) & (q p) (2) nad on samaaegselt tõesed või samaaegselt väärad: p q = (p & q) (¬p & ¬q) **Range disjunktsioon (välistav disjunktsioon; antiekvivalents; mitteekvivalents): Lausete p ja q rangeks disjunktsiooniks ehk antiekvivalentsiks nimetatakse lauset, mis on tõene parajasti siis, kui tema mõlemad komponentlaused on erineva tõeväärtusega. Sõna või esineb ranges disjunktsioonis välistavas tähenduses. Tunnuseks võib on sõnapaar kas ... või .... Nt Sa kas maksad maksud või saad karistada. AE-d tähistatakse kas tavalise disjunktsiooni märgiga või p xor q (exclusive or) Tõeväärtustabel: p q p xor q 1 1 1
Kui ta hüppab alla ühest avausest, siis jääb teine avaus kasutamata. Argikeeles on sellise välistavat tüüpi „või” kasutamine väga levinud ja sestap võetakse see mõnikord ka eraldi tehtena lausearvutuses kasutusele. D7.3.6. Antiekvivalents ehk välistav disjunktsioon ehk range disjunktsioon on lausearvutuses binaarne tehe, mis operandide p ja q korral annab tulemiks liitlause p ⊕ q, mida nimetatakse lausete p ja q antiekvivalentsiks ja interpreteeritakse alati nii, et ta on tõene parajasti siis, kui tema operandidel on erinevad tõeväärtused. Loomulikus keeles on välistava disjunktsiooni indikaatoriteks väljendid kas … või …; embkumb … . Nt „Kas maksad maksu või saad karistada”. Levinud tähistusi (esimesena ja poolpaksus kirjas esitatu võtame allpool kasutusele): p ⊕ q, p ∨ q, p xor q, p EOR q. Range disjunktsiooni ehk antiekvivalentsi tõeväärtustabel. pqp⊕q 110 101 011 000
Kui ta hüppab alla ühest avausest, siis jääb teine avaus kasutamata. Argikeeles on sellise välistavat tüüpi ,,või" kasutamine väga levinud ja sestap võetakse see mõnikord ka eraldi tehtena lausearvutuses kasutusele. D7.3.6. Antiekvivalents ehk välistav disjunktsioon ehk range disjunktsioon on lausearvutuses binaarne tehe, mis operandide p ja q korral annab tulemiks liitlause p q, mida nimetatakse lausete p ja q antiekvivalentsiks ja interpreteeritakse alati nii, et ta on tõene parajasti siis, kui tema operandidel on erinevad tõeväärtused. Loomulikus keeles on välistava disjunktsiooni indikaatoriteks väljendid kas ... või ...; emb- kumb ... . Nt ,,Kas maksad maksu või saad karistada". Levinud tähistusi (esimesena ja poolpaksus kirjas esitatu võtame allpool kasutusele): p q, p q, p xor q, p EOR q. Range disjunktsiooni ehk antiekvivalentsi tõeväärtustabel.
annaabi.ee 
