Jump to navigation Jump to search
See also: exclusive-or
|p||q||p exclusive or q|
- (logic, computing) Exclusive disjunction: the use of or to indicate that of two predicates, one is true and one is false (without specifying which is which); contrasted with inclusive or, which does not imply that one must be false.
- (logic, computing, more generally) Exclusive disjunction: the use of or to indicate that of two or more predicates, an odd number are true (without specifying which or how many); contrasted with inclusive or, which indicates only that one or more is true.
- (logic, computing) An exclusive disjunction; the result of applying the above-described exclusive or to two or more predicates; contrasted with an inclusive or, which is the result of applying an inclusive or.
- Denoted ⊕.
- (the result): In an expression of formal logic, the phrase exclusive or (or hyphenated as exclusive-or) may appear between the predicates, much like a conjunction:
- (x ∧ ¬y) (¬x ∧ y) ↔ x ⊕ y, which reads: x exclusive-or y.