Conjunction

Conjunction[expr,{a_(1),a_(2),...}]
给出布尔变量 ai 取所有可能值时 expr 的合取.

更多信息更多信息

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

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

对变量集的合取:

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

表明一个公式恒为真:

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

求出 a 的条件,使得对任何 bab 都为真:

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