|
|
|
|
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 $\oplus$ due to its similarity to disjunction, which sometimes uses $+$ . The truth table for xor is
| $a$ |
$b$ |
$a \oplus b$ |
| F |
F |
F |
| F |
T |
T |
| T |
F |
T |
| T |
T |
F |
|
"exclusive or" is owned by me_and.
|
|
(view preamble | get metadata)
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 2009 times total.
Classification:
| AMS MSC: | 03B05 (Mathematical logic and foundations :: General logic :: Classical propositional logic) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
