# exclusive or

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 |

Title | exclusive or |
---|---|

Canonical name | ExclusiveOr |

Date of creation | 2013-03-22 18:04:59 |

Last modified on | 2013-03-22 18:04:59 |

Owner | me_and (17092) |

Last modified by | me_and (17092) |

Numerical id | 6 |

Author | me_and (17092) |

Entry type | Definition |

Classification | msc 03B05 |

Synonym | xor |

Synonym | logical xor |

Synonym | logical exclusive or |

Related topic | Disjunction |

Related topic | PropositionalLogic |