【改】原因結果グラフ デシジョンテーブル作成

原因結果グラフ　デシジョンテーブル作成はコメントで指摘されたように間違ってるところがあって、また作り直してみました。
#2007/03/17 コメントをいただいたので修正アゲイン！
#2007/03/17 再チャレンジでも正解にたどりつけてないので、整理してからリベンジ予定～

==

（１）　原因と結果の洗い出し
（２）　原因結果グラフ作成
（３）　原因結果グラフ修正

では、まずは前回作成したグラフは以下のとおり。

煩雑さをなくすために原因にあたる６つの条件を①～⑥とする。
１つ目の結果「正常に受信される」について。

これを成立させるためには、

　①、かつ、not④、かつ、not⑤、かつ、not⑥

となるので、ここの局所的なデシジョンテーブルは、

という５つのテストケースになる。AND条件のデシジョンテーブル作成方法は後ほど記事にしたいな。

２つ目の結果は「メールが一時拒否される」について。

これは単純である。

３つ目の結果は「メールが拒否される」についてだが、これは中間ノードaがある。

ここでの局所的なデシジョンテーブルは

　②、または、③、または、④、または、⑤
　中間ノードa、かつ、not⑥

という満足条件なので、

#2007/03/17 画像差し替えしました。

この２つを結合してみる。

#2007/0/17 画像追加しました。

最後にこれらすべてのデシジョンテーブルを結合するとこんな感じ。になると思う。

ここでテストケースの集約をしてみる。まずは、5列目と7列目はまったく同じなので、7列目を削除。3列目と10列目、4列目と11列目も同様に削除できる。また、6列目は5列目に吸収でき、2列目は8列目と9列目と同等となる。（制約Oがあるため）
#2007/03/17 コメントを修正します。

2列目

8列目と9列目と同値（制約O）なので削除

6列目

5列目と同値なので削除

7列目

1列目と同値なので削除

10列目と11列目

それぞれ3列目、4列目と同値なので削除

さあ、見やすくしてみるとこんな感じのデシジョンテーブルが完成する。

#2007/03/17 画像を差し替えました。中間ノードについても記載。

なんか、チョーそれっぽいテーブル♪あってるかなあ。
そういえば、中間ノード名つけるの忘れちゃった～