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

Conjunction

Conjunction[expr,{a_(1),a_(2),...}]
连接 expr,列出布尔变量 ai 的所有可能值。
  • Conjunction[expr, {a1, a2, ...}] 实际上 用And 连接 expr 中关于 aiTrueFalse 的所有可能组合的结果 。
在变量集中的连接:
In[1]:=
Click for copyable input
Out[1]=
 
显示恒为真的公式:
In[1]:=
Click for copyable input
Out[1]=
 
求出 a 的条件,使得对任何 baImpliesb 都为真:
In[1]:=
Click for copyable input
Out[1]=
7 的新功能