他の例: Distribute

これは加法に対する情報の分配法則を示している．

In[1]:=

Out[1]=

この入力を書込む同様の方法である．

In[2]:=

Out[2]=

ベキ乗を加法に分配している．

In[3]:=

Out[3]=

任意の関数にこれを一般化することができる．

In[4]:=

Out[4]=

（2変数の）和の代りに積に分配する．

In[5]:=

Out[5]=

In[6]:=

Out[6]=

これはPowerExpandと同じ働きをする．

In[7]:=

Out[7]=

In[8]:=

Out[8]=

これはリストlstの要素から作られたnタプルすべてのリストを与える関数Tuplesを定義する．

In[9]:=

In[10]:=

Out[10]=

定義された関数Subsumsはリストのサブリストの可能な和をすべて与える．

In[11]:=

In[12]:=

Out[12]=

定義された関数PowerSetはリストの全サブセットを並べ直したリストを与える．

In[13]:=

In[14]:=

Out[14]=

定義された関数TruthTableは論理式に対応する真理値表を与える．DisplayTruthTableはTruthTableからの出力を表形式で表示する．

In[15]:=

In[16]:=

これはImplies[Or[A, B], C]の真理値表を与える．

In[17]:=

Out[17]=