 |
TautologyQ
TautologyQ[bf]
変数の値のすべての組合せに対しブール関数 bf がTrueを与える場合にTrueを返す．
TautologyQ[expr, {a1, a2, ...}]
の値のすべての組合せに対しブール式 expr がTrueを与える場合にTrueを返す．
バージョン 7 の新機能
|
TautologyQ[bf]
変数の値のすべての組合せに対しブール関数 bf がTrueを与える場合にTrueを返す．
TautologyQ[expr, {a1, a2, ...}]の値のすべての組合せに対しブール式 expr がTrueを与える場合にTrueを返す．
