Exklusiv disjunktion
Exklusiv disjunktion är ett logiskt konnektiv, som betecknas med , ⊻, ⊕ , ↮ eller XOR och som språkligt kan uttryckas som antingen eller. Antingen A eller B, där A och B är påståenden.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/46/XOR-logical.png/250px-XOR-logical.png)
![]() |
---|
Logisk operator (Logisk grind) |
Se även |
A↮ B har sanningsvärdet sann, om A eller B men inte båda, är sanna. Konnektivet kan tillsammans med exempelvis materiell implikation, →, uttrycka varje annat konnektiv i satslogiken.
Ekvivalenser
Med den symbol, som även används för räkning modulo två, kan den exklusiva disjunktionen, med symbolerna för konjunktion, disjunktion och negation uttryckas:
alternativt
Sanningsvärdetabell
A | B | Antingen A eller B |
---|---|---|
F | F | F |
F | S | S |
S | F | S |
S | S | F |
Se även
Referenser
- Geoffrey Hunter, Metalogic, An introduction to the Metatheory of Standard First-order Logic, MacMillan London 1971.
🔥 Top keywords: Portal:HuvudsidaSpecial:SökHamid NouryKylian MbappéJohan Floderus (tjänsteman)Antoine GriezmannEuropamästerskapet i fotbollRomelu LukakuEuropamästerskapet i fotboll 2024Ahmadreza DjalaliLasse DidingJude BellinghamEuropamästerskapet i fotboll 2020Special:Senaste ändringarN'Golo KantéFrida NordstrandFrankrikes herrlandslag i fotbollMidsommarJens FjellströmVärldsmästerskapet i fotboll för herrarEwa RoosLilian ThuramSverigeCristiano RonaldoPeter MangsMarcus ThuramOlof MellbergSlovakienZlatan IbrahimovićElisabeth av Bayern (1837–1898)Amanda BergmanOlivier GiroudMarko ArnautovićDavid AlabaBelgiens herrlandslag i fotbollAnnie LeibovitzBelgienRumänienDag Hammarskjöld