exklusiv disjunktion

eller exkluderande disjunktion – ett logiskt villkor som betyder ”A eller B, men inte båda”. – Det innebär att av två på­stå­enden ska ett vara sant, men inte det andra. Man kan också säga: ”A är inte lika med B”. – Exklusiv disjunktion betecknas inom programmer­ing med XOR. – En sökning i en textdata­bas med villkoret ”Sverige XOR Norge” ger träff på alla texter som bara nämner Sverige och på alla texter som bara nämner Norge. Men de sidor som nämner både Sverige och Norge kommer inte med. – En praktisk egenskap hos XOR är att alla andra logiska villkor kan sättas samman som kombinationer av XOR‑villkor. – En nära släkting är inklusiv disjunktion (”A eller B eller båda”). – Det förekommer flera symboler för exklusiv disjunktion: plustecken (+), inringat plustecken ⊕, ⊻ (med streck under) eller ⩒ (med en liten prick) samt ⪥. – Läs också om dis­junk­tion. – En sanningsvärde­tabell för exklu­siv disjunk­tion ser ut så här:

– Ett av påståendena A och B är sant, men inte båda (A≠B) :

[logik] [programmering] [ändrad 8 juni 2017]