BooleanConvert

BooleanConvert[expr]
将布尔表达式 expr 转换为析取范式.

BooleanConvert[expr,form]
将布尔表达式 expr 转换为指定形式.

BooleanConvert[expr,form,cond]
cond 为真时,求出等价于 expr 的指定形式的表达式.

更多信息和选项更多信息和选项

范例范例打开所有单元关闭所有单元

基本范例  (3)基本范例  (3)

将一个布尔表达式转换为析取范式:

In[1]:=
Click for copyable input
Out[1]=

转换为普通形式:

In[1]:=
Click for copyable input
Out[1]=

为真的条件转换

In[1]:=
Click for copyable input
Out[1]=

时,输出等于输入:

In[2]:=
Click for copyable input
Out[2]=
2008年引入
(7.0)