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 给出符号结果，自动应用不同的化简规则.
  • 与 AndNand、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 的否定形式：
二元 Xnor 等价于 Equivalent：
但是若超过两个变量，它们则是不同的：
Xnor 是 BooleanCountingFunction 的一个特例：
巧妙范例   (1)
12元变量的 Xnor 的二维真值表：
版本 7 的新功能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
格式:   HTML  |  CDF