exklusiv disjunktion

logiskt villkor som betyder ”A eller B, men inte båda”. – Det innebär att ett av två på­stå­enden ska vara sant, men inte det andra. Man kan också säga: ”A är inte lika med B”. – Ex­klu­siv dis­junk­tion betecknas inom pro­gram­me­r­ing med XOR. – En sökning i en text­data­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 kom­bi­na­tioner av XOR-vill­kor. – En nära släkting är in­klu­siv dis­junk­tion (”A eller B eller båda”). – Det före­kommer flera symboler för exklusiv disjunktion: plustecken (+), inringat plustecken (⊕) (med streck) eller ⩒ (med en liten prick) samt ⪥. – Läs också om dis­junk­tion. – En san­nings­värde­tabell för ex­klu­siv dis­junk­tion ser ut så här:

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

A B A≠B
sant sant falskt
sant falskt sant
falskt sant sant
falskt falskt falskt

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