Exclusive or

English

p	q	p exclusive or q
0	0	0
0	1	1
1	0	1
1	1	0

Alternative forms

• Template:L, Template:L, Template:L, Template:L, Template:L

Etymology

Template:M + Template:M.

Noun

1. Template:Lb Exclusive disjunction: the use of Template:M to indicate that of two predicates, one is true and one is false (without specifying which is which); Template:Non-gloss
2. Template:Lb Exclusive disjunction: the use of Template:M to indicate that of two or more predicates, an odd number are true (without specifying which or how many); Template:Non-gloss
3. Template:Lb An exclusive disjunction; the result of applying the above-described exclusive or to two or more predicates; Template:Non-gloss

Usage notes

• Denoted ⊕.
• Template:Sense In an expression of formal logic, the phrase Template:M (or hyphenated as Template:M) may appear between the predicates, much like a conjunction:

  (x ∧ ¬y) $\vee$ (¬x ∧ y) ↔ x ⊕ y, which reads: x exclusive-or y.

Translations

• Finnish: Template:T, Template:T
• French: Template:T+
• German: Template:T
• Hungarian: Template:T+
• Japanese: Template:T
• Russian: Template:T
• Spanish: Template:T
• Swedish: Template:T

See also

• Template:L