Exklusiv disjunktion

Från Wikipedia
Hoppa till: navigering, sök
Venndiagram för antingen A eller B
AND ANSI.svg
 Logisk operator (Logisk grind
Se även

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.

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[redigera | redigera wikitext]

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[redigera | redigera wikitext]

XOR
Sanningsvärdetabell
A B Antingen A eller B
F F F
F S S
S F S
S S F

Referenser[redigera | redigera wikitext]

  • Geoffrey Hunter, Metalogic, An introduction to the Metatheory of Standard First-order Logic, MacMillan London 1971.