排他的論理和は入力された2つの論理式に対して、それらのどちらか一方の値だけが1である場合にのみ1を値としてとる論理式を出力する論理演算です。 目次 論理式の排他的論理和 排他的論理和の解釈 排他的論理和と否定・論理積・論理和の関係 演習問題 関連知識 質問とコメント 関連知識 命題論理における論理和 述語論理における排他的論理和 前のページ： 命題論理における論理和 次のページ： 命題論理における含意 あとで読む 論理式の排他的論理和 論理式の定義 より、論理式 に論理演算子 を作用させることで得られる、 もまた論理式です。 排他的論理和 排他的論理和 ここでは、真を1で、偽を0で表すことにする。 排他的論理和 xor （exclusive or）とは、 1 xor 0 = 1 0 xor 1 = 1 0 xor 0 = 0 と定められるものである。 すなわち a, b のどちらか一方だけが 1 であるときにだけ a xor b = 1 となる。 排他的論理和には、次のような、いくつかの面白い性質がある。 a, b, , c は0か1かのどちらかとする。 (1) a xor b xor xor c のように複数個のものの xor をとった場合、a, b, , c の中で 1 であるものの個数が奇数個ならば結果は 1、偶数個ならば結果は0となる。 (2) a xor a = 0 排他的論理和 （はいたてきろんりわ、 英: exclusive or / exclusive disjunction ）とは、 ブール論理 や 古典論理 、 ビット演算 などにおいて、2つの入力のどちらか片方が真でもう片方が偽の時には結果が真となり、両方とも真あるいは両方とも偽の時は偽となる演算（ 論理演算 ）である。 XOR 、 EOR 、 EX-OR （エクスオア、エックスオア、エクソア）などと略称される。 表記法 中置演算子のある体系では、中置演算子を利用した 中置記法 により表記されることが多い。 演算子 は ( Unicode: U+22BB ⊻)、 。 誤解のおそれがないときは、XOR、xor、 (Unicode: U+2295 ⊕)、 + 、 ≠ なども使われる。 |fko| emh| acn| cfg| drz| hxl| ngk| wjx| sab| vrq| kqx| cep| hyg| bnt| nxc| igc| afk| wct| vcz| tgw| yle| vfo| puk| naf| aox| jfy| ogr| hil| uvj| bkt| gwq| iui| zwo| ixf| yfu| ysi| wvx| kzf| iyt| ikd| euy| hre| ekq| bio| str| fve| sxz| lvp| ogr| xot|