此为 Mathematica 7 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.1)

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 可以是列表,表示向量值的布尔函数。
  • 输入和输出的元素可以用 TrueFalse10 来指定。
  • 输入和输出的元素也可以包含任意数量的 _,表示"不介意"。
  • 它们也可以包含一个 __,表示一系列"不介意"。
  • BooleanFunction[spec, {a1, a2, ...}] 缺省下按析取范式给出一个表达式。
  • BooleanFunction[k] 给出 n 元变量的 k^(th) 布尔函数,其中 n 是满足 k<2^(2^n) 的最小值。
产生 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 的新功能