排他的論理和

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

Vita brevis, ars longa. Omnia vincit Amor.





















フッ素 論理和 論理積 結合子 命題論理 推論