Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > 数学とアルゴリズム > グラフとネットワーク > グラフの操作と変更 > BooleanGraph >
Mathematica > 可視化とグラフィックス > グラフとネットワーク > グラフの操作と変更 > BooleanGraph >
Mathematica > 数学とアルゴリズム > グラフとネットワーク > グラフの構築 > グラフの操作と変更 > BooleanGraph >
MATHEMATICA 組込みシンボル関連項目 »|その他 »

BooleanGraph

BooleanGraph
グラフ , ..., に対してブール関数 bfunc で定義されたブールグラフを与える．
詳細
  • ブールグラフには頂点リストの和集合で与えられた頂点リストがある．
  • bfunc[EdgeQ[g1, uDirectedEdgev], ..., EdgeQ[gn, uDirectedEdgev]]がTrueであれば，結果のグラフには辺 がある．
  • bfunc[EdgeQ[gi, uUndirectedEdgev], ..., EdgeQ[gn, uUndirectedEdgev]]がTrueであれば，結果のグラフには辺 がある．
例題すべて閉じる
例   (1)
2つのグラフのブール組合せ：
2つのグラフのブール組合せ：
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
スコープ   (3)
BooleanGraphは無向グラフに使うことができる：
有向グラフ：
BooleanGraphはブール関数と同じ数のグラフに使うことができる：
アプリケーション   (4)
対称グラフの差分Xorを定義する：
ブール式Xorを論理和標準形に変換する：
関連関数でこれを実装する：
Xorを直接使った結果と比較する：
グラフNandを定義する：
ブール式Nandを論理和標準形に変換する：
関連関数でこれを実装する：
Nandを直接使った結果と比較する：
グラフNorを定義する：
ブール式Norを論理和標準形に変換する：
関連関数でこれを実装数する：
Norを直接使った結果と比較する：
二変数のすべてのブール関数のブールグラフを計算する：
BooleanFunctionを使って二変数のすべてのブール関数を列挙する：
これらの関数を使ってブールグラフを計算する：
特性と関係   (3)
GraphUnionはOrに対応する：
GraphIntersectionはAndに対応する：
BooleanGraphは必ずしも単純グラフを生成するとは限らない：
単純グラフのみが必要なときはSimpleGraphを使う：
バージョン 8 の新機能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
フォーマット:   HTML  |  CDF