排他的論理和

排他的論理和（exclusive or）とは，$p$，$q$を命題（proposition）としたとき，\[p \oplus q\]を「pまたはqのいずれか一方のみが真（$T$）」であることを主張する言明（statement）であると定義される．

Mathematics is the language with which God has written the universe.