Ero sivun ”Disjunktio” versioiden välillä

Näin määritellystä disjunktiosta käytetään myös nimitystä ''inklusiivinen tai'' eli ''inklusiivinen disjunktio'' erotukseksi [[ekslusiivineneksklusiivinen disjunktio|ekslusiivisestaeksklusiivisesta disjunktiosta]] ("joko A tai B, mutta ei molemmat"), joka on tosi vain silloin, jos vain toinen sen yhdistämistä lauseista on tosi.<ref name=Ensyklopedia>{{kirjaviite | Nimeke = Otavan suuri ensyklopedia, 5. osa (Kriminologia–Makuaisti) | Sivu = 3800 | Kirjoittaja = Ilkka Niiniluoto | Luku = Logiikka (Lauselogiikka, Konnektiivit) | Julkaisija = Otava | Vuosi = 1978 | Tunniste = ISBN 951-1-04827-9}}</ref> Koska sanaa ''tai'' käytetään tavallisessa kielessä eri yhteyksissä kummassakin merkityksessä, inklusiivista disjunktiota tarkoitettaessa käytetään mahdollisen väärin­käsityksen välttämiseksi nykyisin joskus ilmaisua ''[[ja/tai]]''.

[[Boolen algebra]]ssa disjunktiolle käytetään merkintää <math>A + B</math>. [[Jan Lukasiewicz]]in [[puolalainen notaatio|prefiksinotaatiossa]] disjunktion merkkinä käytetään A-kirjainta, joka on lyhenne [[puolan kieli|puolan kielen]] sanasta ''alternatywa''. Tällöin lauseiden ''p'' ja ''q'' disjunktio merkitään A''pq''.<ref>{{kirjaviite | Tekijä = Jósef Maria Bocheński | Nimeke = A Précis of Mathematical Logic | Selite = Otto Bird kääntänyt englanniksi ranskalaiistaranskalaisista ja saksalaisista laitoksista | Julkaisija = D. Reidel | Julkaisupaikka = Dordrecht | Vuosi = 1959}}</ref>

Eri [[ohjelmointikieli]]ssä disjunktiota vastaava operaattori merkitään tavallisimmin joko sanalla <code>or</code> tai kahdella pystyviivalla (<code>||</code>).

Looginen disjunktio noudattaa lasku­lakeja, jotka pitkälti ovat analogisia esi­merkiksi [[reaaliluku]]jen lasku­säännöille. Se on [[vaihdannaisuus|vaihdannainen]] ja [[liitännäisyys|liitännäinen]], ja sille pätee myös [[osittelulaki]], kun toisena lasku­toimituksena on looginen [[konjunktio (logiikka)|konjunktio]]. Disjunktio on lisäksi [[idempotenssi|idem­potentti]] eli minkä tahansa lauseen disjunktiolla itsensä kanssa on sama totuus­arvo kuin alku­peräisellä lauseella. Tätä havainnollistavat seuraavat kaaviot:

|

Useimmissa [[ohjelmointikieli]]ssä on disjunktiota vastaava operaattori. Se merkitään monissa ohjelmointikielissä [[varattu sana|varatulla sanalla]] <code>or</code>, mutta esimerkiksi [[C (ohjelmointikieli)|C:ssä]] ja siihen pohjautuvissa ohjelmointikielissä kahdella pystyviivalla (<code>||</code>).

Looginen disjunktio suoritetaan yleensä minimaalisella evaluaatiolla. Tämä merkitsee, että jos sen ensimmäinen (vasemmanpuoleinen) operandi on arvoltaan ''tosi'', ohjelma ei edes tarkista, mikä sen jälkimmäisen operandin arvo on.

Useimmissa ohjelmointi­kielissä looginen disjunktio antaa tulokseksi aina [[boolean]]-tyyppisen muuttujan, jolla on vain kaksi mahdollista arvoa: tosi (1) tai epätosi (0). Monissa [[Vahva tyypitys|vahvasti tyypitetyissä]] kielissä disjunktio voidaan sitä paitsi suorittaa vain, jos molemmat sillä yhdistetävätyhdistettävät operanditkin ovat boolean-tyyppisiä. Joissakin heikosti tyypitetyissä kielissä, esimerkiksi [[C (ohjelmointikieli)|C:ssä]], disjunktio voidaan kuitenkin suorittaa silloinkin, kun operandit ovat esimerkiksi kokonais- tai reaaliluku­tyyppisiä; tällöin tuloksena on 0 (epätosi) vain, jos molemmat operandit ovat nollia, mulloin tuloksena on 1 (tosi). Tällöin siis operandien kaikkien muiden arvon kuin nollan katsotaan vastaavan totuus­arvoa tosi.

Muutamissa ohjelmointikielissä kuten [[Python]]issa ja [[JavaScript]]issä disjunktio-operaattori voi kuitenkin palauttaa muitakin arvoja kuin 1 tai 0. Tällöin se saa arvokseen operaattorin ensimmäisen operandin arvon, jos se on "tosi" eli ei ole nolla, muussa tapauksessa jälkimmäisen operandin arvon.

Joissakin ohjelmointikielissä on määritelty myös ''biteittäinen disjunktio'''. Tällöin operandit, jotka voivat olla esimerkiksi [[binääriluku|binäärisiä]] [[kokonaisluku]]ja, käydään läpi bitti bitiltä ja suoritetaan disjunktio-operaatiot kummankin operandin vastaavien bittien välillä. Tuloksena saadaan muuttuja, jossa kunkin bitin arvo riippuu operandien bittien arvoista seuraavasti:

Biteittäisellä disjunktiolla voidaan muun muassa asettaa halutulle bitille arvo 1 muiden bittien pysyessä ennallaan. Esimerkiksi lauseella <code>x = x | 0b00000001</code> saadaan muuttujan x viimeinen bitti ykköseksi.

[[Matemaattinen logiikka|Matemaattisessa logiikassa]] määritellyt käsitteet ovat merkitykseltään täsmällisempiä kuin luonnollisen kielen sanat yleensä ovat. Suomen kielessä disjunktiota vastaa lähinnä sana ''tai'', jota käytetään kuitenkin ainakin kahdessa toisistaan poikkeavassa merkityksessä, kuten sen vastineita useissa muissakin kielissä. Jos joku esimerkiksi pyytää: "Soita minulle tai lähetä sähköpostia", tällöin tarkoitetaan toden­näköisesti: "tee toinen, mutta älä molempia." Jos taas josta­kusta sanotaan: "Kun hän sai niin korkea arvo­sanat, hän selvästikin on hyvin lahjakas tai opiskelee ahkerasti"; tällöin ei suljeta pois sitä mahdollista, että molemmat vaihto­ehdot ovat tosia. Toisin sanoen sana "tai" voi tarkoittaa sekä inklu­siivista että eksklu­siivista disjunktiota.<ref name=Ensyklopedia /> Silloin kun kyseessä on inklu­siivinen disjunktio, käytetään nykyisin toisinaan asian selventämiseksi ilmaisua "[[ja/tai]]".