Välistav disjunktsioon
Välistav disjunktsioon ehk välistav VÕI (kasutatakse ka termineid mitteekvivalents , antiekvivalents, range disjunktsioon ) on lausearvutuses binaarne tehe, mis on tõene parajasti siis, kui tema operandidel on erinevad väärtused (kui üks on tõene ja teine väär) Seda tähistatakse järgmiste infiksoperaatoritega: XOR, EOR, EXOR, ⊻, ⩒, ⩛, ⊕, ↮, ja ≢. Poola kujul on vastav operaator J. Argumentide p ja q välistavat disjunktsiooni saab seega muuhulgas tähistada kõikidel järgnevatel viisidel: p ⊕ q {\displaystyle p\oplus q} , p {\displaystyle p} ⩛ q {\displaystyle q} , J ⁡ p q {\displaystyle \operatorname {J} pq} . Tehte XOR eitus on loogiline ekvivalents, mille väljund on tõene parajasti siis, kui mõlemad sisendid on tõesed. Nimi "välistav või" tuleb sellest, et tavaline disjunktsioon on tõene ka siis, kui mõlemad sisendid on tõesed; välistava või operaator n-ö välistab selle juhtumi ning tagastab sel juhul väära väärtuse. Loomulikus keeles on välistava disjunktsiooni indikaatoriteks väljendid "kas...või"; "emb-kumb". Näiteks lause "Kas järgid seadust või saad karistada" väljendab välistava või tehet. Üldisemalt on XOR tõene ainult siis, kui paaritu arv sisendeid on tõesed. Ahel XOR tehetest – a XOR b XOR c XOR d (ja nii edasi) – on tõene siis, kui paaritu arv sisenditest on tõesed, ning väär siis, kui paarisarv sisenditest on tõesed.