|
Xor
Xor[ , , ... ]は,排他的論理和(exclusive OR)関数である.
のTrueを与える要素の数が奇数で,その他の要素がFalseの場合にはTrueを返す. のTrueを与える要素の数が偶数で,その他の要素がFalseの場合にはFalseを返す.
StandardFormおよびInputFormでは Xor[ , , ... ]は ... とも入力できる. 記号は xor あるいは\[Xor]として入力できる.
Xorは,さまざまな簡約化の規則を適用し必要に応じてシンボル的な結果を与える.
And,NandやOr,Norとは異なりXorは常に全引数をテストしなければならず,従って制御構造ではない.また,この属性はHoldAllではない.
参照セクション:1.5.6.
次も参照:LogicalExpand.
バージョン1の新関数.バージョン4.1で大幅改訂
他の例
|