Mathematica 9 is now available

SEARCH MATHEMATICA 8 DOCUMENTATION

THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

Mathematica > 数学とアルゴリズム > 離散数学 > ブール計算 >

Mathematica > 数学とアルゴリズム > 論理演算とブール代数 > ブール計算 >

Mathematica 組込みシンボル

関連項目 »|その他 »

TautologyQ

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

TautologyQ[expr, {a₁, a₂, ...}]
a_i の値のすべての組合せに対しブール式 expr がTrueを与える場合にTrueを返す．

すべて閉じる

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

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

アプリケーション (3)

特性と関係 (4)

SatisfiableQ ForAll BooleanTable BooleanMinimize

ブール計算

7.0の新機能のまとめ

バージョン7.0の新機能：アルファベット順のリスト

バージョン7.0の新機能：数学とアルゴリズム

バージョン 7 の新機能

Ask a question about this page | Suggest an improvement | Leave a message for the team