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]=
2008年に導入
(7.0)