排他的論理積

提供: Yourpedia
2018年1月28日 (日) 18:04時点におけるK3uu (トーク | 投稿記録)による版 (ユアペディア)

移動: 案内検索

排他的論理積(はいたてきろんりせき)、または、XAND(エクサンド)とは、2つの命題が共に真または偽のときにいずれも偽となる論理演算である [1]

表記法

演算子は、XAND、xand、⦿ と書くことが多く、論理回路などでは、 ⦿ を使用して A ⦿ B のように書くことが多い。

性質

排他的論理積は、排他的論理和と論理積を用いて表すことができる。

( P ⨁ Q ) ⋀ ( P ⋀ Q ) = P ⦿ Q
XOR との比較
P ⦿ Q = ( PQ ) ⋀ ¬ ( PQ )
PQ = ( PQ ) ⋁ ¬ ( PQ )

真理値表

命題 P 命題 Q P ⦿ Q

脚注

  1. XAND_gate?-Physics_Forums-The_Fusion_of_Science_and_Community 2015年9月25日 Physics_Forums