TautologyQ

TautologyQ[bf]
変数の値のすべての組合せに対しブール関数 bfTrueを与える場合にTrueを返す.

TautologyQ[expr,{a1,a2,}]
の値のすべての組合せに対しブール式 exprTrueを与える場合にTrueを返す.

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

  (2)  (2)

ブール式が常に真かどうかテストする:

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

純ブール関数が常に真かどうかテストする:

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