|
|
|
|
exclusive or
|
(Definition)
|
|
|
The logical operator xor, short for “exclusive or”, is a binary operator that is true iff exactly one of its parameters is true, and thus corresponds to the normal use of “or” in English. Xor uses the symbol  due to its similarity to disjunction, which sometimes uses  . The
truth table for xor is
|
"exclusive or" is owned by me_and.
|
|
(view preamble)
Cross-references: truth table, disjunction, parameters, iff, binary, operator
There are 6 references to this entry.
This is version 3 of exclusive or, born on 2008-05-25, modified 2008-05-25.
Object id is 10620, canonical name is ExclusiveOr.
Accessed 602 times total.
Classification:
| AMS MSC: | 03B05 (Mathematical logic and foundations :: General logic :: Classical propositional logic) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
