Conjunction


给出布尔变量 取所有可能值时 expr 的合取.

更多信息更多信息

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

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

对变量集的合取:

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

表明一个公式恒为真:

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

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

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