Disjunction

Disjunction[expr,{a1,a2,}]
根据布尔变量 的所有可能值,析取 expr.

更多信息更多信息

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

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

在变量集合中的析取:

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

检查表达式是否被满足:

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

求出 a 的条件,使得满足 都为真:

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