Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > 数学とアルゴリズム > 離散数学 > ブール計算 > Xnor >
Mathematica > 数学とアルゴリズム > 論理演算とブール代数 > ブール計算 > Xnor >
Mathematica > 数学とアルゴリズム > グラフとネットワーク > グラフプログラミング > ブール計算 > Xnor >
MATHEMATICA 組込みシンボル関連項目 »|その他 »

Xnor

Xnor
論理的XNOR（XORではない）関数．偶数の がTrueで残りがFalseである場合はTrueを返す．奇数の がTrueで残りがFalseある場合はFalseを返す．
詳細
  • XnorはStandardForm およびInputFormで として入力することができる．という記号はEsc xnor Escあるいは\[Xnor]として入力できる．
  • Xnorは，さまざまな簡約規則を自動的に適用し，記号的な結果を返す．
  • And，Nand，Or，Norとは異なり，Xnorは常にすべての引数をテストしなければならないので制御構造ではなく，属性HoldAllを持たない．
例題すべて閉じる
例   (3)
Xnorは選言標準形である：
Esc xnor Escを使って入力する：
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
 
Xnorは選言標準形である：
In[1]:=
Click for copyable input
Out[1]=
 
Esc xnor Escを使って入力する：
In[1]:=
Click for copyable input
Out[1]=
スコープ   (1)
自動簡約：
定数の除去：
Xnorは可換であり引数をソートする：
特性と関係   (4)
変数のXnorは長さの選言標準形を持つ：
XnorはXorの否定と等価である：
変数が2つの場合，XnorはEquivalentに等しい：
しかし両者は3つ以上の変数については異なる：
XnorはBooleanCountingFunctionの特殊形である：
おもしろい例題   (1)
12変数のXnorの2D真理値表：
バージョン 7 の新機能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
フォーマット:   HTML  |  CDF