Mathematica 9 is now available
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > 数学和算法 > 离散数学 > 布尔运算 >
Mathematica > 数学和算法 > 逻辑和布尔代数 > 布尔运算 >
Mathematica 内置符号参见 »|更多关于 »

BooleanFunction

BooleanFunction[k, n]
表示 n 元变量的 k^(th) 布尔函数。
BooleanFunction[values]
表示对应指定真值向量的布尔函数。
BooleanFunction[{{i11, i12, ...}->o1, ...}]
表示由输入到输出映射定义的布尔函数。
BooleanFunction[spec, {a1, a2, ...}]
给出变量 ai 的布尔表达式，相应 spec 指定的布尔函数。
BooleanFunction[spec, {a1, a2, ...}, form]
给出 form 指定形式的布尔表达式。
  • 在 BooleanFunction[values] 中，变量值按二进制顺序指定，从 111... 开始。
  • 在 BooleanFunction[values] 中，每个值可以是列表，表示向量值的布尔函数。
  • 在 BooleanFunction[{{i11, i12, ...}->o1, ...}] 中， oi 可以是列表，表示向量值的布尔函数。
  • 输入和输出的元素可以用 True、 False 或 1、0 来指定。
  • 输入和输出的元素也可以包含任意数量的 _，表示"不介意"。
  • 它们也可以包含一个 __，表示一系列"不介意"。
  • BooleanFunction[spec, {a1, a2, ...}] 缺省下按析取范式给出一个表达式。
  • BooleanFunction[k] 给出 n 元变量的 k^(th) 布尔函数，其中 n 是满足 k<2^(2^n) 的最小值。
范例关闭所有单元
例   (3)
产生 3 元变量的第 30 个布尔函数：
In[1]:=
Click for copyable input
Out[1]=
f 类似其它布尔运算符使用：
In[2]:=
Click for copyable input
Out[2]=
转换为一个析取范式的表达式：
In[3]:=
Click for copyable input
Out[3]=
直接产生一个公式：
In[4]:=
Click for copyable input
Out[4]=
 
指定基于真值表的一个布尔函数：
In[1]:=
Click for copyable input
Out[1]=
用一个不完全指定的真值表：
In[2]:=
Click for copyable input
Out[2]=
 
将一个布尔表达式转换为一个 BooleanFunction：
In[1]:=
Click for copyable input
Out[1]=
测试它们表示的相同函数：
In[2]:=
Click for copyable input
Out[2]=
7 的新功能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team