Conjunction


ブール変数 のすべての選択肢に対し expr の論理積を与える.

詳細詳細

例題例題すべて開くすべて閉じる

例 (3)例 (3)

変数集合上の論理積:

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

式がトートロジーであることを示す:

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

任意の b について が真となる a の条件を求める:

In[1]:=
Click for copyable input
Out[1]=
バージョン 7 の新機能
New to Mathematica? Find your learning path »
Have a question? Ask support »